Trait lambda_calculus::data::num::convert::IntoParigotNum

pub trait IntoParigotNum {
    // Required method
    fn into_parigot(self) -> Term;
}

Required Methods

fn into_parigot(self) -> Term

Performs the conversion.

Implementations on Foreign Types

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

fn into_parigot(self) -> Term

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

fn into_parigot(self) -> Term

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

fn into_parigot(self) -> Term

impl IntoParigotNum for usize

fn into_parigot(self) -> Term

Implementors