def list_element

bendtorch-core@0.1.0.0 · src/tensor/construction_LAWS.bend:34

import bendtorch-core@0.1.0.0/src/tensor/construction_LAWS.bend as ConstructionLAWS

import Base

34def list_element(values: List<&2, F32>, position: Nat) -> Maybe<&2, F32>:
35  match values position:
36    case Nil{} _:
37      None{}
38    case value <> rest 0n:
39      Some{value}
40    case value <> rest 1n+p:
41      list_element(rest, p)

Uses (4)

Used by (8)