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