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