Agda.Compiler.Epic.ForceConstrs
Description
Remove forced arguments from constructors.
- makeForcedArgs :: Type -> ForcedArgs
- forceConstrs :: [Fun] -> Compile TCM [Fun]
- forceFun :: Fun -> Compile TCM Fun
Documentation
makeForcedArgs :: Type -> ForcedArgs
Check which arguments are forced
forceConstrs :: [Fun] -> Compile TCM [Fun]
Remove forced arguments from constructors and branches