flix

0.79.0

ToJson

trait ToJson[a: Type]Source

Trait for types that can be encoded as a Json value.

Instances

Primitives
Unit, Bool, Float32, Float64, BigDecimal, Int8, Int16, Int32, Int64, BigInt, String, Vector[a] and tuples of 2 to 10 elements
Non-primitives
Json, List[a], Map[k, v], Option[a], Set[a]

Signatures

def toJson(x: a): Json with ToJson[a]§ Source

Encodes x as a Json value.