CurryInfo: flatcurry-compact-4.0.0 / FlatCurry.Compact.defaultRequired
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 |