Io.read.nonblocking.failed: 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 140-147 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=140&end_line=147

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

def read.nonblocking.failed(
  file: File,
  pair: U32 & String
) -> File & ReadAttempt:
  match pair:
    case (+code, message):
      read.nonblocking.classified(file, code, message,
        IoPolicy.read.disposition(code))

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=read.nonblocking.classified
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/IoPolicy.bend&name=read.disposition