~/jendhub

def select_empty

bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:58

import bendtorch-core@0.1.0.0/src/tensor/axis_algebra.bend as AxisAlgebra
import Base
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

58def select_empty(+index: Maybe<&2, Nat>) -> {Axis.select(U32, Nil{}, index) == None{} : Maybe<&2, U32>}:
59  match index:
60    case None{}:
61      {==}
62    case Some{+value}:
63      lookup_empty(value)

Uses (6)

Used by (1)