Trait ValueParser 

pub trait ValueParser<Value, Input>: Copy {
    // Required method
    fn parse_value(self, i: Input) -> SmtRes<Value>;
}

Can parse values. Used for get-value.

For more information refer to the module-level documentation.

Required Methods

fn parse_value(self, i: Input) -> SmtRes<Value>

Parses a plain value.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a, Value, T> ValueParser<Value, &'a str> for T

where T: ValueParser<Value, &'a [u8]>,

impl<'a, Value, T, Br> ValueParser<Value, &'a mut SmtParser<Br>> for T

where T: ValueParser<Value, &'a str>, Br: BufRead,