RequestQueue.head.peak: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend as RequestQueue
Lines 354-365 of mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&start_line=354&end_line=365

import Base

def head.peak(queue: Queue, peak: Nat) -> Queue:
  match queue:
    case Queue{front, back, count, bytes}:
      match front:
        case Nil{}: Queue{Nil{}, back, count, bytes}
        case Con{pending, tail}:
          match pending:
            case Pending{connection_id, accepted_sequence, deadline_ms,
                encoded_bytes, _, request}:
              Queue{Con{Pending{connection_id, accepted_sequence,
                deadline_ms, encoded_bytes, peak, request}, tail}, back,
                count, bytes}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=Pending
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=Queue