Trait dedukti_parse::parse::Parse[][src]

pub trait Parse<'s>: Sized {
    fn parse<I>(iter: &mut Peekable<I>) -> Result<Self, Error>
    where
        I: Iterator<Item = Token<'s>>
; fn consume(iter: impl Iterator<Item = Token<'s>>) -> Result<Self, Error> { ... }
fn parse_vec(tokens: Vec<Token<'s>>) -> Result<Self, Error> { ... }
fn parse_str(s: &'s str) -> Result<Self, Error> { ... } }

Required methods

Provided methods

Implementors