- type :-> key value = Map key value
- data Case c = Branches {
- conBranches :: QName :-> c
- litBranches :: Literal :-> c
- catchAllBranch :: Maybe c
- data CompiledClauses
- compileClauses :: [Clauses] -> CompiledClauses
- type Cl = ([Arg Pattern], ClauseBody)
- type Cls = [Cl]
- compile :: Cls -> CompiledClauses
- nextSplit :: Cls -> Maybe Int
- splitOn :: Int -> Cls -> Case Cls
- splitC :: Int -> Cl -> Case Cl
Documentation
Branches | |
|
data CompiledClauses Source
compileClauses :: [Clauses] -> CompiledClausesSource
Note that it is the translated clauses which are compiled, not the original ones.
type Cl = ([Arg Pattern], ClauseBody)Source
compile :: Cls -> CompiledClausesSource