Idris2Doc : Language.JSON.String.Tokens

Language.JSON.String.Tokens

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