def at

bend-kit-json@0.7.0.0 · json.bend:922

import Base

922# Item n of an array.
923def at(v: Val, n: Nat) -> Maybe<&1, Val>:
924  match v:
925    case Arr{xs}:
926      at.go(xs, n)
927    case Null{}:
928      None{}
929    case Flag{on}:
930      None{}
931    case Num{s}:
932      None{}
933    case Str{s}:
934      None{}
935    case Obj{kvs}:
936      None{}