| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.ANFTransform
Documentation
anormalize :: Bool -> HscEnv -> MGIModGuts -> IO [CoreBind] Source
liquidhaskell-0.5.0.1: Liquid Types for Haskell
| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.ANFTransform
anormalize :: Bool -> HscEnv -> MGIModGuts -> IO [CoreBind] Source