Type Alias PatternR 

pub type PatternR<S> = Spanned<S, PatternRInner<S>>;

Raw syntax pattern with text span. Represents a list of tensored patterns composed together.

Aliased Type

pub struct PatternR<S> {
    pub inner: PatternRInner<S>,
    pub span: S,
}

Fields

inner: PatternRInner<S>

Wrapped data

span: S

Text span

Implementations

impl<S: Span> PatternR<S>

pub fn check(&self, env: &Env) -> Result<PatternT, TypeCheckError<S>>

Typecheck a raw pattern in given environment