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