Idris.Docstrings

data Docstring a

data Block a

data Inline a

parseDocstring

renderDocstring

emptyDocstring

nullDocstring

noDocs

overview

containsText

renderHtml

annotCode

data DocTerm

renderDocTerm

checkDocstring