~/jendhub

def active.counted

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

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

64def active.counted(
65  front: List<&1, Pending>,
66  back: List<&1, Pending>,
67  bytes: Nat,
68  counts: Nat & Nat
69) -> Queue & Bool:
70  match counts:
71    case (checked_count, retained_count):
72      (Queue{front, back, retained_count, bytes},
73        Nat.is_lt(0n, checked_count))

Uses (8)

Used by (1)