Trait aterm::parse::ATermRead [−] [src]

pub trait ATermRead<'s>: ATermFactory<'s> {
    fn read_ascii<'t: 's>(
        &'s self, 
        input: &'t str
    ) -> Result<'t, Self::ATermRef>;

    fn read_taf<'t: 's>(&'s self, input: &'t str) -> Result<'t, Self::ATermRef>;

    fn read_baf<'t: 's>(&'s self, input: &'t str) -> Result<'t, Self::ATermRef>;

    fn read_saf<'t: 's>(&'s self, input: &'t str) -> Result<'t, Self::ATermRef>;

    fn read_ascii_string<'t>(
        &'s self, 
        input: &'t str
    ) -> Result<'t, Self::ATermRef>;

    fn read_taf_string<'t>(
        &'s self, 
        input: &'t str
    ) -> Result<'t, Self::ATermRef>;

    fn read_baf_string<'t>(
        &'s self, 
        input: &'t str
    ) -> Result<'t, Self::ATermRef>;

    fn read_saf_string<'t>(
        &'s self, 
        input: &'t str
    ) -> Result<'t, Self::ATermRef>;
}

Required Methods

Implementors