tellAction | Raft.Transition |
tellActions | Raft.Transition |
Term | |
1 (Type/Class) | Raft.Types, Raft |
2 (Data Constructor) | Raft.Types, Raft |
term0 | Raft.Types, Raft |
Timeout | Raft.Event, Raft |
TimeoutEvent | Raft.Event, Raft |
TimeoutHandler | Raft.Transition |
Timer | Control.Concurrent.STM.Timer |
toRPC | Raft.RPC, Raft |
Transition | Raft.NodeState |
TransitionEnv | |
1 (Type/Class) | Raft.Transition |
2 (Data Constructor) | Raft.Transition |
TransitionM | |
1 (Type/Class) | Raft.Transition |
2 (Data Constructor) | Raft.Transition |