Idris2Doc : Language.JSON.Tokens

Language.JSON.Tokens

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