• Effekt Logo Effekt Library
    • json
      • JsonBuilder
        • null
        • bool
        • number
        • string
        • list
        • dict
      • JsonObjectBuilder
        • field
      • escape
      • handleJsonBuilder
      • handleJsonObjectBuilder
      • encodeJsonList
      • encodeJsonObject
      • encodeJson
      • readDouble
      • expectString
      • readQuotedString
      • decodeJson
      • decodeJsonObject
      • decodeJsonList
      • ignoreDict
      • ignore
      • JsonValue
        • Number
        • Bool
        • Null
        • String
        • List
        • Dict
      • unbuild
      • build
      • buildList
      • buildDict
      • main
    • json
      • Jump to source: libraries/common/json.effekt
      Example usage: examples/stdlib/json
      • JsonBuilder 
        • for constructing a json value
        • null : Unit / {}
        • bool (b: Bool): Unit / {}
        • number (n: Double): Unit / {}
        • string (s: String): Unit / {}
        • list [R] { elements: => R / {JsonBuilder} }: R / {}
        • dict [R] { elements: => R / {JsonObjectBuilder} }: R / {}
      • JsonObjectBuilder 
        • for constructing a json object
        • field [R] (k: String) { contents: => R / {JsonBuilder} }: R / {}
      • escape (s: String): String / {}
      • handleJsonBuilder [R] { b: JsonBuilder } { body: => R / {JsonBuilder} }: R / {} 
        • Make explicitly bound JsonBuilder instance implicit
      • handleJsonObjectBuilder [R] { b: JsonObjectBuilder } { body: => R / {JsonObjectBuilder} }: R / {} 
        • Make explicitly bound JsonObjectBuilder instance implicit
      • encodeJsonList [R] { body: => R / {JsonBuilder} }: R / {emit[String]}
      • encodeJsonObject [R] { body: => R / {JsonObjectBuilder} }: R / {emit[String]}
      • encodeJson [R] { body: => R / {JsonBuilder} }: R / {emit[String]} 
        • Main entry point for encoding json.
Emits individual tokens of the resulting json.
      • readDouble : Double / {Scan[Char]} 
        • Read a double value, in the common format (TODO document)
      • expectString (string: String): Unit / {Scan[Char], Exception[WrongFormat]}
      • readQuotedString : Unit / {Scan[Char], emit[Char], Exception[WrongFormat]} 
        • Read and unescape a string in ""
      • decodeJson : Unit / {Scan[Char], JsonBuilder, Exception[WrongFormat]} 
        • Decode a json string and do the appropriate calls to an implicitly bound JsonBuilder
      • decodeJsonObject : Unit / {Scan[Char], JsonObjectBuilder, Exception[WrongFormat]}
      • decodeJsonList : Unit / {Scan[Char], JsonBuilder, Exception[WrongFormat]}
      • ignoreDict [R] { body: => R / {JsonObjectBuilder} }: R / {} 
        • Ignore the generated calls to JsonObjectBuilder
      • ignore [R] { body: => R / {JsonBuilder} }: R / {} 
        • Ignore the generated calls to JsonBuilder
      • JsonValue 
        • Residualized Json value
        • Number (n: Double)
        • Bool (b: Bool)
        • Null
        • String (s: String)
        • List (l: List[JsonValue])
        • Dict (els: List[Tuple2[String, JsonValue]])
      • unbuild (v: JsonValue): Unit / {JsonBuilder} 
        • Emit the appropriate calls to JsonBuilder to recreate the given JsonValue
      • build [R] { body: => R / {JsonBuilder} }: Tuple2[R, JsonValue] / {}
      • buildList [R] { body: => R / {JsonBuilder} }: Tuple2[R, List[JsonValue]] / {}
      • buildDict [R] { body: => R / {JsonObjectBuilder} }: Tuple2[R, List[Tuple2[String, JsonValue]]] / {}
      • main