Mylsm.Bytes.restore.error: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
Lines 1332-1344 of mylsm-lsm-store@0.6.0.1/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&start_line=1332&end_line=1344

import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend as RestoreIo

def Bytes.restore.error(error: RestoreIo.Error) -> Bytes.Error:
  match error:
    case RestoreIo.InvalidFormat{}: Corruption{"invalid backup format"}
    case RestoreIo.ResourceLimit{}: ResourceLimit{}
    case RestoreIo.InvalidOrder{}: InvalidArgument{}
    case RestoreIo.ChecksumMismatch{}: Corruption{"backup checksum mismatch"}
    case RestoreIo.CountMismatch{}: Corruption{"backup entry count mismatch"}
    case RestoreIo.Storage{error}: Bytes.error(error)
    case RestoreIo.Io{code, message}: Io{code, message}
    case RestoreIo.DestinationExists{}: AlreadyExists{}
    case RestoreIo.TemporaryExists{}: AlreadyExists{}
    case RestoreIo.VerificationFailed{}: Corruption{"restored database verification failed"}
    case RestoreIo.CommitUnknown{code, message}: CommitUnknown{code, message}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/RestoreIo.bend&name=Error