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
  
MdText : MarkdownTokenKind
  
MdPre : MarkdownTokenKind
  
MdCodeBlock : MarkdownTokenKind
  
MdHorizontalRules : MarkdownTokenKind
  
MdNewLine : MarkdownTokenKind
  
ItalicsSym : MarkdownTokenKind
  
BoldSym : MarkdownTokenKind
  
ImageSym : MarkdownTokenKind
    
HtmlOpenTag : MarkdownTokenKind
  
HtmlCloseTag : MarkdownTokenKind

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