Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.Compiler.JS.Case

Documentation

data Case Source

Constructors

Case 

Fields

pats :: [Patt]
 
body :: Exp
 

Instances

data Patt Source

Constructors

VarPatt 
Tagged Tag [Patt] 

Instances

data Tag Source

Constructors

Tag MemberId [MemberId] (Exp -> [Exp] -> Exp) 

Instances

lambda' :: Nat -> Nat -> Nat -> [Case] -> ExpSource

match :: Nat -> Nat -> Nat -> [Case] -> MemberId -> Nat -> ExpSource

visit :: [Case] -> Exp -> [Exp] -> ExpSource