Copyright	(c) Fontaine 2010-2011
License	BSD3
Maintainer	Fontaine@cs.uni-duesseldorf.de
Stability	experimental
Portability	GHC-only
Safe Haskell	None
Language	Haskell2010

Main.Args

Description

Argument parser for the command line interface

Synopsis

Documentation

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 Source #
Methods (==) :: Args -> Args -> Bool # (/=) :: Args -> Args -> Bool #
Data Args Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Args -> c Args # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Args # toConstr :: Args -> Constr # dataTypeOf :: Args -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Args) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Args) # gmapT :: (forall b. Data b => b -> b) -> Args -> Args # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Args -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Args -> r # gmapQ :: (forall d. Data d => d -> u) -> Args -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Args -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Args -> m Args # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Args -> m Args # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Args -> m Args #
Show Args Source #
Methods showsPrec :: Int -> Args -> ShowS # show :: Args -> String # showList :: [Args] -> ShowS #

Command line argument parser using cmdargs library.