| definition: |
defaultConfig :: Config
defaultConfig = Config (CheckList
True True True True
True True True True
True True True True
True True True True
True True True True
True True True True
True True True True
True
)
TEXT 1 True True 80
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--defaultConfig, checks everything, maxLineLength is 80 |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {Config}}
|
| name: |
defaultConfig |
| precedence: |
no precedence defined |
| result-values: |
{Config}
|
| signature: |
Types.Config |
| solution-complete: |
operationally complete operation |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |