State
abstractions for State
Nested types and modules
Type | Description |
IsMutatesState | is operation mutates state |
MailboxStateKeeper<'s> | |
MapStateKeeper<'s, 's2> | |
OpResp<'a> | state operation should return value or Blocked when it could not be executed on current state(like reading from an empty channel) |
ProcessId | process id. Process identifiier |
SingleStateKeeper<'s> | simple not thread safe state keeper |
StateKeeper<'s> | abstract state keeper |
StateOp<'s, 'r> | state operation should change state and return OpResp with resulting state and an optional value |
StateResp<'a> | response from state to a client:some result or kill signal when state could not resolve lock |