Rule

Enum Rule 

Source
pub enum Rule {
Show 129 variants EOI, WHITESPACE, COMMENT, lparen, rparen, lbrace, rbrace, lbracket, rbracket, comma, dot, colon, equal, bang, at, arrow, integer, float, hex_seq, string_lit, source_loc, ident, name, qualified_name, value_ref, block_ref, stack_slot, dyn_stack_slot, dyn_type, global_value, mem_type, constant, func_ref, sig_ref, user_ref, user_name_ref, base_name, member_access, cast_args, callable_expr, exception_table, exception_tag, try_ret, try_exn, storage_slot, mapping_ref, context_var, event_ref, position_marker, visual_cue, visual_cue_ascii, visual_marker, analysis_comment, ty_int, ty_bytes_fixed, ty_scalar, ty_vector, ty_array, ty_base, ty, ty_mapping, ty_simple, immediate, value, test_directive, target_spec, module, contract_def, contract_body, storage_layout, storage_slot_decl, param, param_list, return_type, signature, function, visibility_modifier, mutability_modifier, entity_gv, entity_fn, entity_sig, entity_ss, entity_dss, entity_const, entity_decl, block_param, block_param_list, block_params, block_label, block, result, result_list, mem_operand, block_arg, operand, inline_const, operand_list, mem_flag, mem_flags, ty_suffix, inst_annot, opcode_binop, opcode_cmp, opcode_load, opcode_store, opcode_branch, opcode_call, opcode_convert, opcode_vector, opcode_thalir, opcode_other, opcode, cmp_cond, fcmp_cond, inst_binop, inst_cmp, inst_fcmp, inst_load, inst_store, inst_brif, inst_jump, inst_return, call_modifier, arg_list_call, inst_call, inst_convert, inst_generic, expr_tail, instruction,
}

Variants§

§

EOI

End-of-input

§

WHITESPACE

§

COMMENT

§

lparen

§

rparen

§

lbrace

§

rbrace

§

lbracket

§

rbracket

§

comma

§

dot

§

colon

§

equal

§

bang

§

at

§

arrow

§

integer

§

float

§

hex_seq

§

string_lit

§

source_loc

§

ident

§

name

§

qualified_name

§

value_ref

§

block_ref

§

stack_slot

§

dyn_stack_slot

§

dyn_type

§

global_value

§

mem_type

§

constant

§

func_ref

§

sig_ref

§

user_ref

§

user_name_ref

§

base_name

§

member_access

§

cast_args

§

callable_expr

§

exception_table

§

exception_tag

§

try_ret

§

try_exn

§

storage_slot

§

mapping_ref

§

context_var

§

event_ref

§

position_marker

§

visual_cue

§

visual_cue_ascii

§

visual_marker

§

analysis_comment

§

ty_int

§

ty_bytes_fixed

§

ty_scalar

§

ty_vector

§

ty_array

§

ty_base

§

ty

§

ty_mapping

§

ty_simple

§

immediate

§

value

§

test_directive

§

target_spec

§

module

§

contract_def

§

contract_body

§

storage_layout

§

storage_slot_decl

§

param

§

param_list

§

return_type

§

signature

§

function

§

visibility_modifier

§

mutability_modifier

§

entity_gv

§

entity_fn

§

entity_sig

§

entity_ss

§

entity_dss

§

entity_const

§

entity_decl

§

block_param

§

block_param_list

§

block_params

§

block_label

§

block

§

result

§

result_list

§

mem_operand

§

block_arg

§

operand

§

inline_const

§

operand_list

§

mem_flag

§

mem_flags

§

ty_suffix

§

inst_annot

§

opcode_binop

§

opcode_cmp

§

opcode_load

§

opcode_store

§

opcode_branch

§

opcode_call

§

opcode_convert

§

opcode_vector

§

opcode_thalir

§

opcode_other

§

opcode

§

cmp_cond

§

fcmp_cond

§

inst_binop

§

inst_cmp

§

inst_fcmp

§

inst_load

§

inst_store

§

inst_brif

§

inst_jump

§

inst_return

§

call_modifier

§

arg_list_call

§

inst_call

§

inst_convert

§

inst_generic

§

expr_tail

§

instruction

Implementations§

Source§

impl Rule

Source

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

Trait Implementations§

Source§

impl Clone for Rule

Source§

fn clone(&self) -> Rule

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Rule

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Hash for Rule

Source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Ord for Rule

Source§

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

This method returns an Ordering between self and other. Read more
1.21.0 · Source§

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

Compares and returns the maximum of two values. Read more
1.21.0 · Source§

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

Compares and returns the minimum of two values. Read more
1.50.0 · Source§

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

Restrict a value to a certain interval. Read more
Source§

impl Parser<Rule> for ThalirParser

Source§

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

Parses a &str starting from rule.
Source§

impl PartialEq for Rule

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl PartialOrd for Rule

Source§

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

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · Source§

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

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · Source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · Source§

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

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · Source§

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

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

impl Copy for Rule

Source§

impl Eq for Rule

Source§

impl StructuralPartialEq for Rule

Auto Trait Implementations§

§

impl Freeze for Rule

§

impl RefUnwindSafe for Rule

§

impl Send for Rule

§

impl Sync for Rule

§

impl Unpin for Rule

§

impl UnwindSafe for Rule

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> RuleType for T
where T: Copy + Debug + Eq + Hash + Ord,