Idris2Doc : Language.JSON.String.Tokens

Language.JSON.String.Tokens

JSONStringToken : Type
  Totality: total
data JSONStringTokenKind : Type
  Totality: total
  Constructors:
  
JSTQuote : JSONStringTokenKind
  
JSTChar : JSONStringTokenKind
  
JSTSimpleEscape : JSONStringTokenKind
  
JSTUnicodeEscape : JSONStringTokenKind