def keys.of

bend-toon-codec@0.1.0.0 · src/encode.bend:147

import bend-toon-codec@0.1.0.0/src/encode.bend as Encode
import Base
import bend-toon-codec@0.1.0.0/src/json.bend as J

147# The keys of an object.
148def keys.of(+fs: J.Json) -> List<&2, String>:
149  match fs:
150    case J.JField{k, v, t}:
151      Con{k, keys.of(t)}
152    case _:
153      Nil{}

Uses (3)

Used by (1)