| definition: |
options :: [OptDescr (Options -> Options)]
options =
[ Option "h?" ["help"]
(NoArg (\opts -> opts { optHelp = True }))
"print help and exit"
, Option "a" ["all"]
(NoArg (\opts -> opts { optWithImports = True, optWithString = False
, optWithHiding = True, optWithInstance = True
, optWithKinds = True
, optQualify = True, optWithArity = True }))
"show all details of the interface"
, Option "i" ["instances"]
(NoArg (\opts -> opts { optWithInstance = True }))
"show detailed class instances"
, Option "q" ["qualify"]
(NoArg (\opts -> opts { optQualify = True }))
"show module qualifications"
]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Definition of actual command line options. |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {:}}
|
| name: |
options |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
[System.Console.GetOpt.OptDescr (CurryInterface.Pretty.Options -> CurryInterface.Pretty.Options)] |
| solution-complete: |
operationally complete operation |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |