Trait xpr::Expression

pub trait Expression {
    fn as_xpr(&self) -> Xpr<Term<&Self>>
    where
        Self: Sized,
    { ... }
    fn into_xpr(self) -> Xpr<Term<Self>>
    where
        Self: Sized,
    { ... }
}

A trait for converting an instance into xpr terminals

Provided methods

fn as_xpr(&self) -> Xpr<Term<&Self>> where
    Self: Sized, 

Wrap a reference of self in an Xpr terminal

fn into_xpr(self) -> Xpr<Term<Self>> where
    Self: Sized, 

Consume self and return as Xpr terminal

Implementors