Enum ClassInduct 

enum ClassInduct<'a> {
    Item(&'a ClassSetItem),
    BinaryOp(&'a ClassSetBinaryOp),
}

A representation of the inductive step when performing structural induction over a character class.

Note that there is no analogous explicit type for the inductive step for Ast nodes because the inductive step is just an Ast. For character classes, the inductive step can produce one of two possible child nodes: an item or a binary operation. (An item cannot be a binary operation because that would imply binary operations can be unioned in the concrete syntax, which is not possible.)

Variants

Item(&'a ClassSetItem)

BinaryOp(&'a ClassSetBinaryOp)

Implementations

impl<'a> ClassInduct<'a>

fn from_bracketed(ast: &'a ClassBracketed) -> ClassInduct<'a>

fn from_set(ast: &'a ClassSet) -> ClassInduct<'a>

Trait Implementations

impl<'a> Debug for ClassInduct<'a>

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

Formats the value using the given formatter.