Idris2Doc : Language.JSON.Tokens

Language.JSON.Tokens

Definitions

strTrue : String
Totality: total
Visibility: public export
strFalse : String
Totality: total
Visibility: public export
dataBracket : Type
Totality: total
Visibility: public export
Constructors:
Open : Bracket
Close : Bracket

Hint: 
EqBracket
dataPunctuation : Type
Totality: total
Visibility: public export
Constructors:
Comma : Punctuation
Colon : Punctuation
Square : Bracket->Punctuation
Curly : Bracket->Punctuation

Hint: 
EqPunctuation
dataJSONTokenKind : Type
Totality: total
Visibility: public export
Constructors:
JTBoolean : JSONTokenKind
JTNumber : JSONTokenKind
JTString : JSONTokenKind
JTNull : JSONTokenKind
JTPunct : Punctuation->JSONTokenKind
JTIgnore : JSONTokenKind

Hints:
EqJSONTokenKind
TokenKindJSONTokenKind
JSONToken : Type
Totality: total
Visibility: public export
ignored : WithBoundsJSONToken->Bool
Totality: total
Visibility: export