| definition: |
writeOutfile :: DocOptions -> Bool -> String -> String -> IO String -> IO ()
writeOutfile docopts recursive docdir modname generate = do
doc <- generate
imports <- getImports modname
let outfile = docdir </> modname <.> fileExtension (docType docopts)
putStrLn ("Writing documentation to \"" ++ outfile ++ "\"...")
writeFile outfile doc
when recursive $
mapM_ (makeDocIfNecessary docopts recursive docdir) imports
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
-- harmonized writeFile function for all docType |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{(_,_,_,_,_) |-> _}
|
| name: |
writeOutfile |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
CurryDoc.Options.DocOptions -> Prelude.Bool -> String -> String -> Prelude.IO String -> Prelude.IO () |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |