Safe Haskell | None |
---|
Documentation
Branches | |
|
data CompiledClauses Source
Case Int (Case CompiledClauses) |
|
Done [Arg String] Term |
|
Fail | Absurd case. |
Show CompiledClauses | |
Typeable CompiledClauses | |
Pretty CompiledClauses | |
Abstract CompiledClauses | |
Apply CompiledClauses | |
DropArgs CompiledClauses | To drop the first |
InstantiateFull CompiledClauses | |
EmbPrj CompiledClauses |
emptyBranches :: Case cSource