Trait Scope 

pub trait Scope<Q, S>
where
    Q: RawState,
{
    // Required methods
    fn current_state(&self) -> &State<Q>;
    fn current_symbol(&self) -> &S;
}

The Scope trait establishes a common interface for all head-like objects;

Required Methods

fn current_state(&self) -> &State<Q>

returns an immutable reference to the current state

fn current_symbol(&self) -> &S

Implementations on Foreign Types

impl<Q, S> Scope<Q, S> for (State<Q>, S)

where Q: RawState,

fn current_state(&self) -> &State<Q>

fn current_symbol(&self) -> &S

Implementors

impl<Q, S> Scope<Q, S> for Head<Q, S>

where Q: RawState,

impl<Q, S> Scope<Q, S> for Rule<Q, S>

where Q: RawState,