Struct lattices::Bottom

#[repr(transparent)]
pub struct Bottom<Inner>(pub Option<Inner>);

Wraps a lattice in Option, treating None as a new bottom element which compares as less than to all other values.

This can be used for giving a sensible default/bottom element to lattices that don’t necessarily have one.

Tuple Fields

0: Option<Inner>

Implementations

impl<Inner> Bottom<Inner>

pub fn new(val: Inner) -> Self

Create a new Bottom lattice instance from a value.

pub fn new_from(val: impl Into<Inner>) -> Self

Create a new Bottom lattice instance from a value using Into.

Trait Implementations

impl<Inner: Clone> Clone for Bottom<Inner>

fn clone(&self) -> Bottom<Inner>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Inner> ConvertFrom<Bottom<Inner>> for Bottom<Inner>

fn from(other: Bottom<Inner>) -> Self

Convert from the Other lattice into Self.

impl<Inner: Debug> Debug for Bottom<Inner>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Inner> Default for Bottom<Inner>

fn default() -> Self

Returns the “default value” for a type.

impl<Inner, Other> Merge<Bottom<Other>> for Bottom<Inner>where Inner: Merge<Other> + ConvertFrom<Other>,

fn merge(&mut self, other: Bottom<Other>) -> bool

Merge other into the self lattice.

fn merge_owned(this: Self, delta: Other) -> Selfwhere Self: Sized,

Merge this and delta together, returning the new value.

impl<Inner, Other> PartialEq<Bottom<Other>> for Bottom<Inner>where Inner: PartialEq<Other>,

fn eq(&self, other: &Bottom<Other>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Inner, Other> PartialOrd<Bottom<Other>> for Bottom<Inner>where Inner: PartialOrd<Other>,

fn partial_cmp(&self, other: &Bottom<Other>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<Inner: Copy> Copy for Bottom<Inner>

impl<Inner: Eq> Eq for Bottom<Inner>

impl<Inner, Other> LatticeOrd<Bottom<Other>> for Bottom<Inner>where Self: PartialOrd<Bottom<Other>>,

impl<Inner> StructuralEq for Bottom<Inner>