Text.Markdown.Data

Definitions

data Inline : Type

Totality: total
Visibility: public export
Constructors:

Text : String -> Inline

Pre : String -> Inline

CodeBlock : String -> Maybe String -> Inline

Italics : List Inline -> Inline

Bold : List Inline -> Inline

Link : String -> String -> Inline

Image : String -> String -> Inline

Html : String -> List Inline -> Inline

NewLine : Inline

Hints:

Eq Inline

Show Inline

data Block : Type

Totality: total
Visibility: public export
Constructors:

Header : Nat -> List Inline -> Block

HorizontalRules : Block

Paragraph : List Inline -> Block

Hints:

Eq Block

Show Block

data Markdown : Type

Totality: total
Visibility: public export
Constructor: 

Doc : List Block -> Markdown

Hints:

Eq Markdown

Show Markdown