CurryInfo: currydoc-4.0.0 / CurryDoc.Html.syslibsSideMenu

definition: Info 
 
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: Info 
 no demanded arguments
deterministic: Info 
 deterministic operation
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {(_) |-> _}
name: Info 
 syslibsSideMenu
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 [CurryDoc.Read.Category] -> [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