def recover.exhausted

mylsm-lsm-store@0.6.0.1 · src/ByteWalIo.bend:174

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

174def recover.exhausted(state: RecoveryState) -> IO(Result<&1, &1, U32 & String, ByteMemTable.Table>):
175  match state:
176    case At{file, _, _, _, _, _}:
177      close.failed(file, error("byte WAL recovery limit exceeded"))
178    case Length{pair, _, _, _}:
179      match pair:
180        case (file, _):
181          close.failed(file, error("byte WAL recovery limit exceeded"))
182    case Prefix{file, _, _, _, _, _, _}:
183      close.failed(file, error("byte WAL recovery limit exceeded"))
184    case Count{pair, _, _, _, _, _}:
185      match pair:
186        case (file, _):
187          close.failed(file, error("byte WAL recovery limit exceeded"))
188    case Counted{file, _, _, _, _, _, _, _}:
189      close.failed(file, error("byte WAL recovery limit exceeded"))
190    case Body{pair, _, _, _, _, _, _}:
191      match pair:
192        case (file, _):
193          close.failed(file, error("byte WAL recovery limit exceeded"))
194    case Decoded{file, _, _, _, _}:
195      close.failed(file, error("byte WAL recovery limit exceeded"))
196    case Failed{file, failure}:
197      close.failed(file, failure)
198    case Tail{file, _, _, _}:
199      close.failed(file, error("byte WAL recovery limit exceeded"))