Unique id of this service.
Event log.
Assigns a value
to the MV-Register identified by id
and returns the updated MV-Register value.
Event log.
Event log.
Updates the CRDT identified by id
with given operation
.
Updates the CRDT identified by id
with given operation
.
Returns the updated value of the CRDT.
CRDT service operations.
CRDT service operations.
Saves a snapshot of the CRDT identified by id
.
Saves a snapshot of the CRDT identified by id
.
Unique id of this service.
Unique id of this service.
Starts the CRDT service.
Starts the CRDT service.
Stops the CRDT service.
Stops the CRDT service.
This service's actor system.
This service's actor system.
Returns the current value of the CRDT identified by id
.
Returns the current value of the CRDT identified by id
.
Replicated MVRegister CRDT service.
MVRegister value type.