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.

Implementations on Foreign Types

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

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

Implementors

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

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

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

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

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