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.