Trait aterm::ATerm [−] [src]

pub trait ATerm {
    type Rec: Borrow<Self>;
    type Blob;
    fn into_inner(self) -> ATermInner<Self::Rec, Self::Blob>;
    fn as_inner(&self) -> &ATermInner<Self::Rec, Self::Blob>;

    fn get_int(&self) -> Option<i32> { ... }
    fn get_long(&self) -> Option<i64> { ... }
    fn get_real(&self) -> Option<f32> { ... }
    fn get_application(&self) -> Option<(&str, &[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]> { ... }
}

Associated Types

Required Methods

Provided Methods

Implementors