src/coordinator/SessionPolicy.bend

mylsm-lsm-store@0.6.0.1 · 12 lines · 1 definition

1import Base
2import mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend as ClientPolicy
3
4# Duplicates the request sequence carried by the same client session state.
5def requests.clone(
6  sequence: ClientPolicy.RequestSequence
7) -> ClientPolicy.RequestSequence & ClientPolicy.RequestSequence:
8  match sequence:
9    case ClientPolicy.RequestAvailable{+id}:
10      (ClientPolicy.RequestAvailable{id}, ClientPolicy.RequestAvailable{id})
11    case ClientPolicy.RequestExhausted{}:
12      (ClientPolicy.RequestExhausted{}, ClientPolicy.RequestExhausted{})