demand: |
no demanded arguments |
deterministic: |
deterministic operation |
failfree: |
(_, _, _, _, _, _, _, _, _, _, _, _) |
indeterministic: |
referentially transparent operation |
infix: |
no fixity defined |
iotype: |
{(_,_,_,_,_,_,_,_,_,_,_,_) |-> {HtmlPage}} |
name: |
bootstrapPage2 |
precedence: |
no precedence defined |
result-values: |
{HtmlPage} |
signature: |
String -> [String] -> [String] -> String -> (String, [HTML.Base.BaseHtml]) -> [(String, [HTML.Base.BaseHtml])] -> [(String, [HTML.Base.BaseHtml])] -> Prelude.Int -> [HTML.Base.BaseHtml] -> [HTML.Base.BaseHtml] -> [HTML.Base.BaseHtml] -> [HTML.Base.BaseHtml] -> HTML.Base.HtmlPage |
solution-complete: |
operation might suspend on free variables |
terminating: |
possibly non-terminating |
totally-defined: |
possibly non-reducible on same data term |