Module bookkeeping

Quantity bookkeeping

Newtypes which wrap up a Qty (an amount of memory), and which assure proper accounting.

Methods are provided for the specific transactions which are correct, in the accounting scheme in tracker. So these types embody the data structure (fields and invariants) from tracker.

Panics

In tests, these types panic if they are dropped when nonzero, if that’s against the rules.

Macros

derive_deftly_template_BookkeptQty 🔒

Implement BookkeptQty and its supertraits

Structs

ClaimedQty 🔒

“Cached” claim, on behalf of a Participant

ParticipQty 🔒

Qty used by a participant, found in PRecord.used.

TotalQty 🔒

Total used, TotalQtyNotifier.total_used, found in State.total_used.

Traits

BookkeepableQty 🔒

Memory quantities that can work with bookkept quantities

BookkeptQty 🔒

Bookkept memory quantities