Trait Backend

Source

pub trait Backend<V: Binder + Clone + Eq, M: Eq + Clone>where
    V::Var: Eq + Ord + Clone,{
    type Output;

    // Required methods
    fn undef(&mut self) -> Self::Output;
    fn var(&mut self, v: V::Var) -> Self::Output;
    fn selfreference(&mut self, v: Self::Output) -> Self::Output;
    fn abs(&mut self, b: V, o: Self::Output) -> Self::Output;
    fn app(&mut self, a: Self::Output, b: Self::Output) -> Self::Output;
    fn mix(&mut self, x: M) -> Self::Output;

    // Provided method
    fn compile(&mut self, a: GTerm<V, M>) -> Self::Output { ... }
}