~/jendhub

def write_words

mylsm-lsm-store@0.6.0.1 · src/Fs.bend:160

import mylsm-lsm-store@0.6.0.1/src/Fs.bend as Fs
import Base

160# Writes one packed buffer through bounded single-syscall steps.
161def write_words(
162  file: File,
163  len: U32,
164  words: Array<U32>
165) ->
166  IO(File & Result<&1, &1, U32 & String, Unit>):
167  write_words.loop(4294967295n,
168    write_words.state(file, 0, len, words))

Uses (10)

Used by (1)