Bosatsu/Json

source code: - test_workspace/Bosatsu/Json.bosatsu

Index

• Types: Json, Nullable, Optional
• Values: eq_Json, parse_Json, render_Json

Types

Json

type Json

Constructors

• JArray(items: List[Json])
• JBool(value: Bool)
• JFloat(value: Float64)
• JInt(value: Int)
• JNull
• JObject(items: List[(String, Json)])
• JString(value: String)

Nullable[a]

type Nullable[a: +*]

Constructors

• NonNull(value: a)
• Null

Optional[a]

type Optional[a: +*]

Constructors

• Missing
• Set(value: a)

Values

eq_Json

references: Bool, Json

def eq_Json(left: Json, right: Json) -> Bool

parse_Json

references: Json, Option, String

def parse_Json(s: String) -> Option[Json]

render_Json

references: Json, String

def render_Json(j: Json) -> String