Safe Haskell	None
Language	Haskell98

Idris.Docstrings

Description

Wrapper around Markdown library

Synopsis

Documentation

data Docstring a Source

Representation of Idris's inline documentation. The type paramter represents the type of terms that are associated with code blocks.

Constructors

DocString Options (Blocks a)

Instances

Functor Docstring Source
Foldable Docstring Source
Traversable Docstring Source
Show a => Show (Docstring a) Source

data Block a Source

Block-level elements.

Constructors

Para (Inlines a)
Header Int (Inlines a)
Blockquote (Blocks a)
List Bool ListType [Blocks a]
CodeBlock CodeAttr Text a
HtmlBlock Text
HRule

Instances

Functor Block Source
Foldable Block Source
Traversable Block Source
Show a => Show (Block a) Source

data Inline a Source

Constructors

Str Text
Space
SoftBreak
LineBreak
Emph (Inlines a)
Strong (Inlines a)
Code Text a
Link (Inlines a) Text Text
Image (Inlines a) Text Text
Entity Text
RawHtml Text

Instances

Functor Inline Source
Foldable Inline Source
Traversable Inline Source
Show a => Show (Inline a) Source

parseDocstring :: Text -> Docstring () Source

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

renderDocstring :: (a -> String -> Doc OutputAnnotation) -> Docstring a -> Doc OutputAnnotation Source

Convert a docstring to be shown by the pretty-printer

emptyDocstring :: Docstring a Source

The empty docstring

nullDocstring :: Docstring a -> Bool Source

Check whether a docstring is emtpy

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

Empty documentation for a definition

overview :: Docstring a -> Docstring a Source

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

containsText :: Text -> Docstring a -> Bool Source

Does a string occur in the docstring?

renderHtml :: Docstring DocTerm -> Html Source

annotCode Source

Arguments

:: (String -> b)	How to annotate code samples
-> Docstring a
-> Docstring b

Annotate the code samples in a docstring

data DocTerm Source

The various kinds of code samples that can be embedded in docs

Constructors

Unchecked
Checked Term
Example Term
Failing Err

Instances

Show DocTerm Source

renderDocTerm :: (Term -> Doc OutputAnnotation) -> (Term -> Term) -> DocTerm -> String -> Doc OutputAnnotation Source

Render a term in the documentation

checkDocstring :: forall a b. (String -> [String] -> String -> a -> b) -> Docstring a -> Docstring b Source

Run some kind of processing step over code in a Docstring. The code processor gets the language and annotations as parameters, along with the source and the original annotation.