def head.peak

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

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

354def head.peak(queue: Queue, peak: Nat) -> Queue:
355  match queue:
356    case Queue{front, back, count, bytes}:
357      match front:
358        case Nil{}: Queue{Nil{}, back, count, bytes}
359        case Con{pending, tail}:
360          match pending:
361            case Pending{connection_id, accepted_sequence, deadline_ms,
362                encoded_bytes, _, request}:
363              Queue{Con{Pending{connection_id, accepted_sequence,
364                deadline_ms, encoded_bytes, peak, request}, tail}, back,
365                count, bytes}

Uses (4)

Used by (0)

No other definition uses this definition.