~/jendhub

def replay_snoc

bendtorch-core@0.1.0.0 · src/tensor/contracts/replayed.bend:54

import bendtorch-core@0.1.0.0/src/tensor/contracts/replayed.bend as Replayed
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage
import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as StorageLaws
import bendtorch-core@0.1.0.0/src/tensor/from_values_contract.bend as FromValues

54def replay_snoc(+ops: List<&2, StorageLaws.Op>, +op: StorageLaws.Op, +shape: Shape.Shape, +fill: F32) ->
55  {storage(shape, fill, snoc(ops, op)) == StorageLaws.step(storage(shape, fill, ops), op) : Storage.Storage}:
56  FromValues.replay_snoc(ops, op, StorageLaws.created(Shape.count(shape), fill))

Uses (11)

Used by (5)