Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda.Compiler.Epic.ForceConstrs
Description
Remove forced arguments from constructors.
- makeForcedArgs :: Type -> ForcedArgs
- forceConstrs :: [Fun] -> Compile TCM [Fun]
- forceFun :: Fun -> Compile TCM Fun
Agda-2.4.0.2: A dependently typed functional programming language and proof assistant
Safe Haskell | None |
---|---|
Language | Haskell98 |
Agda.Compiler.Epic.ForceConstrs
Description
Remove forced arguments from constructors.