def pending.head.metadata.values

mylsm-lsm-store@0.6.0.1 · src/coordinator/RequestQueue.bend:207

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

207def pending.head.metadata.values(
208  ids: U32 & U32,
209  sequences: Nat & Nat,
210  deadlines: Nat & Nat,
211  byte_counts: Nat & Nat,
212  peak_counts: Nat & Nat,
213  request_pair: Protocol.Request & U32
214) -> Pending & HeadMetadata:
215  match ids:
216    case (pending_id, metadata_id):
217      match sequences:
218        case (pending_sequence, metadata_sequence):
219          match deadlines:
220            case (pending_deadline, metadata_deadline):
221              match byte_counts:
222                case (pending_bytes, metadata_bytes):
223                  match peak_counts:
224                    case (pending_peak, metadata_peak):
225                      match request_pair:
226                        case (request, opcode):
227                          (Pending{pending_id, pending_sequence,
228                            pending_deadline, pending_bytes, pending_peak,
229                            request},
230                            HeadMetadata{metadata_id, metadata_sequence,
231                              metadata_deadline, opcode, metadata_bytes,
232                              metadata_peak})