Struct IdrisPatternBuilder 

pub struct IdrisPatternBuilder;

Fluent helper for building Idris 2 patterns.

Implementations

impl IdrisPatternBuilder

pub fn con(name: impl Into<String>, args: Vec<IdrisPattern>) -> IdrisPattern

Build a constructor pattern Con p1 p2 p3.

pub fn var(name: impl Into<String>) -> IdrisPattern

Build a variable binding pattern.

pub fn wildcard() -> IdrisPattern

Build a wildcard pattern _.

pub fn lit(l: IdrisLiteral) -> IdrisPattern

Build a literal pattern.

pub fn tuple(pats: Vec<IdrisPattern>) -> IdrisPattern

Build a tuple pattern (p1, p2).

pub fn as_pat(name: impl Into<String>, pat: IdrisPattern) -> IdrisPattern

Build an as pattern pat@name.