Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
The state of an actor in a replication.
Opening | This is a new actor that we have not seen before. |
Existing | We have seen this actor before. |
Closing | This actor is going away. |
Eq State Source # | |
Show State Source # | |
Generic State Source # | |
NFData State Source # | |
HasField "state" Replication State # | |
ModifyField "state" Replication Replication State State # | |
ModifyRec "state" State cs0 => HasField "state" (Rec cs0 Replication) State # | |
ModifyRec "state" State cs0 => ModifyField "state" (Rec cs0 Replication) (Rec cs0 Replication) State State # | |
type Rep State Source # | |
type UpdateType "state" Replication State # | |
isExisting :: State -> Bool Source #