type Plan
bendtorch-core@0.1.0.0 · src/tensor/layout.bend:86
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
86type Plan<-input: Shape.Shape, -axes: List<&2, U32>> is Data:
87 Permutation{output: Shape.Shape,
88 valid: {True{} == bijective(input, axes) : Bool},
89 ordered: {Some{Shape.dimensions(output)} == reorder(Shape.dimensions(input), axes) : Maybe<&2, List<&2, U32>>},
90 count: {True{} == Nat.is_eq(Shape.elements(input), Shape.elements(output)) : Bool}}