Trait Parse 

pub trait Parse<'int, Int: Intern>: Sized + 'int {
    // Required method
    fn parse(
        buf: &mut ParseBuffer<'_>,
        interner: &'int Int,
    ) -> Result<Self, Box<dyn StdError + Send + Sync>>;
}

Required Methods

fn parse( buf: &mut ParseBuffer<'_>, interner: &'int Int, ) -> Result<Self, Box<dyn StdError + Send + Sync>>

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<'int, Int: Intern> Parse<'int, Int> for Expr<Name<<Int as Intern>::Interned<'int>>>

impl<'int, Int: Intern> Parse<'int, Int> for Clause<Name<<Int as Intern>::Interned<'int>>>

impl<'int, Int: Intern> Parse<'int, Int> for ClauseDataset<Name<<Int as Intern>::Interned<'int>>>

impl<'int, Int: Intern> Parse<'int, Int> for Name<<Int as Intern>::Interned<'int>>

impl<'int, Int: Intern> Parse<'int, Int> for Term<Name<<Int as Intern>::Interned<'int>>>