LiquidHaskell.Cabal

Please see the README for setup and usage instructions.

Documentation

liquidHaskellMain :: IO ()

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 ()

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 }

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 ()