def broadcast_indices
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
193def broadcast_indices(dims: List<&2, Nat>, values: List<&2, Nat>) -> List<&2, Nat>:
194 match dims values:
195 case Nil{} _:
196 Nil{}
197 case dh <> dt Nil{}:
198 Nil{}
199 case dh <> dt vh <> vt:
200 broadcast_index(dh, vh) <> broadcast_indices(dt, vt)
Uses (3)
Used by (13)
- bendtorch-core@0.1.0.0/src/shape/core:project_indices
- bendtorch-core@0.1.0.0/src/shape/broadcast_proofs:project_left
- bendtorch-core@0.1.0.0/src/shape/broadcast_proofs:project_right
- bendtorch-core@0.1.0.0/src/shape/broadcast_proofs:drop_broadcast
- bendtorch-core@0.1.0.0/src/shape/coordinate_proofs:projected_words_spec
- …