Enum Mir 

pub enum Mir<S, T> {
    Empty,
    Ranges(Vec<(S, S)>),
    Concat(Vec<Self>),
    Alter(Vec<(Self, Option<T>)>),
    Kleene(Box<Self>),
}

Mid-level intermediate representation of regular expressions with symbol type S and tag type T.

Variants

Empty

The empty regular expression.

Ranges(Vec<(S, S)>)

Ranges of symbols, the ranges list can not be empty.

All ranges are closed. That is, the start and end of the range are included in the range.

Concat(Vec<Self>)

A concatenation of expressions.

Alter(Vec<(Self, Option<T>)>)

An alternation of expressions and their tags.

An alternation matches only if at least one of its sub-expressions match. If multiple sub-expressions match, then the leftmost is preferred.

Kleene(Box<Self>)

A kleene closure of an expression.

Implementations

impl<S, T> Mir<S, T>

pub fn new(hir: Hir) -> Result<Self, Error>

where Self: MirBuilder,

Creates a new MIR from the given Hir.

impl<S, T> Mir<S, T>

where S: Hash + Eq + Clone + Ord + SymbolOp, T: Hash + Eq + Clone,

pub fn optimize(self) -> Result<Self, Error>

Optimizes the current MIR into a new one.

Trait Implementations

impl<S: Clone, T: Clone> Clone for Mir<S, T>

fn clone(&self) -> Mir<S, T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug, T: Debug> Debug for Mir<S, T>

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

Formats the value using the given formatter.

impl<S, T> From<Mir<S, T>> for NFA<S, T>

where S: Eq + Hash,

fn from(mir: Mir<S, T>) -> Self

Converts to this type from the input type.

impl<S: Hash, T: Hash> Hash for Mir<S, T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T> MirBuilder for Mir<char, T>

fn new_from_literal(Literal: Literal) -> Result<Self, Error>

Creates a new MIR from the given Literal.

fn new_from_class(c: Class) -> Result<Self, Error>

Creates a new MIR from the given Class.

impl<T> MirBuilder for Mir<u8, T>

fn new_from_literal(Literal: Literal) -> Result<Self, Error>

Creates a new MIR from the given Literal.

fn new_from_class(c: Class) -> Result<Self, Error>

Creates a new MIR from the given Class.

impl<S: PartialEq, T: PartialEq> PartialEq for Mir<S, T>

fn eq(&self, other: &Mir<S, T>) -> bool

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

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<S, T> TryFrom<Hir> for Mir<S, T>

where Self: MirBuilder,

type Error = Error

The type returned in the event of a conversion error.

fn try_from(hir: Hir) -> Result<Self, Self::Error>

Performs the conversion.

impl<S: Eq, T: Eq> Eq for Mir<S, T>

impl<S, T> StructuralPartialEq for Mir<S, T>