| definition: |
options :: [OptDescr (CLOptions -> CLOptions)]
options =
[ Option "h?"["help"] (NoArg (\opts -> opts {optHelp=True}))
"Print this help message"
, Option "d" ["outdir"] (ReqArg (\s opts -> opts { optOutDir = s }) "<d>")
"Write generated modules into directory <d>"
, Option "p" ["paramops"] (NoArg (\opts -> opts { optGenOpsFile = True }))
("Generate module containing read/write operations\n" ++
"with parameters (as in the subsequent options)")
, Option "s" ["stringlen"] (ReqArg (safeReadNat checkSl) "SLEN")
("Minimum length of extracted strings (default: " ++
show defaultStrLn ++ ")")
, Option "a" ["alphabet"] (ReqArg (safeReadNat checkAl) "ALEN")
("Alphabet length (default: " ++ show defaultAlphabetLength ++
")\nAlphabet length must be within [1..94]")
]
where
safeReadNat opttrans s opts = case readNat s of
[(n, "")] -> opttrans n opts
_ -> error ("Invalid number argument: " ++ s)
checkAl al opt
| al >= 1 && al <= 94 = opt {optAlphabetLength=al}
| otherwise = error "Alphabet length must be within [1..95]."
checkSl sl opt
| sl >= 0 = opt {optStringLength=sl}
| otherwise = error "Minimum string length must be non-negative."
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {:}}
|
| name: |
options |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
[System.Console.GetOpt.OptDescr (RW.Monad.CLOptions -> RW.Monad.CLOptions)] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |