Trait lambda_calculus::data::list::convert::IntoScottList

pub trait IntoScottList {
    fn into_scott(self) -> Term;
}

Required Methods

fn into_scott(self) -> Term

Performs the conversion.

Implementations on Foreign Types

impl IntoScottList for Vec<Term>

fn into_scott(self) -> Term

impl<T: IntoScottNum> IntoScottList for Vec<T>

fn into_scott(self) -> Term

Implementors