~/jendhub

def write_chunk

stelliferous@0.0.2.0 · tensor_file.bend:334

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile
import Base

334def write_chunk(file: File,read: Array<F32> & List<&2,F32>,+count: Nat,remaining: Nat,offset: U32) -> IO(Writing):
335  (storage,values) = read
336  do IO<Writing>:
337    written : Written() <- File.write_bytes(file,encode(count,values))
338    IO.pure(Writing,after_write(written,storage,Nat.sub(remaining,count),(offset + U32.from_nat(count) : U32)))

Uses (19)

Used by (1)