| definition: |
stdConstructors :: [[QName]]
stdConstructors =
[ [pre "False", pre "True"]
, [pre "[]", pre ":"]
, [pre "Nothing", pre "Just"]
, [pre "Left", pre "Right"]
, [pre "LT", pre "EQ", pre "GT"]
, [pre "IOError", pre "UserError", pre "FailError", pre "NondetError"]
] ++
map (\n -> [pre $ "(" ++ take n (repeat ',') ++ ")"]) [0 .. 8]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
------------------------------------------------------------------------------ --- Some predefined data constructors grouped by their types. --- Used for testing in module CallTypes. |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> _}
|
| name: |
stdConstructors |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
[[(String, String)]] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |