def permute_when

stelliferous@0.0.2.0 · tensor_view.bend:168

import stelliferous@0.0.2.0/tensor_view.bend as TensorView

import Base

168def permute_when(valid: Bool,view: View,order: List<&2,Nat>) -> Maybe<&2,View>:
169  match valid:
170    case False{}: None{}
171    case True{}:
172      View{axes,offset} = view
173      reorder(order,axes,offset)

Uses (6)

Used by (1)

stelliferous@0.0.2.0/tensor_view:permute