Idris2Doc : Language.JSON.Tokens

Language.JSON.Tokens

Bracket : Type
Totality: total
Constructors:
Open : Bracket
Close : Bracket
JSONToken : Type
Totality: total
JSONTokenKind : Type
Totality: total
Constructors:
JTBoolean : JSONTokenKind
JTNumber : JSONTokenKind
JTString : JSONTokenKind
JTNull : JSONTokenKind
JTPunct : Punctuation -> JSONTokenKind
JTIgnore : JSONTokenKind
Punctuation : Type
Totality: total
Constructors:
Comma : Punctuation
Colon : Punctuation
Square : Bracket -> Punctuation
Curly : Bracket -> Punctuation
ignored : JSONToken -> Bool
Totality: total
strFalse : String
Totality: total
strTrue : String
Totality: total