LambdaCube.Compiler.Patterns

data ParseCheck

type PatList

type ConsInfo

type Pat

data Pat_ c

type ParPat

data ParPat_ c

pBuiltin

cTrue

cZero

cNil

cHNil

cList

cHList

cSucc

cCons

cHCons

mapP

mapPP

upPats

class PatVars a

patVars

type PMC

type CasePath

runPMC

data Lets a

lLet

foldLets

mapLets

data GuardTree

type GuardTrees

noGuards

mapGT

mapGTs

guardNode

guardNode'

buildNode

compilePatts

compileGuardTree

compileGuardTrees

compileGuardTrees'

compileCase

patLam