Struct lattices::ght::lattice::GhtValTypeProductBimorphism

pub struct GhtValTypeProductBimorphism<GhtOut> { /* private fields */ }

Forms the cartesian product of the ValTypes only Used on GhtLeaf nodes to implement DeepJoinLatticeBimorphism

Trait Implementations

impl<GhtOut> Default for GhtValTypeProductBimorphism<GhtOut>

fn default() -> Self

Returns the “default value” for a type.

impl<'a, 'b, GhtA, GhtB, GhtOut> LatticeBimorphism<&'a GhtA, &'b GhtB> for GhtValTypeProductBimorphism<GhtOut>

where GhtA: GeneralizedHashTrieNode, GhtA::Storage: VariadicSet<Schema = GhtA::Schema>, GhtB: GeneralizedHashTrieNode, GhtB::Storage: VariadicSet<Schema = GhtB::Schema>, GhtOut: FromIterator<<GhtA::Schema as VariadicExt>::Extend<GhtB::ValType>>, GhtA::Schema: Eq + Hash + CloneVariadic, GhtB::Schema: Eq + Hash + SplitBySuffix<GhtB::ValType>, GhtB::ValType: CloneVariadic,

type Output = GhtOut

The output lattice type.

fn call(&mut self, ght_a: &'a GhtA, ght_b: &'b GhtB) -> Self::Output

Executes the function.