Enum Rule 

pub enum Rule {
    EOI,
    SPACE,
    reserved_keyword,
    label,
    number_literal,
    scientific_number,
    decimal_number,
    exponent_part,
    type_standard,
    type_definition,
    type_import,
    type_custom,
    type_name_def,
    type_import_def,
    type_arrow_chain,
    boolean_literal,
    text_literal,
    percent_literal,
    arrow_symbol,
    command,
    command_name,
    command_arg,
    lemma_file,
    doc,
    doc_body,
    doc_declaration,
    doc_name,
    doc_identifier,
    triple_quote,
    commentary_block,
    commentary,
    fact_reference_segment,
    fact_reference,
    fact_definition,
    fact_override,
    fact_value,
    type_declaration,
    inline_type_definition,
    doc_reference,
    rule_name,
    rule_definition,
    rule_expression,
    unless_statement,
    veto_expression,
    rule_reference_segment,
    rule_reference,
    expression,
    and_expression,
    and_operand,
    primary,
    op_add,
    op_sub,
    op_mul,
    op_div,
    op_mod,
    op_pow,
    math_function,
    factor,
    power,
    term,
    base_expression,
    conversion_target_name,
    conversion_expression,
    duration_unit,
    comp_gte,
    comp_lte,
    comp_eq,
    comp_ne,
    comp_is_not,
    comp_gt,
    comp_lt,
    comp_is,
    comp_operator,
    simple_expression,
    comparison_expression,
    not_expr,
    sqrt_expr,
    sin_expr,
    cos_expr,
    tan_expr,
    asin_expr,
    acos_expr,
    atan_expr,
    log_expr,
    exp_expr,
    abs_expr,
    floor_expr,
    ceil_expr,
    round_expr,
    literal,
    year,
    month,
    day,
    hour,
    minute,
    second,
    timezone,
    timezone_utc,
    timezone_offset,
    timezone_sign,
    timezone_hour,
    timezone_minute,
    time_literal,
    date_time_literal,
    duration_literal,
    unit_name,
    number_unit_literal,
}

Variants

EOI

End-of-input

SPACE

reserved_keyword

label

number_literal

scientific_number

decimal_number

exponent_part

type_standard

type_definition

type_import

type_custom

type_name_def

type_import_def

type_arrow_chain

boolean_literal

text_literal

percent_literal

arrow_symbol

command

command_name

command_arg

lemma_file

doc

doc_body

doc_declaration

doc_name

doc_identifier

triple_quote

commentary_block

commentary

fact_reference_segment

fact_reference

fact_definition

fact_override

fact_value

type_declaration

inline_type_definition

doc_reference

rule_name

rule_definition

rule_expression

unless_statement

veto_expression

rule_reference_segment

rule_reference

expression

and_expression

and_operand

primary

op_add

op_sub

op_mul

op_div

op_mod

op_pow

math_function

factor

power

term

base_expression

conversion_target_name

conversion_expression

duration_unit

comp_gte

comp_lte

comp_eq

comp_ne

comp_is_not

comp_gt

comp_lt

comp_is

comp_operator

simple_expression

comparison_expression

not_expr

sqrt_expr

sin_expr

cos_expr

tan_expr

asin_expr

acos_expr

atan_expr

log_expr

exp_expr

abs_expr

floor_expr

ceil_expr

round_expr

literal

year

month

day

hour

minute

second

timezone

timezone_utc

timezone_offset

timezone_sign

timezone_hour

timezone_minute

time_literal

date_time_literal

duration_literal

unit_name

number_unit_literal

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 LemmaParser

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