Unique id of this service.
Event log.
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.
Adds delta
(which can also be negative) to the counter identified by id
and returns the updated counter value.
Returns the current value of the CRDT identified by id
.
Returns the current value of the CRDT identified by id
.
Replicated Counter CRDT service.
Counter value type.