Struct pergola::LatticeElt

pub struct LatticeElt<D: LatticeDef> {
    pub value: D::T,
}

Write code that uses lattices over this type, and it will delegate to the functions of the parameter LatticeDef.

Fields

value: D::T

Implementations

impl<D: LatticeDef> LatticeElt<D>

pub fn new_from(t: D::T) -> Self

pub fn join(&self, other: &Self) -> Self

Trait Implementations

impl<D: LatticeDef, '_> Add<&'_ LatticeElt<D>> for LatticeElt<D>

type Output = LatticeElt<D>

The resulting type after applying the + operator.

pub fn add(self, other: &LatticeElt<D>) -> Self

Performs the + operation.

impl<'lhs, 'rhs, D: LatticeDef> Add<&'rhs LatticeElt<D>> for &'lhs LatticeElt<D>

type Output = LatticeElt<D>

The resulting type after applying the + operator.

pub fn add(self, other: &'rhs LatticeElt<D>) -> LatticeElt<D>

Performs the + operation.

impl<D: LatticeDef> Add<LatticeElt<D>> for LatticeElt<D>

type Output = LatticeElt<D>

The resulting type after applying the + operator.

pub fn add(self, other: Self) -> Self

Performs the + operation.

impl<D: LatticeDef, '_> Add<LatticeElt<D>> for &'_ LatticeElt<D>

type Output = LatticeElt<D>

The resulting type after applying the + operator.

pub fn add(self, other: LatticeElt<D>) -> LatticeElt<D>

Performs the + operation.

impl<D: LatticeDef> Clone for LatticeElt<D> where
    D::T: Clone, 

pub fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<D: LatticeDef> Copy for LatticeElt<D> where
    D::T: Copy, 

impl<D: Debug + LatticeDef> Debug for LatticeElt<D> where
    D::T: Debug, 

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

Formats the value using the given formatter.

impl<D: LatticeDef> Default for LatticeElt<D>

pub fn default() -> Self

Returns the "default value" for a type.

impl<'de, D: LatticeDef> Deserialize<'de> for LatticeElt<D> where
    D::T: Deserialize<'de>, 

pub fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<D: LatticeDef> Eq for LatticeElt<D> where
    D::T: Eq, 

impl<A: LatticeDef, B: LatticeDef, C: LatticeDef, D: LatticeDef, E: LatticeDef> From<(LatticeElt<A>, LatticeElt<B>, LatticeElt<C>, LatticeElt<D>, LatticeElt<E>)> for LatticeElt<Tuple5<A, B, C, D, E>>

pub fn from(
    t: (LatticeElt<A>, LatticeElt<B>, LatticeElt<C>, LatticeElt<D>, LatticeElt<E>)
) -> Self

Performs the conversion.

impl<A: LatticeDef, B: LatticeDef, C: LatticeDef, D: LatticeDef> From<(LatticeElt<A>, LatticeElt<B>, LatticeElt<C>, LatticeElt<D>)> for LatticeElt<Tuple4<A, B, C, D>>

pub fn from(
    t: (LatticeElt<A>, LatticeElt<B>, LatticeElt<C>, LatticeElt<D>)
) -> Self

Performs the conversion.

impl<A: LatticeDef, B: LatticeDef, C: LatticeDef> From<(LatticeElt<A>, LatticeElt<B>, LatticeElt<C>)> for LatticeElt<Tuple3<A, B, C>>

pub fn from(t: (LatticeElt<A>, LatticeElt<B>, LatticeElt<C>)) -> Self

Performs the conversion.

impl<A: LatticeDef, B: LatticeDef> From<(LatticeElt<A>, LatticeElt<B>)> for LatticeElt<Tuple2<A, B>>

pub fn from(t: (LatticeElt<A>, LatticeElt<B>)) -> Self

Performs the conversion.

impl<K: DefTraits, VD: LatticeDef> From<BTreeMap<K, LatticeElt<VD>>> for LatticeElt<BTreeMapWithUnion<K, VD>> where
    VD::T: Clone, 

pub fn from(t: BTreeMap<K, LatticeElt<VD>>) -> Self

Performs the conversion.

impl<K: DefTraits, VD: LatticeDef> From<BTreeMap<K, LatticeElt<VD>>> for LatticeElt<BTreeMapWithIntersection<K, VD>> where
    VD::T: Clone, 

pub fn from(t: BTreeMap<K, LatticeElt<VD>>) -> Self

Performs the conversion.

impl<U: DefTraits> From<BTreeSet<U>> for LatticeElt<BTreeSetWithUnion<U>>

pub fn from(t: BTreeSet<U>) -> Self

Performs the conversion.

impl<U: DefTraits> From<BTreeSet<U>> for LatticeElt<BTreeSetWithIntersection<U>>

pub fn from(t: BTreeSet<U>) -> Self

Performs the conversion.

impl From<BitSet<u32>> for LatticeElt<BitSetWithUnion>

pub fn from(t: BitSet) -> Self

Performs the conversion.

impl From<BitSet<u32>> for LatticeElt<BitSetWithIntersection>

pub fn from(t: BitSet) -> Self

Performs the conversion.

impl<M: DefTraits + MaxUnitDefault> From<M> for LatticeElt<MaxDef<M>>

pub fn from(t: M) -> Self

Performs the conversion.

impl<M: DefTraits + MaxUnitMinValue> From<M> for LatticeElt<MaxNum<M>>

pub fn from(t: M) -> Self

Performs the conversion.

impl<M: DefTraits> From<M> for LatticeElt<MinOpt<M>>

pub fn from(t: M) -> Self

Performs the conversion.

impl<M: DefTraits + Bounded> From<M> for LatticeElt<MinNum<M>>

pub fn from(t: M) -> Self

Performs the conversion.

impl<K: DefTraits, VD: LatticeDef> From<OrdMap<K, LatticeElt<VD>>> for LatticeElt<ArcOrdMapWithUnion<K, VD>> where
    VD::T: Clone, 

pub fn from(t: ArcOrdMap<K, LatticeElt<VD>>) -> Self

Performs the conversion.

impl<K: DefTraits, VD: LatticeDef> From<OrdMap<K, LatticeElt<VD>>> for LatticeElt<ArcOrdMapWithIntersection<K, VD>> where
    VD::T: Clone, 

pub fn from(t: ArcOrdMap<K, LatticeElt<VD>>) -> Self

Performs the conversion.

impl<K: DefTraits, VD: LatticeDef> From<OrdMap<K, LatticeElt<VD>>> for LatticeElt<RcOrdMapWithUnion<K, VD>> where
    VD::T: Clone, 

pub fn from(t: RcOrdMap<K, LatticeElt<VD>>) -> Self

Performs the conversion.

impl<K: DefTraits, VD: LatticeDef> From<OrdMap<K, LatticeElt<VD>>> for LatticeElt<RcOrdMapWithIntersection<K, VD>> where
    VD::T: Clone, 

pub fn from(t: RcOrdMap<K, LatticeElt<VD>>) -> Self

Performs the conversion.

impl<U: DefTraits> From<OrdSet<U>> for LatticeElt<ArcOrdSetWithUnion<U>>

pub fn from(t: ArcOrdSet<U>) -> Self

Performs the conversion.

impl<U: DefTraits> From<OrdSet<U>> for LatticeElt<ArcOrdSetWithIntersection<U>>

pub fn from(t: ArcOrdSet<U>) -> Self

Performs the conversion.

impl<U: DefTraits> From<OrdSet<U>> for LatticeElt<RcOrdSetWithUnion<U>>

pub fn from(t: RcOrdSet<U>) -> Self

Performs the conversion.

impl<U: DefTraits> From<OrdSet<U>> for LatticeElt<RcOrdSetWithIntersection<U>>

pub fn from(t: RcOrdSet<U>) -> Self

Performs the conversion.

impl<D: LatticeDef> Hash for LatticeElt<D> where
    D::T: Hash, 

pub fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<D: LatticeDef> Ord for LatticeElt<D> where
    D::T: Ord, 

pub fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

#[must_use]pub fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

#[must_use]pub fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

#[must_use]pub fn clamp(self, min: Self, max: Self) -> Self

Restrict a value to a certain interval.

impl<D: LatticeDef> PartialEq<LatticeElt<D>> for LatticeElt<D>

pub fn eq(&self, other: &Self) -> bool

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

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<D: LatticeDef> PartialOrd<LatticeElt<D>> for LatticeElt<D>

pub fn partial_cmp(&self, other: &Self) -> Option<Ordering>

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

#[must_use]pub fn lt(&self, other: &Rhs) -> bool

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

#[must_use]pub fn le(&self, other: &Rhs) -> bool

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

#[must_use]pub fn gt(&self, other: &Rhs) -> bool

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

#[must_use]pub 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<D: LatticeDef> Serialize for LatticeElt<D> where
    D::T: Serialize, 

pub fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.