def fields.of

bend-toon-codec@0.1.0.0 · src/fold.bend:162

import bend-toon-codec@0.1.0.0/src/fold.bend as Fold
import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J

162# The fields of an object value, or none.
163def fields.of(+v: J.Json) -> J.Json:
164  match v:
165    case J.JObj{fs}:
166      fs
167    case _:
168      J.JNil{}

Uses (1)

Used by (1)