Agda-2.4.0.2: 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] -> Nat Source
numVars' :: Patt -> Nat Source
lambda :: [Case] -> Exp Source
lambda' :: Nat -> Nat -> Nat -> [Case] -> Exp Source
pop :: Case -> Case Source
match :: Nat -> Nat -> Nat -> [Case] -> MemberId -> Nat -> Exp Source
refine :: MemberId -> Nat -> Case -> [Case] Source
visit :: [Case] -> Exp -> [Exp] -> Exp Source
tags :: [Case] -> Map MemberId Nat Source
tag :: Case -> Map MemberId Nat Source