Module lattices::map_union

Module containing the MapUnion lattice and aliases for different datastructures.

Structs

• KeyedBimorphism
  Composable bimorphism, wraps an existing morphism by partitioning it per key.
• MapUnion
  Map-union compound lattice.

Type Aliases

• MapUnionArrayMap
  Array-backed MapUnion lattice.
• MapUnionBTreeMap
  std::collections::BTreeMap-backed MapUnion lattice.
• MapUnionHashMap
  std::collections::HashMap-backed MapUnion lattice.
• MapUnionOptionMap
  Option-backed MapUnion lattice.
• MapUnionSingletonMap
  crate::collections::SingletonMap-backed MapUnion lattice.
• MapUnionVec
  Vec-backed MapUnion lattice.