Struct aterm::_ATerm

pub struct _ATerm<Rec, B> {
    pub term: Term<Rec, B>,
    pub annotations: Rec,
}

The annotated term. This only combines the term with the annotations, nothing special.

Fields

term: Term<Rec, B>

The actual term.

annotations: Rec

The annotations on the term. The spec says this is an ATerm list of pairs of ATerms. We extend this to a general list of aterms so we can support more systems (e.g. Stratego/XT).

Methods

impl<Rec, B> _ATerm<Rec, B> where Rec: Default

fn no_annos(term: Term<Rec, B>) -> Self

fn with_annos(term: Term<Rec, B>, annos: Rec) -> Self

Trait Implementations

impl<Rec: Debug, B: Debug> Debug for _ATerm<Rec, B>

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

Formats the value using the given formatter.

impl<Rec: PartialEq, B: PartialEq> PartialEq for _ATerm<Rec, B>

fn eq(&self, __arg_0: &_ATerm<Rec, B>) -> bool

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

fn ne(&self, __arg_0: &_ATerm<Rec, B>) -> bool

This method tests for !=.

impl<Rec: Eq, B: Eq> Eq for _ATerm<Rec, B>

impl<Rec: Clone, B: Clone> Clone for _ATerm<Rec, B>

fn clone(&self) -> _ATerm<Rec, B>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Rec: Hash, B: Hash> Hash for _ATerm<Rec, B>

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

Feeds this value into the state given, updating the hasher as necessary.

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

Feeds a slice of this type into the state provided.

impl<Rec, B> Display for _ATerm<Rec, B> where Rec: Rec + ATermWrite,
        B: ATermWrite

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

Formats the value using the given formatter.

impl<Rec, B> ATermWrite for _ATerm<Rec, B> where Rec: Rec + ATermWrite,
        B: ATermWrite

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