| definition: |
makeDocWithComments :: DocType -> DocOptions -> Bool -> String -> AnaInfo
-> String -> String -> [(SourceLine,String)] -> IO ()
makeDocWithComments HtmlDoc docopts recursive docdir anainfo modname
modcmts progcmts = do
-- ensure that the AbstractCurry file for the module exists
Just (dir,_) <- lookupModuleSourceInLoadPath modname
let acyfile = dir </> abstractCurryFileName modname
exacy <- doesFileExist acyfile
unless exacy $ callFrontend ACY modname
writeOutfile docopts recursive docdir modname
(generateHtmlDocs docopts anainfo modname modcmts progcmts)
translateSource2ColoredHtml docdir modname
writeOutfile docopts { docType = CDoc, withIndex = False
, withMarkdown = False }
False docdir modname
(generateCDoc modname modcmts progcmts anainfo)
makeDocWithComments TexDoc docopts recursive docdir anainfo modname
modcmts progcmts = do
writeOutfile docopts recursive docdir modname
(generateTexDocs docopts anainfo modname modcmts progcmts)
makeDocWithComments CDoc docopts recursive docdir anainfo modname
modcmts progcmts = do
writeOutfile docopts recursive docdir modname
(generateCDoc modname modcmts progcmts anainfo)
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{({HtmlDoc},_,_,_,_,_,_,_) |-> _ || ({TexDoc},_,_,_,_,_,_,_) |-> _ || ({CDoc},_,_,_,_,_,_,_) |-> _}
|
| name: |
makeDocWithComments |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
CurryDoc.Options.DocType -> CurryDoc.Options.DocOptions -> Prelude.Bool -> String -> CurryDoc.AnaInfo.AnaInfo -> String -> String -> [(CurryDoc.Read.SourceLine, String)] -> Prelude.IO () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |