Agda-2.4.0: A dependently typed functional programming language and proof assistant
Agda.Compiler.JS.Case
data Case Source
Constructors
Fields
Instances
data Patt Source
data Tag Source
numVars :: [Patt] -> NatSource
numVars' :: Patt -> NatSource
lambda :: [Case] -> ExpSource
lambda' :: Nat -> Nat -> Nat -> [Case] -> ExpSource
pop :: Case -> CaseSource
match :: Nat -> Nat -> Nat -> [Case] -> MemberId -> Nat -> ExpSource
refine :: MemberId -> Nat -> Case -> [Case]Source
visit :: [Case] -> Exp -> [Exp] -> ExpSource
tags :: [Case] -> Map MemberId NatSource
tag :: Case -> Map MemberId NatSource