Safe Haskell | None |
---|
- type :-> key value = Map key value
- data WithArity c = WithArity {}
- data Case c = Branches {
- conBranches :: QName :-> WithArity c
- litBranches :: Literal :-> c
- catchAllBranch :: Maybe c
- data CompiledClauses
- emptyBranches :: Case c
- litCase :: Literal -> c -> Case c
- conCase :: QName -> WithArity c -> Case c
- catchAll :: c -> Case c
- prettyMap :: (Show k, Pretty v) => (k :-> v) -> [Doc]
Documentation
Functor WithArity | |
Typeable1 WithArity | |
Foldable WithArity | |
Traversable WithArity | |
Monoid c => Monoid (WithArity c) | |
Pretty a => Pretty (WithArity a) | |
KillRange c => KillRange (WithArity c) | |
Abstract a => Abstract (WithArity a) | |
Apply a => Apply (WithArity a) | |
InstantiateFull a => InstantiateFull (WithArity a) | |
EmbPrj a => EmbPrj (WithArity a) |
Branches in a case tree.
Branches | |
|
Functor Case | |
Typeable1 Case | |
Foldable Case | |
Traversable Case | |
Pretty a => Show (Case a) | |
Monoid m => Monoid (Case m) | |
Pretty a => Pretty (Case a) | |
KillRange c => KillRange (Case c) | |
Abstract a => Abstract (Case a) | |
Apply a => Apply (Case a) | |
InstantiateFull a => InstantiateFull (Case a) | |
EmbPrj a => EmbPrj (Case a) |
data CompiledClauses Source
Case tree with bodies.
Case Int (Case CompiledClauses) |
|
Done [Arg String] Term |
|
Fail | Absurd case. |
Show CompiledClauses | |
Typeable CompiledClauses | |
Pretty CompiledClauses | |
KillRange CompiledClauses | |
Abstract CompiledClauses | |
Apply CompiledClauses | |
DropArgs CompiledClauses | To drop the first |
InstantiateFull CompiledClauses | |
EmbPrj CompiledClauses |
emptyBranches :: Case cSource