Struct aterm::rc::ATerm

pub struct ATerm<'s, B>(_);

Methods

impl<'s, B> ATerm<'s, B>

fn no_annos(term: Term<Rc<ATerm<'s, B>>, B, &'s str>) -> Self

fn with_annos<A>(term: Term<Rc<ATerm<'s, B>>, B, &'s str>, annos: A) -> Self where
    A: IntoIterator<Item = Rc<ATerm<'s, B>>>, 

Trait Implementations

impl<'s, B: Debug> Debug for ATerm<'s, B>

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

Formats the value using the given formatter.

impl<'s, B: PartialEq> PartialEq for ATerm<'s, B>

fn eq(&self, __arg_0: &ATerm<'s, B>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &ATerm<'s, B>) -> bool

This method tests for !=.

impl<'s, B: Eq> Eq for ATerm<'s, B>

impl<'s, B: Clone> Clone for ATerm<'s, B>

fn clone(&self) -> ATerm<'s, B>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'s, B: Hash> Hash for ATerm<'s, B>

fn hash<__HB: Hasher>(&self, __arg_0: &mut __HB)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<'s, B> ATerm for ATerm<'s, B>

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

Basically the current type, but you may want to add something extra, so this is more flexible.

type Blob = B

The extension point to add more variants to terms.

type Cons = &'s str

The type of the constructor to use

fn into_inner(self) -> ATermInner<Rc<ATerm<'s, B>>, B, &'s str>

fn as_inner(&self) -> &ATermInner<Rc<ATerm<'s, B>>, B, &'s str>

fn get_int(&self) -> Option<i32>

fn get_long(&self) -> Option<i64>

fn get_real(&self) -> Option<f32>

fn get_application(&self) -> Option<(&Self::Cons, &[Self::Rec])>

fn get_list(&self) -> Option<&[Self::Rec]>

fn get_placeholder(&self) -> Option<&TermPlaceholder<Self::Rec>>

fn get_blob(&self) -> Option<&Self::Blob>

fn get_string(&self) -> Option<String>

fn get_tuple(&self) -> Option<&[Self::Rec]>

impl<'s, B> Display for ATerm<'s, B> where
    B: ATermWrite, 

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

Formats the value using the given formatter.

impl<'a, 's, B: 'a + ATermWrite> ATermWrite for ATerm<'s, B>

fn to_ascii<W: Write>(&self, writer: &mut W) -> Result

fn to_taf<W: Write>(&self, writer: &mut W) -> Result

fn to_baf<W: Write>(&self, writer: &mut W) -> Result

fn to_saf<W: Write>(&self, writer: &mut W) -> Result

fn to_ascii_string(&self) -> Result<String, Error>

fn to_taf_string(&self) -> Result<String, Error>

fn to_baf_string(&self) -> Result<String, Error>

fn to_saf_string(&self) -> Result<String, Error>