Trait cfg::rule_container::RuleContainerRef

pub trait RuleContainerRef<'a>: Deref + Sizedwhere
    Self::Target: RuleContainer + Default,{
    type RuleRef: GrammarRule + Copy + 'a;
    type Rules: Iterator<Item = Self::RuleRef>;

    // Required method
    fn rules(self) -> Self::Rules;

    // Provided method
    fn reverse(self) -> Self::Target
       where Self::Target: Default { ... }
}

This trait is currently needed to make the associated Rules iterator generic over a lifetime parameter.

Required Associated Types

type RuleRef: GrammarRule + Copy + 'a

Immutable reference to a rule.

type Rules: Iterator<Item = Self::RuleRef>

Iterator over immutable references to the grammar’s rules.

Required Methods

fn rules(self) -> Self::Rules

Returns an iterator over immutable references to the grammar’s rules.

Provided Methods

fn reverse(self) -> Self::Targetwhere Self::Target: Default,

Reverses the grammar.

Object Safety

This trait is not object safe.

Implementors

impl<'a> RuleContainerRef<'a> for &'a BinarizedCfg

type RuleRef = RuleRef<'a>

type Rules = Chain<LhsWithHistoryToRuleRef<'a, Enumerate<Cloned<Iter<'a, Option<NonZeroUsize>>>>>, BinarizedRuleToRuleRef<Iter<'a, BinarizedRule>>>

impl<'a> RuleContainerRef<'a> for &'a BinarizedGrammar

type RuleRef = RuleRef<'a>

type Rules = Chain<LhsWithHistoryToRuleRef<'a, Enumerate<Cloned<Iter<'a, Option<NonZeroUsize>>>>>, BinarizedRuleToRuleRef<Iter<'a, BinarizedRule>>>

impl<'a> RuleContainerRef<'a> for &'a Cfg

type RuleRef = <<&'a Cfg as RuleContainerRef<'a>>::Rules as Iterator>::Item

type Rules = Iter<'a, Rule>