Trait lambda_calculus::data::num::convert::IntoSignedNum

source · 
pub trait IntoSignedNum {
    // Required method
    fn into_signed(self, encoding: Encoding) -> Term;
}

Required Methods§

source

fn into_signed(self, encoding: Encoding) -> Term

Performs the conversion. The supported Encodings are Church, Scott, Parigot and StumpFu.

Implementations on Foreign Types§

source§

impl IntoSignedNum for i32

source§

fn into_signed(self, encoding: Encoding) -> Term

Implementors§