Trait lattices::IsBot

pub trait IsBot {
    // Required method
    fn is_bot(&self) -> bool;
}

Trait to check if a lattice instance is bottom (⊥).

Required Methods

fn is_bot(&self) -> bool

Returns if self is lattice bottom (⊥).

Must be consistent with equality, any element equal to bottom is also considered to be bottom.

Implementations on Foreign Types

impl IsBot for ()

fn is_bot(&self) -> bool

Implementors

impl IsBot for Max<bool>

impl IsBot for Max<char>

impl IsBot for Max<i8>

impl IsBot for Max<i16>

impl IsBot for Max<i32>

impl IsBot for Max<i64>

impl IsBot for Max<i128>

impl IsBot for Max<isize>

impl IsBot for Max<u8>

impl IsBot for Max<u16>

impl IsBot for Max<u32>

impl IsBot for Max<u64>

impl IsBot for Max<u128>

impl IsBot for Max<()>

impl IsBot for Max<usize>

impl IsBot for Min<bool>

impl IsBot for Min<char>

impl IsBot for Min<i8>

impl IsBot for Min<i16>

impl IsBot for Min<i32>

impl IsBot for Min<i64>

impl IsBot for Min<i128>

impl IsBot for Min<isize>

impl IsBot for Min<u8>

impl IsBot for Min<u16>

impl IsBot for Min<u32>

impl IsBot for Min<u64>

impl IsBot for Min<u128>

impl IsBot for Min<()>

impl IsBot for Min<usize>

impl<Head, Node> IsBot for GhtInner<Head, Node>

where Head: Clone, Node: GeneralizedHashTrieNode + IsBot,

impl<Inner> IsBot for WithBot<Inner>

where Inner: IsBot,

impl<Inner> IsBot for WithTop<Inner>

where Inner: IsBot,

impl<Key, Val> IsBot for DomPair<Key, Val>

where Key: IsBot, Val: IsBot,

impl<Lat> IsBot for VecUnion<Lat>

impl<LatA, LatB> IsBot for Pair<LatA, LatB>

where LatA: IsBot, LatB: IsBot,

impl<Map> IsBot for MapUnion<Map>

where Map: Iter, Map::Item: IsBot,

impl<Map, K> IsBot for UnionFind<Map>

where Map: MapIter<Key = K, Item = Cell<K>>, K: Copy + Eq,

impl<Map, TombstoneSet> IsBot for MapUnionWithTombstones<Map, TombstoneSet>

where Map: Iter, Map::Item: IsBot, TombstoneSet: Len,

impl<Schema, SuffixSchema, Storage> IsBot for GhtLeaf<Schema, SuffixSchema, Storage>

where Schema: Eq + Hash, SuffixSchema: Eq + Hash, Storage: VariadicSet<Schema = Schema>,

impl<Set> IsBot for SetUnion<Set>

where Set: Len,

impl<Set, TombstoneSet> IsBot for SetUnionWithTombstones<Set, TombstoneSet>

where Set: Len, TombstoneSet: Len,

impl<T> IsBot for Conflict<T>

impl<T, Provenance> IsBot for Point<T, Provenance>