Markdown

:= [Heading({ level : Level, content : List(Inline) }), Paragraph(List(Inline)), Blockquote(List(Markdown)), ListBlock({ kind : ListKind, loose : Bool, items : List({ task : TaskState, blocks : List(Markdown) }) }), Code({ info : Str, pre : Str }), ThematicBreak, Table({ header : List(List(Inline)), align : List(Alignment), rows : List(List(List(Inline))) }), HtmlBlock(Str), Frontmatter({ raw : Str }), TODO(Str)]

to_inspect : Markdown -> Str

is_eq : Markdown, Markdown -> Bool

to_debug_str : Markdown -> Str

inline_to_debug_str : Inline -> Str

all : Parser(Utf8, List(Markdown))

inlines : Parser(Utf8, List(Inline))

heading : Parser(Utf8, Markdown)

link : Parser(Utf8, Inline)

image : Parser(Utf8, Inline)

code : Parser(Utf8, Markdown)

Level

:= [One, Two, Three, Four, Five, Six]

to_inspect : Level -> Str

to_str : Level -> Str

is_eq : Level, Level -> Bool

ListKind

:= [Unordered, Ordered({ start : U64 })]

to_inspect : ListKind -> Str

to_str : ListKind -> Str

is_eq : ListKind, ListKind -> Bool

TaskState

:= [NoTask, Unchecked, Checked]

to_inspect : TaskState -> Str

to_str : TaskState -> Str

is_eq : TaskState, TaskState -> Bool

Alignment

:= [Default, Left, Center, Right]

to_inspect : Alignment -> Str

to_str : Alignment -> Str

is_eq : Alignment, Alignment -> Bool

LinkTarget : { href : Str, title : [Some(Str), None] }

Inline

:= [Text(Str), Strong(List(Inline)), Emphasis(List(Inline)), Strikethrough(List(Inline)), InlineCode(Str), Link({ label : List(Inline), target : LinkTarget }), Image({ alt : List(Inline), target : LinkTarget }), HardBreak, HtmlInline(Str)]

to_inspect : Inline -> Str

is_eq : Inline, Inline -> Bool