| definition: |
syslibsSideMenu :: [Category] -> [BaseHtml]
syslibsSideMenu cats = map par $
[[ehref currygleURL [htxt " Search with Curr(y)gle"]]]
++ [[href ("#" ++ genCatLink c) [ htxt (showCategory c)]] | c <- cats]
++ [ [href "findex.html" [htxt "Index to all library functions"]]
, [href "cindex.html" [htxt "Index to all library constructors"]]
, [href "#explain_icons" [htxt "Icons used in the documentation"]]
]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
syslibsSideMenu |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
[CurryDoc.Read.Category] -> [HTML.Base.BaseHtml] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
possibly non-reducible on same data term |