Language.Haskell.Liquid.Cabal

This module provides a drop-in replacement for Cabal's defaultMain, to be used inside hs modules of packages that wants to use the "dev mode". For more information, visit the documentation, especially the "Developers' guide".

Documentation

liquidHaskellMain :: IO ()