def initial.failed.io

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupOwnerCursorIo.bend:297

import mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend as BackupOwnerCursorIo
import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend as BackupCursor
import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursorIo.bend as BackupCursorIo
import mylsm-lsm-store@0.6.0.1/src/transfer/BackupIo.bend as BackupIo

297def initial.failed.io(
298  initial: BackupCursor.Step,
299  pair: U32 & String
300) -> IO(Result<&1, &1, BackupIo.Error, Unit>):
301  match pair:
302    case (code, message):
303      BackupCursorIo.initial.failed(initial, BackupIo.Io{code, message})

Uses (10)

Used by (1)