Struct aterm::rc::shared::ATermFactory

pub struct ATermFactory<'s, B: Hash + Eq, H: BuildHasher> { /* fields omitted */ }

Methods

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

fn new() -> Self

fn with_capacity(capacity: usize) -> Self

Trait Implementations

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

fn default() -> Self

Returns the "default value" for a type.

impl<'s, B: 's + Clone + Hash + Eq, H: 's + BuildHasher + Default> ATermFactoryT<'s> for ATermFactory<'s, B, H>

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 with_annos<A>(&'s self, term: Self::ATermRef, annos: A) -> Self::ATermRef where
    A: IntoIterator<Item = Self::ATermRef>, 

fn application<I, S>(&'s self, constructor: S, children: I) -> Self::ATermRef where
    I: IntoIterator<Item = Self::ATermRef>,
    S: Into<Cow<'s, str>>, 

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> SharedATermFactoryT<'s> for ATermFactory<'s, B, H> where
    B: 's + Clone + Hash + Eq,
    H: 's + BuildHasher + Default, 

fn get_shared(&'s self, value: Self::ATermRef) -> Self::ATermRef where
    Self::ATermRef: Clone,