Client.session.call.decision: def of mylsm-lsm-store@0.6.0.1 Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend as Client Lines 408-422 of mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&start_line=408&end_line=422 import Base import mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend as Policy import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes def session.call.decision( endpoint: String, generation: U32, operation: U32, payload: Bytes.Bytes, decision: Policy.RequestDecision ) -> IO(Session & Result<&1, &1, Error, Protocol.Response>): match decision: case Policy.RequestAssigned{id, next}: session.call.ready(string.clone.pair(endpoint), Protocol.u32.duplicate.triple(generation), id, operation, next, payload) case Policy.RequestIdsExhausted{}: IO.pure(Session & Result<&1, &1, Error, Protocol.Response>, (Session{endpoint, generation, Policy.RequestExhausted{}}, Fail{RequestIdsExhausted{}})) Uses (16): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure 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=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes 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/Client.bend&name=session.call.ready https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Client.bend&name=string.clone.pair https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend&name=RequestDecision https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend&name=RequestSequence https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=Response https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend&name=u32.duplicate.triple