def read_f32

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

import Base

21# Reads n numbers (4 * n bytes) at byte `offset` of `file` into cells 0 .. n-1 of `a`, stopping at
22# a's capacity and at the end of the file. Answers the file, the array and the number of bytes
23# read, or the error; the file's position does not move. A short read leaves the cells past it as
24# they were (a last partial number writes only its bytes).
25def read_f32(file: File, offset: U32, n: U32, a: Array<F32>) ->
26  IO(File & (Array<F32> & Result<&1, &1, U32 & String, U32>)):
27  import "./read_f32.c"
28  import "./read_f32.js"