type WriteState

mylsm-lsm-store@0.6.0.1 · src/coordinator/Io.bend:45

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

45# Carries bounded chunks through one-syscall socket write steps.
46type WriteState is Type:
47  WriteNeed{file: File, remaining: U32 & U32 & U32, total: U32,
48    offsets: U32 & U32 & U32, bytes: Bytes.Bytes}
49  WriteDone{file: File}
50  WriteSend{file: File, total: U32, offset: U32 & U32 & U32,
51    remaining: U32 & U32 & U32,
52    words: Array<U32>}
53  WriteSent{pair: File & Result<&1, &1, U32 & String, U32 & Array<U32>>,
54    total: U32, offset: U32, remaining: U32}
55  WriteAdvance{file: File, total: U32, offset: U32, remaining: U32,
56    sent: U32 & U32 & U32, words: Array<U32>}
57  WriteFailed{file: File}