~/jendhub

def read_chunk

stelliferous@0.0.2.0 · tensor_file.bend:312

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

312# The cursor retains the array; only the current chunk becomes a list.
313def read_chunk(count: Nat,+offset: U32,storage: Array<F32>,values: List<&2,F32>) -> Array<F32> & List<&2,F32>:
314  match count:
315    case 0n: (storage,List.reverse(&2,F32,values))
316    case 1n+rest:
317      Buffers.bind_pair(Array<F32>,F32,Array<F32> & List<&2,F32>,Array.get(F32,storage,offset),storage => value =>
318        read_chunk(rest,(offset + 1 : U32),storage,value <> values))

Uses (11)

Used by (1)