Idris2Doc : Text.Markdown.Parser

Text.Markdown.Parser

(source)
Reexports
import public Text.Markdown.Tokens
Definitions
parseMarkdown : List (WithBounds MarkdownToken) -> Either MdError Markdown
  Parses a (bounded) list of markdown tokens.
  
  A markdown error is returned in case of failures of consuming all tokens.

  Totality: total
  Visibility: export