law signed_write_flat_wraps

bendtorch-core@0.1.0.0 · src/tensor/signed_LAWS.bend:148

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/signed.bend as Signed

148law signed_write_flat_wraps:
149  for +shape: Shape.Shape
150  for tensor: Core.Tensor<shape>
151  for +index: Signed.Position
152  for +value: F32
153  {Signed.write_flat(shape, tensor, index, value) == Core.write_flat(shape, tensor, Signed.wrap(Shape.count(shape), index), value) :
154    Core.Tensor<shape> & Result<&2, &2, Core.Error, Unit>}