CurryInfo: html2-3.5.0 / HTML.CategorizedList.list2CategorizedHtml

definition: Info
 
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: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
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: Info
 (_, _, _, _, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,_,_,_) |-> {:}}
name: Info
 list2CategorizedHtml
precedence: Info
 no precedence defined
result-values: Info
 {:}
signature: Info
 (HTML.Base.HTML b, Prelude.Show c) => [(a, [b])] -> [(c, String)] -> (a -> c
-> Prelude.Bool) -> [b]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term