2026-07-25 12:39:32 +02:00
|
|
|
extension JSON {
|
2026-09-18 13:15:08 +00:00
|
|
|
/// A JSON value tree, produced by `JSON.decode` and consumed by `JSON.encode(_:pretty:)`.
|
2026-07-25 12:39:32 +02:00
|
|
|
public indirect enum Value {
|
|
|
|
|
case null
|
|
|
|
|
case bool(Bool)
|
2026-09-18 13:15:08 +00:00
|
|
|
/// Encoded as 32-bit; must fit in `Int32`.
|
2026-07-25 12:39:32 +02:00
|
|
|
case int(Int)
|
2026-09-18 13:15:08 +00:00
|
|
|
/// A number with a fractional part.
|
2026-07-25 12:39:32 +02:00
|
|
|
case float(Float)
|
|
|
|
|
case string(String)
|
|
|
|
|
case array([Value])
|
2026-09-18 13:15:08 +00:00
|
|
|
/// A JSON object; key order is not preserved.
|
2026-07-25 12:39:32 +02:00
|
|
|
case table([String: Value])
|
|
|
|
|
}
|
|
|
|
|
}
|