Agda.Compiler.JS.Case

Documentation

data Case

Constructors

Case

Fields

• pats :: [Patt]
• body :: Exp

Instances

Show Case

Methods

showsPrec :: Int -> Case -> ShowS

show :: Case -> String

showList :: [Case] -> ShowS

Pretty Case

Methods

pretty :: Nat -> Int -> Case -> String

data Patt

Constructors

VarPatt

Tagged Tag [Patt]

Instances

Show Patt

Methods

showsPrec :: Int -> Patt -> ShowS

show :: Patt -> String

showList :: [Patt] -> ShowS

Pretty Patt

Methods

pretty :: Nat -> Int -> Patt -> String

data Tag

Constructors

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

Instances

Show Tag

Methods

showsPrec :: Int -> Tag -> ShowS

show :: Tag -> String

showList :: [Tag] -> ShowS

numVars :: [Patt] -> Nat

numVars' :: Patt -> Nat

lambda :: [Case] -> Exp

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

pop :: Case -> Case

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

refine :: MemberId -> Nat -> Case -> [Case]

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

tags :: [Case] -> Map MemberId Nat

tag :: Case -> Map MemberId Nat