Idris2Doc : JSON.Parser

JSON.Parser

(source)
Reexports
import public Text.Parse.Manual
Definitions
hexChar : Integer -> Char
  Totality: total
  Visibility: public export
escape : SnocList Char -> Char -> SnocList Char
  Totality: total
  Visibility: public export
encode : String -> String
  Totality: total
  Visibility: public export
data JSON : Type
  Totality: total
  Visibility: public export
  Constructors:
  
JNull : JSON
  
JInteger : Integer -> JSON
  
JDouble : Double -> JSON
  
JBool : Bool -> JSON
  
JString : String -> JSON
  
JArray : List JSON -> JSON
  
JObject : List (String, JSON) -> JSON

  Hints:
  
Eq JSON
  
Show JSON
dropNull : JSON -> JSON
  Recursively drops `Null` entries from JSON objects.

  Totality: total
  Visibility: export
data JSToken : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Symbol : Char -> JSToken
  
Lit : JSON -> JSToken
  
EOI : JSToken

  Hints:
  
Eq JSToken
  
Interpolation JSToken
  
Show JSToken
0 ParseErr : Type
  Totality: total
  Visibility: public export
lexJSON : String -> Either (Bounded ParseErr) (List (Bounded JSToken))
  Totality: total
  Visibility: export
parseJSON : Origin -> String -> Either (ParseError Void) JSON
  Totality: total
  Visibility: export