Module lattices::set_union

Module containing the SetUnion lattice and aliases for different datastructures.

Structs

• CartesianProductBimorphism
  Bimorphism for the cartesian product of two sets. Output is a set of all possible pairs of items from the two input sets.
• SetUnion
  Set-union lattice.

Type Aliases

• SetUnionArray
  crate::collections::ArraySet-backed SetUnion lattice.
• SetUnionBTreeSet
  std::collections::BTreeSet-backed SetUnion lattice.
• SetUnionHashSet
  std::collections::HashSet-backed SetUnion lattice.
• SetUnionOptionSet
  Option-backed SetUnion lattice.
• SetUnionSingletonSet
  crate::collections::SingletonSet-backed SetUnion lattice.
• SetUnionVec
  Vec-backed SetUnion lattice.