Enum regex_syntax::ast::visitor::ClassInduct

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

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§

Trait Implementations§

source§

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

source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

§

impl<'a> Freeze for ClassInduct<'a>

§

impl<'a> RefUnwindSafe for ClassInduct<'a>

§

impl<'a> Send for ClassInduct<'a>

§

impl<'a> Sync for ClassInduct<'a>

§

impl<'a> Unpin for ClassInduct<'a>

§

impl<'a> UnwindSafe for ClassInduct<'a>

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> 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, 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.