Enum DispatchRegion 

pub enum DispatchRegion {
    Body(NormalFormId),
    Conjunctive(NormalFormId),
}

One region body of a NormalFormKind::OrderedDispatch table.

Variants

Body(NormalFormId)

The region’s value is this origin arm body.

Conjunctive(NormalFormId)

A conjunctive nest: a Piecewise over the residual arms of one key. Its arm bodies are origin arm bodies, and its winner is decided by the same scan as the origin Piecewise.

Implementations

impl DispatchRegion

pub fn cell(self) -> NormalFormId

Trait Implementations

impl Clone for DispatchRegion

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DispatchRegion

impl Debug for DispatchRegion

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

Formats the value using the given formatter.

impl Eq for DispatchRegion

impl Hash for DispatchRegion

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 PartialEq for DispatchRegion

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DispatchRegion