def stretch

stelliferous@0.0.2.0 · tensor_view.bend:240

import stelliferous@0.0.2.0/tensor_view.bend as TensorView

import Base

240# The view read with the extents target under NumPy broadcasting. No element
241# moves: an axis of extent 1 is repeated with stride 0, and so is an axis the
242# view lacks.
243def stretch(view: View,+target: List<&2,U32>) -> Maybe<&2,View>:
244  View{axes,offset} = view
245  stretched_view(stretch_axes(with_rank(axes,List.length(&2,U32,target)),target),offset)

Uses (8)

Used by (1)

stelliferous@0.0.2.0/tensor:stretched