Trait aterm::Cons

pub trait Cons {
    fn is_tuple_cons(&self) -> bool;
    fn to_string_option(&self) -> Option<String>;

    fn is_string_cons(&self) -> bool { ... }
}

Required Methods

fn is_tuple_cons(&self) -> bool

Returns whether this constructor is a tuple constructor

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

Returns Some(string) when the constructor encapsulates a string

Provided Methods

fn is_string_cons(&self) -> bool

Returns whether the constructor encapsulates a string

Implementors

• impl<'a> Cons for &'a str
• impl Cons for String