| definition: |
headedTable :: [[BaseHtml]] -> [[[BaseHtml]]] -> BaseHtml
headedTable headrow items =
htmlStruct "table" []
[htmlStruct "thead" [("class","thead-light")] [toRow "th" headrow],
htmlStruct "tbody" [] (map (toRow "td") items)]
where
toRow ti row = hStruct "tr" (map (hStruct ti) row)
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Headed table with a header row and a matrix of items. --- Each item is a list of HTML expressions. |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> _}
|
| name: |
headedTable |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
[[HTML.Base.BaseHtml]] -> [[[HTML.Base.BaseHtml]]] -> HTML.Base.BaseHtml |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |