[−][src]Struct nar::check::rules::clause::eqs::PatClass

pub(super) struct PatClass {
    pub(super) absurd_count: usize,
    pub(super) as_binds: Vec<AsBind>,
    pub(super) other_pats: Vec<AbsCopat>,
    pub(super) pat_vars: HashMap<DBI, Vec<UID>>,
}

Classified patterns, called LeftoverPatterns in Agda. Agda.

Fields

absurd_count: usize

Number of absurd patterns.

as_binds: Vec<AsBind>other_pats: Vec<AbsCopat>pat_vars: HashMap<DBI, Vec<UID>>

Supposed to be an IntMap.

Trait Implementations

impl Add<PatClass> for PatClass[src]

type Output = Self

The resulting type after applying the + operator.

impl Clone for PatClass[src]

impl Debug for PatClass[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, [src]

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.