def get

bend-net-json@0.3.0.0 · json.bend:411

import bend-net-json@0.3.0.0/json.bend as Json
import Base

411# The value under key k of an object.
412def get(v: Val, k: String) -> Maybe<&2, Val>:
413  match v:
414    case Obj{m}:
415      get.of(m, k)
416    case Null{}:
417      None{}
418    case Flag{on}:
419      None{}
420    case Num{n}:
421      None{}
422    case Str{s}:
423      None{}
424    case Arr{xs}:
425      None{}

Uses (4)

Used by (6)