Language.Haskell.Liquid.Liquid
Contents
liquid :: [String] -> IO b Source #
runLiquid :: MbEnv -> Config -> IO (ExitCode, MbEnv) Source #
type MbEnv = Maybe HscEnv Source #
liquidConstraints :: Config -> IO (Either [CGInfo] ExitCode) Source #
checkTargetInfo :: TargetInfo -> IO (Output Doc) Source #