Trait lambda_calculus::data::list::convert::IntoChurchList

pub trait IntoChurchList {
    fn into_church(self) -> Term;
}

Required Methods

fn into_church(self) -> Term

Performs the conversion.

Implementations on Foreign Types

impl IntoChurchList for Vec<Term>

fn into_church(self) -> Term

impl<T: IntoChurchNum> IntoChurchList for Vec<T>

fn into_church(self) -> Term

Implementors