Struct ATermFactory 

pub struct ATermFactory<B, H: BuildHasher> { /* private fields */ }

Implementations

impl<'s, B, H: BuildHasher + Default> ATermFactory<B, H>

pub fn new() -> Self

Trait Implementations

impl<'s, B, H> ATermFactory<'s> for ATermFactory<B, H>

where B: 's + Clone, H: 's + BuildHasher + Default,

type ATerm = ATerm<'s, B>

The ATerm the factory builds

type ATermRef = Rc<ATerm<'s, B>>

The reference to an ATerm that’s returned. You usually want these to be cheaply cloneable!

fn application<I, S>(&'s self, constructor: S, children: I) -> Self::ATermRef

where I: IntoIterator<Item = Self::ATermRef>, S: Into<Cow<'s, str>>,

fn with_annos<A>(&'s self, term: Self::ATermRef, annos: A) -> Self::ATermRef

where A: IntoIterator<Item = Self::ATermRef>,

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

fn string<S>(&'s self, value: S) -> Self::ATermRef

where S: Into<Cow<'s, str>>,

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

fn tuple<I>(&'s self, children: I) -> Self::ATermRef

where I: IntoIterator<Item = Self::ATermRef>,

The tuple in ATerms is represented as an application with an empty constructor string!

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

fn list<I>(&'s self, value: I) -> Self::ATermRef

where I: IntoIterator<Item = Self::ATermRef>,

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

fn blob(&'s self, value: <Self::ATerm as ATermT<'s>>::Blob) -> Self::ATermRef

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

impl<'s, B, H: BuildHasher + Default> Default for ATermFactory<B, H>

fn default() -> Self

Returns the “default value” for a type.