Io.read.nonblocking.classified: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend as Io
Lines 128-138 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=128&end_line=138

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

def read.nonblocking.classified(
  file: File,
  +code: U32,
  message: String,
  disposition: IoPolicy.ReadDisposition
) -> File & ReadAttempt:
  match disposition:
    case IoPolicy.ReadInterrupted{}: (file, ReadInterrupted{})
    case IoPolicy.ReadWouldBlock{}: (file, ReadWouldBlock{})
    case IoPolicy.ReadFailure{}:
      (file, ReadFailed{host.error(code, message)})

Uses (8):
  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=Sigma
  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=mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend&name=ReadAttempt
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Io.bend&name=host.error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/IoPolicy.bend&name=ReadDisposition