Safe Haskell | None |
---|---|
Language | Haskell98 |
Remove forced arguments from constructors.
- makeForcedArgs :: Type -> ForcedArgs
- forceConstrs :: [Fun] -> Compile TCM [Fun]
- forceFun :: Fun -> Compile TCM Fun
Safe Haskell | None |
---|---|
Language | Haskell98 |
Remove forced arguments from constructors.