def built_index
bendtorch-core@0.1.0.0 · src/tensor/gather.bend:54
import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gather
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
54def built_index(+entries: List<&2, U32>, -dimensions: List<&2, U32>, built: Shape.ConstructResult<dimensions>) -> Result<&2, &2, Error, Index>:
55 match built:
56 case Shape.SError{error}:
57 Fail{TensorError{Core.ShapeError{error}}}
58 case Shape.SBuilt{+shape, preserved}:
59 Done{Index{shape, entries}}