Language.JSON.String.Tokens

Definitions

data JSONStringTokenKind : Type

Totality: total
Visibility: public export
Constructors:

JSTQuote : JSONStringTokenKind

JSTChar : JSONStringTokenKind

JSTSimpleEscape : JSONStringTokenKind

JSTUnicodeEscape : JSONStringTokenKind

Hints:

Eq JSONStringTokenKind

TokenKind JSONStringTokenKind

JSONStringToken : Type

Totality: total
Visibility: public export