Module round_based::containers::push

Abstraction over pushable collections

Push trait allows writing functions which are generic over collection and can only append elements to it, preventing from accident accessing/modifying existing data. Along with PushExt trait, that provides extra utilities for Pushable collections, they are convenient for describing protocol in terms of rounds, where every round may send messages by appending them to sending queue.

Structs

Map	Wraps pushable collection and applies closure f to every pushed element

Traits

Push	Collection which can only be appended by 1 element
PushExt	Utilities around Pushable collections