def source.clone.values

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupOwnerCursorIo.bend:27

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

27def source.clone.values(
28  sessions: Client.Session & Client.Session,
29  snapshot_ids: U32 & U32 & U32,
30  cursor_ids: U32 & U32 & U32,
31  cursor_live: Bool
32) -> OwnerSource & OwnerSource:
33  match sessions:
34    case (first_session, second_session):
35      match snapshot_ids:
36        case (first_snapshot, (second_snapshot, _)):
37          match cursor_ids:
38            case (first_cursor, (second_cursor, _)):
39              match cursor_live:
40                case True{}:
41                  (OwnerSource{first_session, first_snapshot, first_cursor,
42                    True{}}, OwnerSource{second_session, second_snapshot,
43                    second_cursor, True{}})
44                case False{}:
45                  (OwnerSource{first_session, first_snapshot, first_cursor,
46                    False{}}, OwnerSource{second_session, second_snapshot,
47                    second_cursor, False{}})