Idris2Doc : Text.Markdown.Lexer

Text.Markdown.Lexer

(source)
Reexports
import public Text.Markdown.Tokens
Definitions
lexMarkdown : String -> Either MdError (List (WithBounds MarkdownToken))
  Lexes the provided markdown string to Markdown tokens.

  Totality: total
  Visibility: export