def Bytes.restore.result

mylsm-lsm-store@0.6.0.1 · mylsm.bend:1346

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

1346def Bytes.restore.result(
1347  restored: Result<&1, &1, RestoreIo.Error, Unit>
1348) -> IO(Result<&1, &1, Bytes.Error, Unit>):
1349  match restored:
1350    case Fail{error}: IO.pure(Result<&1, &1, Bytes.Error, Unit>,
1351      Fail{Bytes.restore.error(error)})
1352    case Done{Unit{}}:
1353      IO.pure(Result<&1, &1, Bytes.Error, Unit>, Done{Unit{}})

Uses (7)

Used by (2)