Language.Haskell.Liquid.UX.CmdLine

Get Command Line Configuration

getOpts

mkOpts

defConfig

Update Configuration With Pragma

withPragmas

Exit Function

exitWithResult

Diff check mode

diffcheck