Trait 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.

Dyn Compatibility

This trait is dyn compatible.

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

Implementations on Foreign Types

impl IsBot for ()

fn is_bot(&self) -> bool

Implementors

impl IsBot for Max<()>

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<usize>

impl IsBot for Min<()>

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<usize>

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

where Head: Clone, Node: GeneralizedHashTrieNode + IsBot,

Available on crate feature std only.

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>

Available on crate feature alloc only.

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

where LatA: IsBot, LatB: IsBot,

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

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

Available on crate feature std only.

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

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

impl<Map> IsBot for MapUnion<Map>

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

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

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

Available on crate feature std only.

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

where Set: Len, TombstoneSet: Len,

impl<Set> IsBot for SetUnion<Set>

where Set: Len,

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

impl<T> IsBot for Conflict<T>