Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Transforms.InlineAux
Documentation
inlineAux :: Config -> Module -> CoreProgram -> CoreProgram Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Transforms.InlineAux
inlineAux :: Config -> Module -> CoreProgram -> CoreProgram Source #