CurryInfo: currydoc-4.0.0 / CurryDoc.Html.explainIcons

definition: Info 
 
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: Info 
 no demanded arguments
deterministic: Info 
 deterministic operation
documentation: Info 
 
Paragraph to explain the meaning of the icons:
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {() |-> _}
name: Info 
 explainIcons
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 HTML.Base.BaseHtml
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 yes
totally-defined: Info 
 possibly non-reducible on same data term