Enum Rule 

pub enum Rule {
    EOI,
    WHITESPACE,
    integer,
    identifier,
    zero,
    successor,
    projection,
    composition,
    primitive,
    minimization,
    recursive_function,
    functions,
    query,
}

Grammar rules for parsing recursive functions.

Variants

EOI

End-of-input

WHITESPACE

Rule which matches whitespaces: space, newline, tab.

integer

Rule which matches integers.

identifier

Rule which matches identifiers. They must start with letter and contain only letters or numbers.

zero

Rule which matches simple recursive function zero.

successor

Rule which matches simple recursive function successor.

projection

Rule which matches simple recursive function projection.

composition

Rule which matches recursive function compostion. Example: ($s:$p3.3).

primitive

Rule which matches primitive recursive function. Example: [$p1.1, ($s:$p3.3)].

minimization

Rule which matches minimization recursive function. Example: {subtractionAbs3, 100 }.

recursive_function

Rule which matches all possible recursive functions: zero, successor, projection, composition, primitive, minimization or identifier for identifying its function in future.

functions

Rule which matches list of recursive functions with their identifiers separated by semicolon. Example: const0 = $z; const0v2 = ($z : $p2.1);.

query

Rule which matches query to execute it contains identifier of function and arguments for calculations. Example:addition 12 57.

Implementations

impl Rule

pub fn all_rules() -> &'static [Rule]

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl Hash for Rule

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Rule

fn cmp(&self, other: &Rule) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl Parser<Rule> for RecurFunctionGrammar

fn parse<'i>(rule: Rule, input: &'i str) -> Result<Pairs<'i, Rule>, Error<Rule>>

Parses a &str starting from rule.

impl PartialEq for Rule

fn eq(&self, other: &Rule) -> 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 PartialOrd for Rule

fn partial_cmp(&self, other: &Rule) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Rule

impl Eq for Rule

impl StructuralPartialEq for Rule