def at.go

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

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

import Base

509def at.go(xs: List<&2, Val>, n: Nat) -> Maybe<&2, Val>:
510  match xs:
511    case Nil{}:
512      None{}
513    case Con{v, t}:
514      match n:
515        case 0n:
516          Some{v}
517        case 1n+p:
518          at.go(t, p)

Uses (4)

Used by (1)

bend-net-json@0.3.0.0/json:at