~/jendhub

def input_storage

bendtorch-core@0.1.0.0 · src/tensor/contracts/pointwise_proof.bend:239

import bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof.bend as PointwiseProof
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/contracts/replayed.bend as Replayed
import bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise.bend as Pointwise

239def input_storage(~P: Data, ~map: P -> Nat -> Nat, +plan: P, +shape: Shape.Shape, +fill: F32,
240  +ops: List<&2, StorageLaws.Op>, +count: Nat) -> Storage.Storage:
241  Replayed.storage(shape, fill, List.append(&2, StorageLaws.Op, ops, Pointwise.reads(~P, ~map, plan, count)))

Uses (9)

Used by (13)