BackupOwnerCursorIo.source.step.result: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend as BackupOwnerCursorIo
Lines 90-109 of mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend&start_line=90&end_line=109

import Base
import mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend as Client
import mylsm-lsm-store@0.6.0.1/src/coordinator/CursorCodec.bend as CursorCodec
import mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend as BackupCursor

def source.step.result(
  source: OwnerSource,
  stream: BackupCursor.Stream,
  pair: Client.Session & Result<&1, &1, Client.Error, CursorCodec.Frame>
) -> OwnerSource & BackupCursor.Step:
  match source:
    case OwnerSource{_, snapshot_id, cursor_id, cursor_live}:
      match pair:
        case (session, Fail{error}):
          (OwnerSource{session, snapshot_id, cursor_id, cursor_live},
            BackupCursor.Failure{None{},
              source.error(error)})
        case (session, Done{frame}):
          match frame:
            case CursorCodec.CursorEnd{}:
              (OwnerSource{session, snapshot_id, cursor_id, False{}},
                BackupCursor.advance.owner(stream, frame))
            case CursorCodec.CursorItem{_, _}:
              (OwnerSource{session, snapshot_id, cursor_id, True{}},
                BackupCursor.advance.owner(stream, frame))

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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=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
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/CursorCodec.bend&name=Frame
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupCursor.bend&name=advance.owner
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend&name=OwnerSource
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/BackupOwnerCursorIo.bend&name=source.error