def permute

stelliferous@0.0.2.0 · tensor_view.bend:175

import stelliferous@0.0.2.0/tensor_view.bend as TensorView
import Base

175# Order must contain each axis exactly once, including singleton axes.
176def permute(+view: View,+order: List<&2,Nat>) -> Maybe<&2,View>:
177  permute_when(Nat.is_eq(rank(view),List.length(&2,Nat,order)) && unique_axes(order),view,order)

Uses (10)

Used by (1)