liquidhaskell-0.8.0.2: Liquid Types for Haskell
Language.Haskell.Liquid.Liquid
Contents
Synopsis
liquid :: [String] -> IO b Source #
runLiquid :: MbEnv -> Config -> IO (ExitCode, MbEnv) Source #
This fellow does the real work
type MbEnv = Maybe HscEnv Source #
Methods
showsPrec :: Int -> Cinfo -> ShowS #
show :: Cinfo -> String #
showList :: [Cinfo] -> ShowS #