def response.checked.request_copy

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

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

186def response.checked.request_copy(
187  retained: Protocol.Response,
188  checked: Protocol.Response,
189  generation: U32,
190  requests: Protocol.Request & Protocol.Request
191) -> Result<&1, &1, Error, Protocol.Response>:
192  match requests:
193    case (_, checked_request):
194      response.checked.result(retained,
195        response.validation(checked, checked_request, generation))