def marked

bend-kit-http@0.38.2.0 · admission.bend:96

import bend-kit-http@0.38.2.0/admission.bend as Admission

import Base

96# Raises each high-water mark to its current count.
97def marked(ledger: Ledger) -> Ledger:
98  Ledger{Lease{+cp, cg}, Lease{+ap, ag}, Lease{+bp, bg}, marks} = ledger
99  Marks{ch, ah, bh, cr, ar, br} = marks
100  Ledger{Lease{cp, cg}, Lease{ap, ag}, Lease{bp, bg},
101    Marks{U32.max(ch, count(cp)), U32.max(ah, count(ap)), U32.max(bh, count(bp)), cr, ar, br}}

Uses (5)

Used by (2)