CurryInfo: currydoc-4.0.0 / CurryDoc.Html.genSystemLibsPage
definition: 
|
genSystemLibsPage :: String -> [Category] -> [[ModInfo]] -> IO ()
genSystemLibsPage docdir cats modInfos = do
putStrLn $ "Writing main index page for " ++ currySystem ++
" to \"" ++ fname ++ "\"..."
mainPage (curryPackagesURL, [htxt "Curry Packages"])
(currySystem ++ " Libraries")
[h1 [htxt $ currySystem ++ ": System Libraries"]]
syslibsLeftTopMenu
syslibsRightTopMenu
(syslibsSideMenu cats)
([infoTxt, hrule] ++ genHtmlLibCats modInfos ++ [hrule, explainIcons])
>>= writeFile fname
where
fname = docdir ++ "/" ++ currySystem ++ "_libs.html"
|
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
----------------------------------------------------------------------- generate the index page categorizing all system libraries of PAKCS/KICS2 |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,_,_) |-> _}
|
|
name:
|
genSystemLibsPage |
|
precedence:
|
no precedence defined |
|
result-values:
|
_ |
|
signature:
|
String -> [CurryDoc.Read.Category] -> [[(CurryDoc.Read.Category, String, String)]] -> Prelude.IO () |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |