Copyright | (c) 2009 Holger Siegel |
---|---|
License | BSD-3-clause |
Maintainer | bjp@informatik.uni-kiel.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Curry.ExtendedFlat.LiftLetrec
Description
Turn recursive data declarations into recursive function calls.
Only single recursive declarations are transformed, mutually recursive declarations are left unchanged. You should therefore use the transformation UnMutual first.
- liftLetrecProg :: Prog -> Prog
Documentation
liftLetrecProg :: Prog -> Prog Source #
Convert recursive data declarations into recursive function calls