[−][src]Struct pergola::MinOpt
This lattice is similar to MaxDef but inverts the order, with the minimal
value according to Ord::cmp
as its join, and the unit being a putative
"maximal" value of the element type. Since several Ord types do not have a
maximal value (think strings, maps, etc.) MinOpt
represents its element
using an Option
Note this may not be quite what you want if your type does have a maximal element. For example this will make the unit of u32 still be None, not u32::MAX. For those, use MinNum. Both are safe, but MinOpt is weird in those cases.
Trait Implementations
Auto Trait Implementations
impl<M> RefUnwindSafe for MinOpt<M> where
M: RefUnwindSafe,
M: RefUnwindSafe,
impl<M> Send for MinOpt<M> where
M: Send,
M: Send,
impl<M> Sync for MinOpt<M> where
M: Sync,
M: Sync,
impl<M> Unpin for MinOpt<M> where
M: Unpin,
M: Unpin,
impl<M> UnwindSafe for MinOpt<M> where
M: UnwindSafe,
M: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,