def map_index
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layoutimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
412def map_index(+input: Shape.Shape, +axes: List<&2, U32>, +plan: Plan<input, axes>, +i: U32) ->
413 Result<&2, &2, Error, Mapping<input, axes, plan, i>>:
414 map_decided(input, axes, plan, i, Shape.bool_case(U32.is_lt(i, Shape.count(output(input, axes, plan)))))
Uses (12)
Used by (24)
- bendtorch-core@0.1.0.0/src/tensor/transforms:expected_output
- bendtorch-core@0.1.0.0/src/tensor/transforms:copy_step
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:mapping_done
- bendtorch-core@0.1.0.0/src/tensor/transform_totality:MappingSuccess
- bendtorch-core@0.1.0.0/src/tensor/permute_values:permuted_value
- …