Enum marlowe_lang::parsing::Rule

pub enum Rule {
    EOI,
    WHITESPACE,
    comma,
    lpar,
    rpar,
    lbra,
    rbra,
    Number,
    quoted_string,
    string,
    str_char,
    Timeout,
    TimeConstant,
    TimeInterval,
    TimeParam,
    Token,
    ADA,
    Currency,
    ChoiceId,
    Value,
    TimeIntervalStart,
    TimeIntervalEnd,
    Cond,
    ChoiceValue,
    MulValue,
    DivValue,
    SubValue,
    AddValue,
    NegValue,
    UseValue,
    Constant,
    ConstantParam,
    AvailableMoney,
    Observation,
    ValueEQ,
    ValueLE,
    ValueLT,
    ValueGT,
    ValueGE,
    TrueObs,
    FalseObs,
    ChoseSomething,
    NotObs,
    OrObs,
    AndObs,
    Action,
    Deposit,
    Choice,
    Notify,
    PossiblyMerkleizedContract,
    NonMerkleizedContract,
    MerkleizedContract,
    Case,
    Bound,
    Payee,
    PayeeAccount,
    PayeeParty,
    Party,
    FromParty,
    Role,
    Address,
    Account,
    MainContract,
    ValueId,
    Contract,
    When,
    Pay,
    If,
    Let,
    Assert,
    Close,
    WrappedContract,
    ArrayOfCases,
    ArrayOfBounds,
    Hole,
    PartyHole,
    FromPartyHole,
    ContractHole,
    PayeeHole,
    ValueHole,
    ObservationHole,
    TimeoutHole,
    TokenHole,
    BoundHole,
    RoleHole,
    CaseHole,
    ActionHole,
    AccountHole,
}

Variants

EOI

WHITESPACE

comma

lpar

rpar

lbra

rbra

Number

quoted_string

string

str_char

Timeout

TimeConstant

TimeInterval

TimeParam

Token

ADA

Currency

ChoiceId

Value

TimeIntervalStart

TimeIntervalEnd

Cond

ChoiceValue

MulValue

DivValue

SubValue

AddValue

NegValue

UseValue

Constant

ConstantParam

AvailableMoney

Observation

ValueEQ

ValueLE

ValueLT

ValueGT

ValueGE

TrueObs

FalseObs

ChoseSomething

NotObs

OrObs

AndObs

Action

Deposit

Choice

Notify

PossiblyMerkleizedContract

NonMerkleizedContract

MerkleizedContract

Case

Bound

Payee

PayeeAccount

PayeeParty

Party

FromParty

Role

Address

Account

MainContract

ValueId

Contract

When

Pay

If

Let

Assert

Close

WrappedContract

ArrayOfCases

ArrayOfBounds

Hole

PartyHole

FromPartyHole

ContractHole

PayeeHole

ValueHole

ObservationHole

TimeoutHole

TokenHole

BoundHole

RoleHole

CaseHole

ActionHole

AccountHole

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a copy 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) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

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

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl Parser<Rule> for MarloweParser

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

Parses a &str starting from rule.

impl PartialEq<Rule> for Rule

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd<Rule> 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

This method tests less than (for self and other) and is used by the < operator.

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

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

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method 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 StructuralEq for Rule

impl StructuralPartialEq for Rule