Safe Haskell | Safe-Inferred |
---|
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 nSource
Elaborate witnesses in a module.
elaborateX :: Eq n => Exp a n -> Exp a nSource
Elaborate witnesses in an expression.