Struct aterm::boxed::ATermFactory

pub struct ATermFactory<B> { /* fields omitted */ }

Methods

impl<B> ATermFactory<B>

fn new() -> Self

Trait Implementations

impl<B: Default> Default for ATermFactory<B>

fn default() -> ATermFactory<B>

Returns the "default value" for a type.

impl<B: Debug> Debug for ATermFactory<B>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<'a, B: Clone + 'a> ATermFactory<'a, B> for ATermFactory<B>

type Rec = Rec<B>

type ATerm = ATerm<B>

type ATermRef = ATerm<B>

fn no_annos(&'a self, term: Term<Rec<B>, B>) -> Self::ATermRef

fn with_annos<A>(&'a self, term: Term<Rec<B>, B>, annos: A) -> Self::ATermRef where A: IntoIterator<Item=Self::ATermRef>

fn int(&'a self, value: i32) -> Self::ATermRef

fn string(&'a self, value: String) -> Self::ATermRef

The string variant in ATerms is represented as an application with zero children!

fn real(&'a self, value: f32) -> Self::ATermRef

fn application<I>(&'a self, constructor: String, children: I) -> Self::ATermRef where I: IntoIterator<Item=Self::ATermRef>

fn list<I>(&'a self, value: I) -> Self::ATermRef where I: IntoIterator<Item=Self::ATermRef>

fn placeholder(&'a self, value: TermPlaceholder<Self::Rec>) -> Self::ATermRef

fn blob(&'a self, value: B) -> Self::ATermRef

fn long(&'a self, value: i64) -> Self::ATermRef

fn t_int(&'a self, value: i32) -> Term<Self::Rec, B>

fn t_string(&'a self, value: String) -> Term<Self::Rec, B>

The string variant in ATerms is represented as an application with zero children!

fn t_real(&'a self, value: f32) -> Term<Self::Rec, B>

fn t_application<I>(&'a self,
                    constructor: String,
                    children: I)
                    -> Term<Self::Rec, B> where I: IntoIterator<Item=Self::ATermRef>

fn t_list<I>(&'a self, value: I) -> Term<Self::Rec, B> where I: IntoIterator<Item=Self::ATermRef>

fn t_placeholder(&'a self,
                 value: TermPlaceholder<Self::Rec>)
                 -> Term<Self::Rec, B>

fn t_blob(&'a self, value: B) -> Term<Self::Rec, B>

fn t_long(&'a self, value: i64) -> Term<Self::Rec, B>