Generates a number typical for the limit of a Slot. Useful for constructing resource bounds when not directly constructing the relevant Slots.

Generates a number typical for the occupied count of a Slot. Useful for constructing CountMaps.

Takes a slot and resamples its slotOccupied count to fit the limit.

What we use as key for testing SlotMaps.

Generates short strings used as SlotMap keys.

We limit ourselves to a small set of key strings with high probability to increase the chance that SlotMaps actually have more than one slot taken.

Generates small lists.

Generates a SlotMap given a generator for the keys (see genTestKey).

Generates a CountMap given a generator for the keys (see genTestKey).

Tells which keys of a SlotMap are overfull.

Generates a SlotMap for which all slots are within their limits.

Union of the keys of two maps.

Tests properties of SlotMaps being filled up.

Tests for whether there's still space for a job given its rate limits.

Tests properties of hasSlotsFor on SlotMaps that are known to respect their limits.

Tests properties of hasSlotsFor, irrespective of whether the input SlotMaps respect their limits or not.