pub struct Lam {}Trait Implementations§
Source§impl<V: Binder + Clone + Eq, M: Clone + Eq> Backend<V, M> for Lam
impl<V: Binder + Clone + Eq, M: Clone + Eq> Backend<V, M> for Lam
type Output = GTerm<V, M>
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
fn compile(&mut self, a: GTerm<V, M>) -> Self::Output
Auto Trait Implementations§
impl Freeze for Lam
impl RefUnwindSafe for Lam
impl Send for Lam
impl Sync for Lam
impl Unpin for Lam
impl UnwindSafe for Lam
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more