Trait ruly::def::Product[−][src]

pub trait Product<P: Parse>: Sized {
    fn read(p: &mut P) -> Result<Self, (String, usize)>;
}

Required methods

`fn read(p: &mut P) -> Result<Self, (String, usize)>`[src]

Loading content...

Implementors

`impl<P: Parse> Product<P> for Judgement`[src]

`fn read(parser: &mut P) -> Result<Self, (String, usize)>`[src]

`impl<P: Parse> Product<P> for Nat`[src]

`fn read(parser: &mut P) -> Result<Self, (String, usize)>`[src]

Loading content...