def replace

bendtorch-core@0.1.0.0 · src/tensor/transpose_spec.bend:18

import Base

18def replace(-A: Data, items: List<&2, A>, index: Nat, +value: A) -> List<&2, A>:
19  match items index:
20    case Nil{} index:
21      Nil{}
22    case head <> tail 0n:
23      value <> tail
24    case head <> tail 1n+p:
25      head <> replace(A, tail, p, value)