Struct ExprGroup

pub struct ExprGroup<E: InnerExpr> { /* private fields */ }

Action with Expr of type either Process, Initial or Err.

Implementations

impl ExprGroup<ActionExpr>

pub fn new(expr: ActionExpr, action: ActionGroup) -> Self

Creates new ExprGroup<ActionExpr> with given expr and config.

pub fn expr(&self) -> &ActionExpr

Returns inner expression.

pub fn move_type(&self) -> &MoveType

Returns MoveType of inner expr.

pub fn application_type(&self) -> &ApplicationType

Returns ApplicationType of inner expr.

pub fn parse_empty_unit<ResultExpr: Into<ActionExpr> + Clone + Debug>( result_expr: ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

pub fn parse_single_unit<P: Parse + Clone + Debug, ResultExpr: Into<ActionExpr> + Clone + Debug>( into_expr: impl FnOnce([P; 1]) -> ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

pub fn parse_single_or_empty_unit<P: Parse + Clone + Debug, ResultExpr: Into<ActionExpr> + Clone + Debug>( into_expr: impl FnOnce(Option<[P; 1]>) -> ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

pub fn parse_double_unit<P: Parse + Clone + Debug, ResultExpr: Into<ActionExpr> + Clone + Debug>( into_expr: impl FnOnce([P; 2]) -> ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

pub fn parse_double_or_empty_unit<P: Parse + Clone + Debug, ResultExpr: Into<ActionExpr> + Clone + Debug>( into_expr: impl FnOnce(Option<[P; 2]>) -> ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

pub fn parse_triple_unit<P: Parse + Clone + Debug, ResultExpr: Into<ActionExpr> + Clone + Debug>( into_expr: impl FnOnce([P; 3]) -> ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

pub fn parse_triple_or_empty_unit<P: Parse + Clone + Debug, ResultExpr: Into<ActionExpr> + Clone + Debug>( into_expr: impl FnOnce(Option<[P; 3]>) -> ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

pub fn parse_quatro_unit<P: Parse + Clone + Debug, ResultExpr: Into<ActionExpr> + Clone + Debug>( into_expr: impl FnOnce([P; 4]) -> ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

pub fn parse_quatro_or_empty_unit<P: Parse + Clone + Debug, ResultExpr: Into<ActionExpr> + Clone + Debug>( into_expr: impl FnOnce(Option<[P; 4]>) -> ResultExpr, unit_parser: &impl ParseUnit<ActionGroup>, action_group: &ActionGroup, input: ParseStream<'_>, ) -> UnitResult<ExprGroup<ActionExpr>, ActionGroup>

Trait Implementations

impl<E: Clone + InnerExpr> Clone for ExprGroup<E>

fn clone(&self) -> ExprGroup<E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<E: Debug + InnerExpr> Debug for ExprGroup<E>

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

Formats the value using the given formatter.

impl<E: InnerExpr> InnerExpr for ExprGroup<E>

fn replace_inner_exprs(self, exprs: &[Expr]) -> Option<Self>

Replaces current expr by given Expr if it’s possible, returning Some(Self) with given Expr(s), otherwise returns None.

fn inner_exprs(&self) -> Option<&[Expr]>

Extracts Expr(s) from given value if applicable.

fn is_replaceable(&self) -> bool

Checks if expr can be replaced.

impl<E: PartialEq + InnerExpr> PartialEq for ExprGroup<E>

fn eq(&self, other: &ExprGroup<E>) -> bool

Tests for self and other values to be equal, and is used by ==.

const 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<E: Eq + InnerExpr> Eq for ExprGroup<E>

impl<E: InnerExpr> StructuralPartialEq for ExprGroup<E>