~/jendhub

def read_f32_into

bend-ml-binary-read@0.2.0.0 · main.bend:54

import bend-ml-binary-read@0.2.0.0/main.bend as BendMlBinaryRead
import Base

54# As read_f32_at, writing cells at .. at + n - 1 of `a` (stopping at a's capacity): one tensor of a file into its place
55# in a larger array, with no copy.
56def read_f32_into(file: File, hi: U32, lo: U32, n: U32, a: Array<F32>, at: U32) ->
57  IO(File & (Array<F32> & Result<&1, &1, U32 & String, U32>)):
58  import "./read_at.c"
59  import "./read_at.js"

Uses (8)

Used by (1)