| definition: |
list2CategorizedHtml ::
(HTML h, Show b) => [(a,[h])] -> [(b,String)] -> (a -> b -> Bool) -> [h]
list2CategorizedHtml itemL categoryL categoryFun =
categories2LinkList categoryL :
map (\ (categoryKey,categoryString) ->
anchor (string2urlencoded (show categoryKey))
(h2 [htxt categoryString] :
concatMap (\ (_,item)->item++[breakline])
(filter (\ (itemKey,_) ->
categoryFun itemKey categoryKey)
itemL)
++ [categories2LinkList categoryL])
)
categoryL
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- General categorization of a list of entries. --- --- The item will occur in every category for which the boolean function --- categoryFun yields True. --- @param itemL the list of key-item pairs which are supposed to be --- categorized with respect to key --- @param categoryL list of key-category pairs to which the items can be --- sorted in --- @param categoryFun uses the keys of the items and the keys of the --- categories to distribute the items among the categories. --- @return Html containing inner links between the categories |
| failfree: |
(_, _, _, _, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,_) |-> {:}}
|
| name: |
list2CategorizedHtml |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
(HTML.Base.HTML b, Prelude.Show c) => [(a, [b])] -> [(c, String)] -> (a -> c -> Prelude.Bool) -> [b] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |