Trait lambda_calculus::data::num::convert::IntoScottNum

pub trait IntoScottNum {
    // Required method
    fn into_scott(self) -> Term;
}

Required Methods

fn into_scott(self) -> Term

Performs the conversion.

Implementations on Foreign Types

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

fn into_scott(self) -> Term

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

fn into_scott(self) -> Term

impl IntoScottNum for usize

fn into_scott(self) -> Term

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

fn into_scott(self) -> Term

Implementors