| definition: |
defaultRequired :: [RequiredSpec]
defaultRequired =
[alwaysRequired (prelude,"apply"),
alwaysRequired (prelude,"letrec"),
alwaysRequired (prelude,"cond"),
alwaysRequired (prelude,"failure"),
(prelude,"==") `requires` (prelude,"&&"),
(prelude,"=:=") `requires` (prelude,"&"),
(prelude,"=:<=") `requires` (prelude,"ifVar"),
(prelude,"=:<=") `requires` (prelude,"=:="),
(prelude,"=:<=") `requires` (prelude,"&>"),
(prelude,"=:<<=") `requires` (prelude,"&"),
(prelude,"$#") `requires` (prelude,"ensureNotFree"),
(prelude,"readFile") `requires` (prelude,"prim_readFileContents"),
("Ports","prim_openPortOnSocket") `requires` ("Ports","basicServerLoop"),
("Ports","prim_timeoutOnStream") `requires` ("Ports","basicServerLoop"),
("Ports","prim_choiceSPEP") `requires` ("Ports","basicServerLoop"),
("Dynamic","getDynamicKnowledge") `requires` ("Dynamic","isKnownAtTime") ]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Functions that are implicitly required in a FlatCurry program --- (since they might be generated by external functions like --- "==" or "=:=" on the fly). |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {:}}
|
| name: |
defaultRequired |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
[RequiredSpec] |
| solution-complete: |
operationally complete operation |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |