Trait lambda_calculus::data::num::convert::IntoChurchNum

pub trait IntoChurchNum {
    // Required method
    fn into_church(self) -> Term;
}

Required Methods

fn into_church(self) -> Term

Performs the conversion.

Implementations on Foreign Types

impl<T, U> IntoChurchNum for Result<T, U>where T: IntoChurchNum, U: IntoChurchNum,

fn into_church(self) -> Term

impl IntoChurchNum for usize

fn into_church(self) -> Term

impl<T, U> IntoChurchNum for (T, U)where T: IntoChurchNum, U: IntoChurchNum,

fn into_church(self) -> Term

impl<T> IntoChurchNum for Option<T>where T: IntoChurchNum,

fn into_church(self) -> Term

Implementors