Main.Args

Argument parser for the command line interface

Documentation

data Args

Constructors

Info

Fields

verbose :: Bool

Eval

Fields

evalContext :: Maybe FilePath

evalExpr :: String

verbose :: Bool

Trace

Fields

src :: FilePath

entry :: String

verbose :: Bool

LTS

Fields

src :: FilePath

timeout :: Maybe Double

dfs :: Bool

entry :: String

fdrOut :: Maybe FilePath

dotOut :: Maybe FilePath

verbose :: Bool

Assert

Fields

src :: FilePath

verbose :: Bool

Translate

Fields

src :: FilePath

rename :: Bool

xmlOut :: Maybe FilePath

prettyOut :: Maybe FilePath

addUnicode :: Maybe FilePath

removeUnicode :: Maybe FilePath

prologOut :: Maybe FilePath

Lua

Fields

file :: FilePath

rest :: [String]

Instances

Eq Args

Data Args

Show Args

Typeable * Args

argParser :: Mode (CmdArgs Args)

Command line argument parser using cmdargs library.