Safe Haskell | None |
---|---|
Language | Haskell2010 |
Please see the README for setup and usage instructions.
Synopsis
- liquidHaskellMain :: IO ()
- liquidHaskellMainHooks :: IO ()
- liquidHaskellHooks :: UserHooks
- simpleUserHooksLH :: UserHooks
- enableLiquid :: UserHooks -> UserHooks
- runLiquidPostBuild :: UserHooks -> UserHooks
- runLiquidPostTest :: UserHooks -> UserHooks
- liquidHaskellPostBuildHook :: Args -> BuildFlags -> PackageDescription -> LocalBuildInfo -> IO ()
- liquidHaskellPostTestHook :: Args -> TestFlags -> PackageDescription -> LocalBuildInfo -> IO ()
Documentation
liquidHaskellMain :: IO () Source #
The simplest method of incorporating LiquidHaskell into a Setup.hs
file.
import LiquidHaskell.Cabal main = liquidHaskellMain
This is equivalent to:
import Distribution.Simple import LiquidHaskell.Cabal main = defaultMainWithHooks liquidHaskellHooks
liquidHaskellMainHooks :: IO () Source #
Cabal's simpleUserHooks
configured with liquidHaskellPostBuildHook
in
the postBuild
field. Can be customized with your project's own user hooks.
import Distribution.Simple import LiquidHaskell.Cabal main = liquidHaskellMainHooks
This is equivalent to:
import Distribution.Simple import LiquidHaskell.Cabal main = defaultMainWithHooks $ simpleUserHooks { postBuild = liquidHaskellPostBuildHook }
enableLiquid :: UserHooks -> UserHooks Source #
liquidHaskellPostBuildHook :: Args -> BuildFlags -> PackageDescription -> LocalBuildInfo -> IO () Source #
liquidHaskellPostTestHook :: Args -> TestFlags -> PackageDescription -> LocalBuildInfo -> IO () Source #