Agda-2.3.2.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] -> 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