Mylsm.Bytes.backup_to.remote.cursor.counted.result.copied: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
Lines 1234-1252 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=1234&end_line=1252

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend as OwnerClient
import mylsm-lsm-store@0.6.0.1/src/coordinator/ByteClient.bend as OwnerByteClient

def Bytes.backup_to.remote.cursor.counted.result.copied(
  path: String,
  handle_session: OwnerClient.Session,
  snapshot_ids: U32 & U32 & U32,
  pair: OwnerClient.Session & Result<&1, &1, OwnerClient.Error, U32>
) -> IO(Bytes.Handle & Result<&1, &1, Bytes.Error, Unit>):
  match snapshot_ids:
    case (failure_id, (open_id, export_id)):
      match pair:
        case (session, Fail{error}):
          Bytes.backup_to.remote.failed(handle_session, failure_id,
            session, error)
        case (session, Done{entry_count}):
          do IO<Bytes.Handle & Result<&1, &1, Bytes.Error, Unit>>:
            opened : OwnerClient.Session &
              Result<&1, &1, OwnerClient.Error, U32> <-
                OwnerByteClient.snapshot.cursor.open(session, open_id)
            Bytes.backup_to.remote.export.opened(path, handle_session,
              export_id, entry_count, opened)

Uses (15):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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=Base/base.bend&name=Unit
  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.Handle
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.backup_to.remote.export.opened
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=Bytes.backup_to.remote.failed
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/ByteClient.bend&name=snapshot.cursor.open
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=Session