RequestQueue.take.front: 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 157-173 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=157&end_line=173

import Base

def take.front(
  front: List<&1, Pending>,
  back: List<&1, Pending>,
  count: Nat,
  bytes: Nat
) -> TakeResult:
  match front:
    case Nil{}: Empty{Queue{Nil{}, back, count, bytes}}
    case Con{item, tail}:
      match item:
        case Pending{connection_id, accepted_sequence, deadline_ms,
          +encoded_bytes, response_peak, request}:
          Taken{
            Queue{tail, back, Nat.sub(count, 1n),
              Nat.sub(bytes, encoded_bytes)},
            Pending{connection_id, accepted_sequence, deadline_ms,
              encoded_bytes, response_peak, request}}

Uses (6):
  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=Base/base.bend&name=Nat.sub
  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
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/RequestQueue.bend&name=TakeResult