Enum satysfi_parser::Rule
source · [−]pub enum Rule {
Show 124 variants
misc,
program_saty,
program_satyh,
preamble,
stage,
headers,
header_require,
header_import,
pkgname,
let_stmt,
let_rec_stmt,
let_rec_inner,
let_rec_matcharm,
let_inline_stmt_ctx,
let_inline_stmt_noctx,
let_block_stmt_ctx,
let_block_stmt_noctx,
let_math_stmt,
let_mutable_stmt,
type_stmt,
type_inner,
type_variant,
module_stmt,
open_stmt,
arg,
sig_stmt,
struct_stmt,
sig_type_stmt,
sig_val_stmt,
sig_direct_stmt,
type_expr,
type_optional,
type_prod,
type_inline_cmd,
type_block_cmd,
type_math_cmd,
type_list_unit_optional,
type_application,
type_name,
type_record,
type_record_unit,
type_param,
constraint,
pat_as,
pat_cons,
pattern,
pat_variant,
pat_list,
pat_tuple,
expr,
match_expr,
match_arm,
match_guard,
bind_stmt,
ctrl_while,
ctrl_if,
lambda,
assignment,
dyadic_expr,
unary_operator_expr,
unary_operator,
application,
application_args_normal,
application_args_optional,
command_application,
variant_constructor,
unary,
unary_prefix,
block_text,
horizontal_text,
math_text,
list,
record,
record_unit,
tuple,
bin_operator,
expr_with_mod,
var,
var_ptn,
modvar,
mod_cmd_name,
module_name,
variant_name,
cmd_name_ptn,
cmd_expr_arg,
cmd_expr_option,
cmd_text_arg,
inline_cmd,
inline_cmd_name,
block_cmd,
block_cmd_name,
math_cmd,
math_cmd_name,
math_cmd_expr_arg,
math_cmd_expr_option,
horizontal_single,
horizontal_list,
horizontal_bullet_list,
horizontal_bullet,
horizontal_bullet_star,
regular_text,
horizontal_escaped_char,
inline_text_embedding,
vertical,
block_text_embedding,
const_unit,
const_bool,
const_int,
const_float,
const_length,
const_string,
math_single,
math_list,
math_token,
math_sup,
math_sub,
math_unary,
math_embedding,
dummy_header,
dummy_sig_stmt,
dummy_stmt,
dummy_inline_cmd_incomplete,
dummy_block_cmd_incomplete,
dummy_modvar_incomplete,
}
Variants
misc
program_saty
program_satyh
preamble
stage
headers
header_require
header_import
pkgname
let_stmt
let_rec_stmt
let_rec_inner
let_rec_matcharm
let_inline_stmt_ctx
let_inline_stmt_noctx
let_block_stmt_ctx
let_block_stmt_noctx
let_math_stmt
let_mutable_stmt
type_stmt
type_inner
type_variant
module_stmt
open_stmt
arg
sig_stmt
struct_stmt
sig_type_stmt
sig_val_stmt
sig_direct_stmt
type_expr
type_optional
type_prod
type_inline_cmd
type_block_cmd
type_math_cmd
type_list_unit_optional
type_application
type_name
type_record
type_record_unit
type_param
constraint
pat_as
pat_cons
pattern
pat_variant
pat_list
pat_tuple
expr
match_expr
match_arm
match_guard
bind_stmt
ctrl_while
ctrl_if
lambda
assignment
dyadic_expr
unary_operator_expr
unary_operator
application
application_args_normal
application_args_optional
command_application
variant_constructor
unary
unary_prefix
block_text
horizontal_text
math_text
list
record
record_unit
tuple
bin_operator
expr_with_mod
var
var_ptn
modvar
mod_cmd_name
module_name
variant_name
cmd_name_ptn
cmd_expr_arg
cmd_expr_option
cmd_text_arg
inline_cmd
inline_cmd_name
block_cmd
block_cmd_name
math_cmd
math_cmd_name
math_cmd_expr_arg
math_cmd_expr_option
horizontal_single
horizontal_list
horizontal_bullet_list
horizontal_bullet
horizontal_bullet_star
regular_text
horizontal_escaped_char
inline_text_embedding
vertical
block_text_embedding
const_unit
const_bool
const_int
const_float
const_length
const_string
math_single
math_list
math_token
math_sup
math_sub
math_unary
math_embedding
dummy_header
dummy_sig_stmt
dummy_stmt
dummy_inline_cmd_incomplete
dummy_block_cmd_incomplete
dummy_modvar_incomplete
Implementations
Trait Implementations
impl Copy for Rule
impl Eq for Rule
impl StructuralEq for Rule
impl StructuralPartialEq for Rule
Auto Trait Implementations
impl RefUnwindSafe for Rule
impl Send for Rule
impl Sync for Rule
impl Unpin for Rule
impl UnwindSafe for Rule
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcefn clone_into(&self, target: &mut T)
fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into
)Uses borrowed data to replace owned data, usually by cloning. Read more