law sum_dims_plan_refused

bendtorch-core@0.1.0.0 · src/autograd/sum_dims_LAWS.bend:131

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transforms
import bendtorch-core@0.1.0.0/src/autograd/sum_dims.bend as SumDims

131# A refused list of axes fails the plan with the refusal.
132law sum_dims_plan_refused:
133  for +shape: Shape.Shape
134  for +axes: List<&2, U32>
135  for error: Layout.Error
136  for refused: {SumDims.refusal(axes, SumDims.limit(Shape.dimensions(shape))) == Some{error} : Maybe<&2, Layout.Error>}
137  {SumDims.plan(shape, axes) == Fail{SumDims.TransformError{Transforms.LayoutError{error}}} : Result<&2, &2, SumDims.Error, SumDims.Plan>}