Enum DecisionTree 

pub enum DecisionTree {
    Leaf {
        arm_idx: usize,
        bindings: Vec<(Name, Expr)>,
    },
    Switch {
        scrutinee: Expr,
        branches: Vec<(Name, Vec<Name>, DecisionTree)>,
        default: Option<Box<DecisionTree>>,
    },
    Failure,
}

A decision tree node.

Variants

Leaf

Leaf: execute this arm’s RHS

Fields

arm_idx: usize

Index of the original arm

bindings: Vec<(Name, Expr)>

Bindings from pattern variables

Switch

Switch on a variable by constructor

Fields

scrutinee: Expr

The scrutinee variable

branches: Vec<(Name, Vec<Name>, DecisionTree)>

One branch per constructor

default: Option<Box<DecisionTree>>

Default branch (if not all constructors are listed)

Failure

Failure: no match (should not occur in well-typed code)

Trait Implementations

impl Clone for DecisionTree

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DecisionTree

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

Formats the value using the given formatter.