| 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 |