| definition: |
makeIndexPages :: DocOptions -> String -> [String] -> IO ()
makeIndexPages docopts docdir modnames = do
prepareDocDir HtmlDoc docdir
(alltypes,allfuns) <- mapM readTypesFuncs modnames >>= return . unzip
genMainIndexPage docopts docdir modnames
genFunctionIndexPage homeref docopts docdir (concat allfuns)
genConsIndexPage homeref docopts docdir (concat alltypes)
-- change access rights to readable for everybody:
system $ "chmod -R go+rX " ++ docdir
return ()
where
hometitle = if null (mainTitle docopts)
then "Curry Documentation"
else mainTitle docopts
homeref = ("index.html", [htxt hometitle])
readTypesFuncs modname = do
fcyfile <- getFlatCurryFileInLoadPath modname
(Prog _ _ types funs _) <- readFlatCurryFile fcyfile
return (types,funs)
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Generate only the index pages for a list of (already compiled!) modules: |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_) |-> _}
|
| name: |
makeIndexPages |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
CurryDoc.Options.DocOptions -> 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 |