Struct lattices::map_union::KeyedBimorphism

pub struct KeyedBimorphism<MapOut, Bimorphism> { /* private fields */ }

Composable bimorphism, wraps an existing morphism by partitioning it per key.

For example, KeyedBimorphism<..., CartesianProduct<...>> is a join.

Implementations

impl<MapOut, Bimorphism> KeyedBimorphism<MapOut, Bimorphism>

pub fn new(bimorphism: Bimorphism) -> Self

Create a KeyedBimorphism using bimorphism for handling values.

Trait Implementations

impl<MapA, MapB, MapOut, ValFunc> LatticeBimorphism<MapUnion<MapA>, MapUnion<MapB>> for KeyedBimorphism<MapOut, ValFunc>

where ValFunc: LatticeBimorphism<MapA::Item, MapB::Item>, MapA: MapIter + SimpleKeyedRef + SimpleCollectionRef, MapB: for<'a> GetKeyValue<&'a MapA::Key, Key = MapA::Key> + SimpleCollectionRef, MapA::Key: Clone + Eq, MapA::Item: Clone, MapB::Item: Clone, MapOut: Default + MapInsert<MapA::Key> + Collection<Item = ValFunc::Output>,

type Output = MapUnion<MapOut>

The output lattice type.

fn call(&mut self, lat_a: MapUnion<MapA>, lat_b: MapUnion<MapB>) -> Self::Output

Executes the function.