| definition: |
explainIcons :: BaseHtml
explainIcons =
anchoredSection "explain_icons"
[h4 [htxt "Explanations of the icons used in the documentation:"],
table
[[[anchor "det_explain" [detIcon]],[nbsp],
[htxt " Operation is deterministic, i.e., defined by exclusive rules",
htxt " and depend only on deterministic operations"]]
,[[anchor "nondet_explain" [nondetIcon]],[nbsp],
[htxt " Operation might be non-deterministic, i.e., it is defined by",
htxt " overlapping rules or depend on non-deterministic operations"]]
-- ,[[anchor "rigid_explain" [rigidIcon]],[nbsp],
-- [htxt " Operation is rigid"]]
-- ,[[anchor "flex_explain" [flexibleIcon]],[nbsp],
-- [htxt " Operation is flexible"]]
-- ,[[anchor "flexrigid_explain" [flexrigidIcon]],[nbsp],
-- [htxt " Operation is partially flexible and partially rigid"]]
]
]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- Paragraph to explain the meaning of the icons: |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> _}
|
| name: |
explainIcons |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
HTML.Base.BaseHtml |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
possibly non-reducible on same data term |