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.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

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

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