Trait lambda_calculus::data::list::convert::IntoParigotList

pub trait IntoParigotList {
    fn into_parigot(self) -> Term;
}

Required Methods

fn into_parigot(self) -> Term

Performs the conversion.

Implementations on Foreign Types

impl IntoParigotList for Vec<Term>

fn into_parigot(self) -> Term

impl<T: IntoParigotNum> IntoParigotList for Vec<T>

fn into_parigot(self) -> Term

Implementors