idris- Functional Programming Language with Dependent Types

Safe HaskellNone



Wrapper around Markdown library



type Docstring = Doc Source

Representation of Idris's inline documentation

parseDocstring :: Text -> Doc Source

Construct a docstring from a Text that contains Markdown-formatted docs

renderDocstring :: Docstring -> Doc OutputAnnotation Source

Convert a docstring to be shown by the pretty-printer

emptyDocstring :: Docstring Source

The empty docstring

nullDocstring :: Docstring -> Bool Source

Check whether a docstring is emtpy

noDocs :: (Docstring, [(Name, Docstring)]) Source

Empty documentation for a definition

overview :: Docstring -> Docstring Source

Construct a docstring consisting of the first block-level element of the argument docstring, for use in summaries.

containsText :: Text -> Docstring -> Bool Source

Does a string occur in the docstring?