Enum Ctor 

#[non_exhaustive]
pub enum Ctor {
    Wild,
    Other,
    Variant(u32),
    Product,
    Bool(bool),
    Int {
        lo: i128,
        hi: i128,
    },
    Char {
        lo: char,
        hi: char,
    },
    Lit(u64),
    Slice {
        len: u32,
    },
    SliceRest {
        prefix: u32,
        suffix: u32,
    },
}

The constructor at one node of a Witness.

Examples

use match_lang::Ctor;

let gap = Ctor::Int { lo: 10, hi: 255 };
assert_ne!(gap, Ctor::Wild);

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Wild

_: any value of the type.

Other

A value no pattern can name: an opaque literal that no arm mentions, or a BigInt outside the i128 range. Printed as _.

Variant(u32)

Variant index of a sum type.

Product

The constructor of a product type.

Bool(bool)

A boolean.

Int

Any integer in lo..=hi.

Fields

lo: i128

The low end, inclusive.

hi: i128

The high end, inclusive.

Char

Any character in lo..=hi.

Fields

lo: char

The low end, inclusive.

hi: char

The high end, inclusive.

Lit(u64)

An opaque literal, by id.

Slice

A sequence of exactly len elements; the fields are the elements.

Fields

len: u32

The number of elements.

SliceRest

A sequence of at least prefix + suffix elements; the fields are the first prefix and the last suffix elements.

Fields

prefix: u32

The number of leading elements.

suffix: u32

The number of trailing elements.

Trait Implementations

impl Clone for Ctor

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 Ctor

impl Debug for Ctor

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

Formats the value using the given formatter.

impl Eq for Ctor

impl Hash for Ctor

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 Ctor

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Ctor