Io.WriteState: type of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend as Io
Lines 45-57 of mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend&start_line=45&end_line=57

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

# Carries bounded chunks through one-syscall socket write steps.
type WriteState is Type:
  WriteNeed{file: File, remaining: U32 & U32 & U32, total: U32,
    offsets: U32 & U32 & U32, bytes: Bytes.Bytes}
  WriteDone{file: File}
  WriteSend{file: File, total: U32, offset: U32 & U32 & U32,
    remaining: U32 & U32 & U32,
    words: Array<U32>}
  WriteSent{pair: File & Result<&1, &1, U32 & String, U32 & Array<U32>>,
    total: U32, offset: U32, remaining: U32}
  WriteAdvance{file: File, total: U32, offset: U32, remaining: U32,
    sent: U32 & U32 & U32, words: Array<U32>}
  WriteFailed{file: File}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=File
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes