Enum DcgRhs 

pub enum DcgRhs {
    NonTerminal(PrologTerm),
    Terminals(Vec<PrologTerm>),
    Epsilon,
    Goal(Vec<PrologTerm>),
    Disjunction(Vec<DcgRhs>, Vec<DcgRhs>),
    Seq(Vec<DcgRhs>),
}

Right-hand side element of a DCG rule.

Variants

NonTerminal(PrologTerm)

A nonterminal call.

Terminals(Vec<PrologTerm>)

A terminal list [a, b, c].

Epsilon

An epsilon (empty string) — written [].

Goal(Vec<PrologTerm>)

A Prolog goal {Goal1, Goal2}.

Disjunction(Vec<DcgRhs>, Vec<DcgRhs>)

A disjunction (A | B).

Seq(Vec<DcgRhs>)

A pushback notation A, B sequence.

Trait Implementations

impl Clone for DcgRhs

fn clone(&self) -> DcgRhs

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DcgRhs

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for DcgRhs

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for DcgRhs

fn eq(&self, other: &DcgRhs) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for DcgRhs