def gather_ranked
import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gatherimport Base
173def gather_ranked(+dimensions: List<&2, U32>, +axis: Nat, +index: List<&2, U32>, +entries: List<&2, U32>, same: Bool) ->
174 Result<&2, &2, Error, Planned>:
175 match same:
176 case False{}:
177 Fail{IndexRankMismatch{}}
178 case True{}:
179 gather_shaped(dimensions, axis, index, entries, matches(dimensions, index, axis))
Uses (9)
Used by (5)
- bendtorch-core@0.1.0.0/src/tensor/gather:gather_axis
- bendtorch-core@0.1.0.0/src/tensor/gather_LAWS:gather_out_of_range
- bendtorch-core@0.1.0.0/src/tensor/gather_LAWS:gather_planned
- bendtorch-core@0.1.0.0/src/tensor/gather_LAWS:gather_rank_refused
- bendtorch-core@0.1.0.0/src/tensor/gather_LAWS:gather_shape_refused