Trait FromSexp 

pub trait FromSexp<T: Types> {
    // Required methods
    fn fresh_var(&mut self) -> T::Var;
    fn var(&self, name: &str) -> Result<T::Var, ParseError>;
    fn kvar(&self, name: &str) -> Result<T::KVar, ParseError>;
    fn string(&self, s: &str) -> Result<T::String, ParseError>;
    fn sort(&self, name: &str) -> Result<T::Sort, ParseError>;

    // Provided method
    fn into_wrapper(self) -> FromSexpWrapper<T, Self>
       where Self: Sized { ... }
}

Required Methods

fn fresh_var(&mut self) -> T::Var

fn var(&self, name: &str) -> Result<T::Var, ParseError>

fn kvar(&self, name: &str) -> Result<T::KVar, ParseError>

fn string(&self, s: &str) -> Result<T::String, ParseError>

fn sort(&self, name: &str) -> Result<T::Sort, ParseError>

Provided Methods

fn into_wrapper(self) -> FromSexpWrapper<T, Self>

where Self: Sized,

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl FromSexp<StringTypes> for StringTypes