Trait Rule

pub trait Rule: Debug + Spanned {
    // Required methods
    fn kind(&self) -> Check;
    fn apply<'input, 'context, C>(
        &self,
        context: &mut C,
    ) -> DiagResult<Matches<'input>>
       where C: Context<'input, 'context> + ?Sized;
}

Required Methods

fn kind(&self) -> Check

fn apply<'input, 'context, C>( &self, context: &mut C, ) -> DiagResult<Matches<'input>>

where C: Context<'input, 'context> + ?Sized,

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<'r, R> Rule for &'r R

where R: ?Sized + Rule,

fn kind(&self) -> Check

fn apply<'input, 'context, C>( &self, context: &mut C, ) -> DiagResult<Matches<'input>>

where C: Context<'input, 'context> + ?Sized,

impl<R> Rule for Box<R>

where R: Rule + ?Sized,

fn kind(&self) -> Check

fn apply<'input, 'context, C>( &self, context: &mut C, ) -> DiagResult<Matches<'input>>

where C: Context<'input, 'context> + ?Sized,

Implementors

impl Rule for CheckEmpty

impl<'check> Rule for CheckDag<'check>

impl<'context> Rule for dyn DynRule + 'context

impl<M> Rule for CheckNext<M>

where M: MatcherMut,

impl<M> Rule for CheckPlain<M>

where M: MatcherMut,

impl<M> Rule for CheckSame<M>

where M: MatcherMut,