Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
lambdasModule :: (Show a, Pretty a, Show n, Pretty n, Ord n, CompoundName n) => Profile n -> Module a n -> S (Module a n) Source #
Perform lambda lifting in a module.
Safe Haskell | None |
---|---|
Language | Haskell98 |
lambdasModule :: (Show a, Pretty a, Show n, Pretty n, Ord n, CompoundName n) => Profile n -> Module a n -> S (Module a n) Source #
Perform lambda lifting in a module.