~/jendhub

def SumResultMeaning

bendtorch-core@0.1.0.0 · src/tensor/reduction_LAWS.bend:115

import bendtorch-core@0.1.0.0/src/tensor/reduction_LAWS.bend as ReductionLAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/reduction.bend as Reduction

115def SumResultMeaning(-shape: Shape.Shape, -original: Core.Tensor<shape>,
116  result: Result<&2, &1, Core.Error, Core.Tensor<shape> & Core.Tensor<Reduction.scalar_shape()>>) -> Data:
117  match result:
118    case Fail{error}:
119      Unit
120    case Done{pair}:
121      (retained, scalar) = pair
122      SumResult<shape, original, retained, scalar>

Uses (9)

Used by (3)