Language.Haskell.Liquid.CmdLine

Get Command Line Configuration

getOpts

mkOpts

Update Configuration With Pragma

withPragmas

withCabal

Exit Function

exitWithResult

Diff check mode

diffcheck