liquidhaskell-0.8.10.2: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Liquid

Contents

Executable command
Single query
Ghci State
Liquid Constraint Generation
Checking a single module

Synopsis

liquid :: [String] -> IO b
runLiquid :: MbEnv -> Config -> IO (ExitCode, MbEnv)
type MbEnv = Maybe HscEnv
liquidConstraints :: Config -> IO (Either [CGInfo] ExitCode)
checkTargetInfo :: TargetInfo -> IO (Output Doc)

Executable command

liquid :: [String] -> IO b Source #

Single query

runLiquid :: MbEnv -> Config -> IO (ExitCode, MbEnv) Source #

Ghci State

type MbEnv = Maybe HscEnv Source #

Liquid Constraint Generation

liquidConstraints :: Config -> IO (Either [CGInfo] ExitCode) Source #

Checking a single module

checkTargetInfo :: TargetInfo -> IO (Output Doc) Source #