Trait spinach::func::unary::Monotone

pub trait Monotone {
    type InLatRepr: LatticeRepr;
    type OutLatRepr: LatticeRepr;
    fn call(
        &self, 
        item: Hide<Value, Self::InLatRepr>
    ) -> Hide<Value, Self::OutLatRepr>;
}

Associated Types

type InLatRepr: LatticeRepr

type OutLatRepr: LatticeRepr

Required methods

fn call(
    &self,
    item: Hide<Value, Self::InLatRepr>
) -> Hide<Value, Self::OutLatRepr>

Implementors

impl<M: Morphism> Monotone for M

type InLatRepr = <Self as Morphism>::InLatRepr

type OutLatRepr = <Self as Morphism>::OutLatRepr