Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Add possible Const and Distinct witnesses that aren't otherwise in the program.
- elaborateModule :: Eq n => Module a n -> Module a n
- elaborateX :: Eq n => Exp a n -> Exp a n
Documentation
elaborateModule :: Eq n => Module a n -> Module a n Source
Elaborate witnesses in a module.
elaborateX :: Eq n => Exp a n -> Exp a n Source
Elaborate witnesses in an expression.