def lookup

bendtorch-core@0.1.0.0 · src/tensor/layout.bend:38

import Base

38def lookup(values: List<&2, U32>, index: Nat) -> Maybe<&2, U32>:
39  match values index:
40    case Nil{} _:
41      None{}
42    case head <> tail 0n:
43      Some{head}
44    case head <> tail 1n+p:
45      lookup(tail, p)