def response.validation.request
mylsm-lsm-store@0.6.0.1 · src/coordinator/Client.bend:154
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/ClientPolicy.bend as Policy
import mylsm-lsm-store@0.6.0.1/src/coordinator/Protocol.bend as Protocol
154def response.validation.request(
155 response: Protocol.Response,
156 request: Protocol.Request,
157 generations: U32 & U32 & U32
158) -> Policy.Decision:
159 match response:
160 case Protocol.Response{version, response_generation, request_id, _, _}:
161 match request:
162 case Protocol.Request{request_version, request_generation,
163 expected_id, _, _}:
164 response.validation.fields((version,
165 (response_generation, request_id)),
166 (request_version, (request_generation, expected_id)), generations)