Idris.Doc.HTML

Definitions

renderDocIndex : PkgDesc -> SortedMap ModuleIdent String -> String

Visibility: export

renderModuleDoc : Ref Ctxt Defs => ModuleIdent -> Maybe String -> Maybe (List (Doc IdrisDocAnn)) -> Maybe (Doc IdrisDocAnn) -> Core String

Visibility: export