Enum aterm::TermPlaceholder

pub enum TermPlaceholder<Rec> {
    Int,
    String,
    Real,
    Term,
    Application(Box<[Rec]>),
    List,
    Placeholder,
    Blob,
    Long,
}

These placeholders match the constructors of Term. The Application has sub-placeholders for the children of the constructor. The Term placeholder is basically a wildcard, it matches anything.

Variants

IntStringRealTermApplication(Box<[Rec]>)ListPlaceholderBlobLong

Methods

impl<Rec> TermPlaceholder<Rec>

fn cons_string(&self) -> &'static str

fn to_template<'s, F>(&self, factory: &'s F) -> Rec where
    F: ATermFactory<'s, ATermRef = Rec>,
    Rec: Clone + Borrow<<F as ATermFactory<'s>>::ATerm>, 

Trait Implementations

impl<Rec: Debug> Debug for TermPlaceholder<Rec>

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

Formats the value using the given formatter.

impl<Rec: PartialEq> PartialEq for TermPlaceholder<Rec>

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

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

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

This method tests for !=.

impl<Rec: Eq> Eq for TermPlaceholder<Rec>

impl<Rec: Clone> Clone for TermPlaceholder<Rec>

fn clone(&self) -> TermPlaceholder<Rec>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Rec: Hash> Hash for TermPlaceholder<Rec>

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

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<AR> ATermWrite for TermPlaceholder<AR> where
    AR: ATermWrite, 

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

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