type Tensor

stelliferous@0.0.2.0 · tensor.bend:31

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/tensor_band.bend as Bands

31# Like a PyTorch tensor's device, workers is execution context: the size of
32# the runtime's worker pool, read once with IO.thread_count and set with
33# with_workers. Pure constructors cannot read it and use one worker. Results
34# keep the largest worker count of their operands. It never changes a value.
35type Tensor<-Element: Data> is Type:
36  Tensor{storage: Storage.Buffer<Element>,shape: List<&2,U32>,fill: Element,status: Status,workers: U32}
37  Banded{bands: Bands.Bands(~Element),geometry: Bands.Geometry,shape: List<&2,U32>,fill: Element,status: Status,workers: U32}