Language.Haskell.Liquid.UX.CmdLine

Get Command Line Configuration

getOpts

mkOpts

defConfig

Update Configuration With Pragma

withPragmas

Canonicalize Paths in Config

canonicalizePaths

Exit Function

exitWithResult

addErrors

Diff check mode

diffcheck