Enum IdrisPattern 

pub enum IdrisPattern {
    Wildcard,
    Var(String),
    Con(String, Vec<IdrisPattern>),
    Lit(IdrisLiteral),
    Tuple(Vec<IdrisPattern>),
    Nil,
    Cons(Box<IdrisPattern>, Box<IdrisPattern>),
    As(String, Box<IdrisPattern>),
    Implicit(Box<IdrisPattern>),
    Dot(Box<IdrisExpr>),
}

A pattern in an Idris 2 function clause.

Variants

Wildcard

Wildcard _.

Var(String)

Variable x.

Con(String, Vec<IdrisPattern>)

Constructor application Ctor p1 p2.

Lit(IdrisLiteral)

Literal pattern.

Tuple(Vec<IdrisPattern>)

Tuple pattern (p1, p2).

Nil

Nil [].

Cons(Box<IdrisPattern>, Box<IdrisPattern>)

Cons x :: xs.

As(String, Box<IdrisPattern>)

As-pattern n@p.

Implicit(Box<IdrisPattern>)

Implicit argument pattern {p}.

Dot(Box<IdrisExpr>)

Inaccessible (dot) pattern .t.

Trait Implementations

impl Clone for IdrisPattern

fn clone(&self) -> IdrisPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdrisPattern

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

Formats the value using the given formatter.

impl Display for IdrisPattern

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

Formats the value using the given formatter.

impl PartialEq for IdrisPattern

fn eq(&self, other: &IdrisPattern) -> 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 StructuralPartialEq for IdrisPattern