CurryInfo: cpm-manage-3.0.0 / CPM.Package.HTML.leftTopMenu
definition: 
|
leftTopMenu :: Bool -> Int -> [[BaseHtml]]
leftTopMenu inpkg actindex =
[ [mhref 0 "index.html" "All Packages"]
, [mhref 2 "indexc.html" "Categories"]
, [mhref 1 "indexv.html" "Recent Uploads"]
]
where
mhref i url txt = (if i == actindex then hrefNavActive else hrefNav)
(if inpkg then ".." </> url else url) [htxt txt]
|
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
The standard left top menu. The first argument is true if we are inside a package documentation. The second argument indicates the index of the active link (negative value = no active link) |
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,_) |-> {:}}
|
|
name:
|
leftTopMenu |
|
precedence:
|
no precedence defined |
|
result-values:
|
{:}
|
|
signature:
|
Prelude.Bool -> Prelude.Int -> [[HTML.Base.BaseHtml]] |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |