Idris2Doc : Language.JSON.Tokens

Language.JSON.Tokens

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