def session.clone

mylsm-lsm-store@0.6.0.1 · src/coordinator/Client.bend:382

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

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

382def session.clone(session: Session) -> Session & Session:
383  match session:
384    case Session{endpoint, +generation, requests}:
385      session.clone.ready(string.clone.pair(endpoint),
386        (generation, generation), SessionPolicy.requests.clone(requests))

Uses (6)

Used by (5)