def at

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

import Base

521def at(v: Val, n: Nat) -> Maybe<&2, Val>:
522  match v:
523    case Arr{xs}:
524      at.go(xs, n)
525    case Null{}:
526      None{}
527    case Flag{on}:
528      None{}
529    case Num{s}:
530      None{}
531    case Str{s}:
532      None{}
533    case Obj{m}:
534      None{}