Trait ApplyOrderPreservingSingleton 

pub trait ApplyOrderPreservingSingleton<P, B2: SingletonBound>: Sealed<P, B2> { }

Marker trait identifying the boundedness of a singleton after a map operation, given an order-preserving property.

Implementors

impl<B: SingletonBound> ApplyOrderPreservingSingleton<NotProved, <B as SingletonBound>::UnderlyingBound> for B

impl<B: SingletonBound> ApplyOrderPreservingSingleton<Proved, B> for B