Module execute
Source - AccessCount
- Internal helper to query how a cons-lists of
StoreRequest types will use a specific type. - AccessKind
- Internal helper to query how a
StoreRequest type will use a specific type. - ActorList
- Internal helper to access details about a cons-list of actors so they can be validated against a store.
- IntoSlots 🔒
- Internal helper to take a cons-list of
Storable types and return a cons-list of slots for them. - NestedAccessCount
- Internal helper to query how a cons-list of cons-lists of
StoreRequest types will use a specific type. - Slots 🔒
- Internal helper to implement
Datastore::slot recursively for a cons-list of slots.
- execute_actor
- Internal helper to get a full future that initializes and executes an
Actor given a Datastore - make_store
- Given a cons-list of
Storable types, returns a complete Datastore that contains a slot for each type. - validate_actors
- Internal helper that for given sets of actors and slots validates the guarantees around slot access that we want to
always uphold.