~/jendhub

def write_words.after

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

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

105def write_words.after(
106  pair: File & Result<&1, &1, U32 & String, U32 & Array<U32>>,
107  offset: U32,
108  remaining: U32
109) -> WriteWordsState:
110  match pair:
111    case (file, Fail{error}): WriteWordsFailed{file, error}
112    case (file, Done{(written, words)}):
113      write_words.after.checked(file, offset, remaining,
114        u32.clone.triple(written), words)

Uses (10)

Used by (1)