Idris2Doc : Text.Markdown.Tokens

Text.Markdown.Tokens

(source)
Reexports
import public Text.Token
Definitions
data MarkdownTokenKind : Type
  Totality: total
  Visibility: public export
  Constructors:
  
BlankLine : MarkdownTokenKind
  
HeadingSym : MarkdownTokenKind
  
UListSym : MarkdownTokenKind
  
UListSepSym : MarkdownTokenKind
  
MdText : MarkdownTokenKind
  
MdPre : MarkdownTokenKind
  
MdCodeBlock : MarkdownTokenKind
  
MdHorizontalRules : MarkdownTokenKind
  
MdNewLine : MarkdownTokenKind
  
ItalicsSym : MarkdownTokenKind
  
BoldSym : MarkdownTokenKind
  
ImageStart : MarkdownTokenKind
  
OpeningBracket : MarkdownTokenKind
  
ClosingBracket : MarkdownTokenKind
  
OpeningParenthesis : MarkdownTokenKind
  
ClosingParenthesis : MarkdownTokenKind
  
HtmlOpenTag : MarkdownTokenKind
  
HtmlCloseTag : MarkdownTokenKind

  Hints:
  
Eq MarkdownTokenKind
  
Show MarkdownTokenKind
  
TokenKind MarkdownTokenKind
MarkdownToken : Type
  Totality: total
  Visibility: public export