acceptConnections | Examples.Raft.Socket.Node |
Action | Raft.Action |
aedEntriesSpec | Raft.RPC, Raft |
aedLeaderCommit | Raft.RPC, Raft |
aedTerm | Raft.RPC, Raft |
aeEntries | Raft.RPC, Raft |
aeLeaderCommit | Raft.RPC, Raft |
aeLeaderId | Raft.RPC, Raft |
aePrevLogIndex | Raft.RPC, Raft |
aePrevLogTerm | Raft.RPC, Raft |
aeReadRequest | Raft.RPC, Raft |
aerReadRequest | Raft.RPC, Raft |
aerSuccess | Raft.RPC, Raft |
aerTerm | Raft.RPC, Raft |
aeTerm | Raft.RPC, Raft |
AppendEntries | |
1 (Type/Class) | Raft.RPC, Raft |
2 (Data Constructor) | Raft.RPC, Raft |
AppendEntriesData | |
1 (Type/Class) | Raft.RPC, Raft |
2 (Data Constructor) | Raft.RPC, Raft |
AppendEntriesResponse | |
1 (Type/Class) | Raft.RPC, Raft |
2 (Data Constructor) | Raft.RPC, Raft |
AppendEntriesResponseRPC | Raft.RPC, Raft |
AppendEntriesRPC | Raft.RPC, Raft |
AppendEntriesSpec | Raft.RPC |
AppendLogEntries | Raft.Action |
appendLogEntries | Raft.Transition |
applyLogCmd | Raft.StateMachine |
applyLogEntry | Raft.StateMachine |
askNodeId | Raft.Transition |
askPeerNodeIds | Raft.Transition |
askRaftStateMachinePureCtx | Raft.StateMachine, Raft |
BecomeLeader | Raft.NodeState |
broadcast | Raft.Transition |
BroadcastRPC | Raft.Action |
ByIndex | Raft.Log |
ByIndices | Raft.Log |
Candidate | Raft.Types, Raft |
candidateRaftHandler | Raft.Handle |
candidateResultState | Raft.NodeState |
CandidateState | |
1 (Type/Class) | Raft.NodeState, Raft |
2 (Data Constructor) | Raft.NodeState, Raft |
clientAddNode | Raft.Client |
ClientAllMetricsReq | Raft.Client |
ClientCmdReq | Raft.Client |
clientGetNodes | Raft.Client |
ClientId | |
1 (Type/Class) | Raft.Types, Raft |
2 (Data Constructor) | Raft.Types, Raft |
ClientIssuer | Raft.Log |
ClientMetricsReq | |
1 (Type/Class) | Raft.Client |
2 (Data Constructor) | Raft.Client, Raft |
ClientMetricsResp | |
1 (Type/Class) | Raft.Client |
2 (Data Constructor) | Raft.Client |
ClientMetricsResponse | Raft.Client, Raft |
ClientMetricsRespSpec | Raft.Client |
clientQueryNodeMetrics | Raft.Client |
clientQueryNodeMetricsTimeout | Raft.Client |
clientRead | Raft.Client |
ClientReadEntries | Raft.Client |
clientReadFrom | Raft.Client |
ClientReadReq | |
1 (Type/Class) | Raft.Client |
2 (Data Constructor) | Raft.Client, Raft |
ClientReadReqData | |
1 (Type/Class) | Raft.NodeState |
2 (Data Constructor) | Raft.NodeState |
ClientReadReqs | Raft.NodeState |
ClientReadResp | Raft.Client, Raft |
ClientReadRespEntries | Raft.Client, Raft |
ClientReadRespEntry | Raft.Client, Raft |
ClientReadResponse | Raft.Client, Raft |
ClientReadRespSpec | |
1 (Type/Class) | Raft.Client |
2 (Data Constructor) | Raft.Client |
ClientReadRespSpecEntries | Raft.Client |
ClientReadRespSpecStateMachine | Raft.Client |
ClientReadRespStateMachine | Raft.Client, Raft |
ClientReadStateMachine | Raft.Client |
clientReadTimeout | Raft.Client |
clientRecv | Raft.Client |
ClientRedirectResponse | Raft.Client, Raft |
ClientRedirResp | |
1 (Type/Class) | Raft.Client, Raft |
2 (Data Constructor) | Raft.Client, Raft |
ClientRedirRespSpec | Raft.Client |
ClientReq | Raft.Client, Raft |
clientReqData | Raft.Log |
ClientReqHandler | Raft.Transition |
ClientReqType | Raft.Client |
ClientRequest | |
1 (Type/Class) | Raft.Client, Raft |
2 (Data Constructor) | Raft.Client, Raft |
ClientRequestEvent | Raft.Event, Raft |
ClientRequestHandler | Raft.Monad |
ClientRespChan | |
1 (Type/Class) | Examples.Raft.Socket.Client |
2 (Data Constructor) | Examples.Raft.Socket.Client |
clientRespChan | Examples.Raft.Socket.Client |
ClientResponse | Raft.Client, Raft |
ClientRespSpec | Raft.Client |
clientSend | Raft.Client |
clientSendMetricsReqTo | Raft.Client |
clientSendRead | Raft.Client |
clientSendWrite | Raft.Client |
clientTimeout | Raft.Client |
clientWrite | Raft.Client |
ClientWriteReq | |
1 (Type/Class) | Raft.Client |
2 (Data Constructor) | Raft.Client, Raft |
ClientWriteReqCache | Raft.NodeState |
ClientWriteResp | Raft.Client, Raft |
ClientWriteRespFail | Raft.Client, Raft |
ClientWriteResponse | Raft.Client, Raft |
ClientWriteRespSpec | |
1 (Type/Class) | Raft.Client |
2 (Data Constructor) | Raft.Client |
ClientWriteRespSpecFail | Raft.Client |
ClientWriteRespSpecSuccess | Raft.Client |
ClientWriteRespSuccess | Raft.Client, Raft |
clientWriteTimeout | Raft.Client |
clientWriteTo | Raft.Client |
commitIndexGauge | Raft.Metrics |
ConfigError | Raft.Config |
Critical | Raft.Logging, Raft |
crrdClientId | Raft.NodeState |
crrdReadReq | Raft.NodeState |
csClientReqCache | Raft.NodeState, Raft |
csCommitIndex | Raft.NodeState, Raft |
csLastApplied | Raft.NodeState, Raft |
csLastLogEntry | Raft.NodeState, Raft |
csVotes | Raft.NodeState, Raft |
CurrentLeader | |
1 (Type/Class) | Raft.Types, Raft |
2 (Data Constructor) | Raft.Types, Raft |
currentTerm | Raft.Persistent, Raft |
CustomThreadRole | Raft.Monad |
DeadResponse | Examples.Raft.Socket.Node |
Debug | Raft.Logging, Raft |
decrIndexWithDefault0 | Raft.Types |
defaultOptionalRaftNodeConfig | Raft.Config |
defaultRaftNodeMetrics | Raft.Metrics |
deleteDB | Raft.Log.PostgreSQL |
deleteLogEntriesFrom | Raft.Log, Raft |
DeleteSuccess | |
1 (Type/Class) | Raft.Log, Raft |
2 (Data Constructor) | Raft.Log, Raft |
DiscoverLeader | Raft.NodeState |
DiscoverNewLeader | Raft.NodeState |
ElectionTimeout | Raft.Event, Raft |
Entries | Raft.Log, Raft |
Entry | |
1 (Type/Class) | Raft.Log, Raft |
2 (Data Constructor) | Raft.Log, Raft |
EntryHash | |
1 (Type/Class) | Raft.Log |
2 (Data Constructor) | Raft.Log |
entryIndex | Raft.Log, Raft |
EntryIssuer | Raft.Log |
entryIssuer | Raft.Log, Raft |
entryPrevHash | Raft.Log, Raft |
entryTerm | Raft.Log, Raft |
EntryValidation | Raft.StateMachine |
EntryValue | |
1 (Type/Class) | Raft.Log |
2 (Data Constructor) | Raft.Log |
entryValue | Raft.Log, Raft |
Event | Raft.Event, Raft |
eventChan | Raft.Monad, Raft |
eventsHandledCounter | Raft.Metrics |
Existing | Raft.Config |
Follower | Raft.Types, Raft |
followerRaftHandler | Raft.Handle |
followerResultState | Raft.NodeState |
FollowerState | |
1 (Type/Class) | Raft.NodeState, Raft |
2 (Data Constructor) | Raft.NodeState, Raft |
FromClientReadReq | Raft.RPC |
FromClientWriteReq | Raft.RPC |
FromHeartbeat | Raft.RPC |
FromIndex | Raft.RPC |
FromNewLeader | Raft.RPC |
fsClientReqCache | Raft.NodeState, Raft |
fsCommitIndex | Raft.NodeState, Raft |
fsCurrentLeader | Raft.NodeState, Raft |
fsLastApplied | Raft.NodeState, Raft |
fsLastLogEntry | Raft.NodeState, Raft |
fsTermAtAEPrevIndex | Raft.NodeState, Raft |
genesisHash | Raft.Log |
getCommitIndex | Raft.NodeState |
getFreePort | Examples.Raft.Socket.Common |
getLastAppliedAndCommitIndex | Raft.NodeState, Raft |
getLastLogEntry | Raft.NodeState, Raft |
getLastLogEntryIndex | Raft.NodeState |
getMetricsStore | Raft.Metrics |
getRaftNodeMetrics | Raft.Metrics |
handleAppendEntries | |
1 (Function) | Raft.Leader |
2 (Function) | Raft.Follower |
3 (Function) | Raft.Candidate |
4 (Function) | Raft.Handle |
handleAppendEntriesResponse | |
1 (Function) | Raft.Leader |
2 (Function) | Raft.Follower |
3 (Function) | Raft.Candidate |
4 (Function) | Raft.Handle |
handleClientReadRequest | |
1 (Function) | Raft.Leader |
2 (Function) | Raft.Follower |
3 (Function) | Raft.Candidate |
4 (Function) | Raft.Handle |
HandleClientReq | Raft.NodeState |
handleClientWriteRequest | |
1 (Function) | Raft.Leader |
2 (Function) | Raft.Follower |
3 (Function) | Raft.Candidate |
4 (Function) | Raft.Handle |
handleEvent | Raft.Handle |
handleEvent' | Raft.Handle |
handleEventLoop | Raft |
handleRequestVote | |
1 (Function) | Raft.Leader |
2 (Function) | Raft.Follower |
3 (Function) | Raft.Candidate |
4 (Function) | Raft.Handle |
handleRequestVoteResponse | |
1 (Function) | Raft.Leader |
2 (Function) | Raft.Follower |
3 (Function) | Raft.Candidate |
4 (Function) | Raft.Handle |
handleTimeout | |
1 (Function) | Raft.Leader |
2 (Function) | Raft.Follower |
3 (Function) | Raft.Candidate |
4 (Function) | Raft.Handle |
hashEntry | Raft.Log |
hashLastLogEntry | Raft.Log |
HeartbeatTimeout | Raft.Event, Raft |
HigherTermFoundCandidate | Raft.NodeState |
HigherTermFoundFollower | Raft.NodeState |
HigherTermFoundLeader | Raft.NodeState |
hostPortToNid | Examples.Raft.Socket.Common |
hostPortToNidBS | Examples.Raft.Socket.Common |
incrEventsHandledCounter | Raft.Metrics |
incrIndex | Raft.Types |
incrInvalidCmdCounter | Raft.Metrics |
incrTerm | Raft.Types |
Index | |
1 (Type/Class) | Raft.Types, Raft |
2 (Data Constructor) | Raft.Types, Raft |
index0 | Raft.Types, Raft |
IndexInterval | |
1 (Type/Class) | Raft.Log |
2 (Data Constructor) | Raft.Log |
Info | Raft.Logging, Raft |
initConnInfo | Raft.Log.PostgreSQL |
initializeLog | Raft.Log |
initializePersistentState | Raft.Persistent, Raft |
initializeRaftEnv | Raft.Monad |
initPersistentState | Raft.Persistent, Raft |
initRaftClientState | Raft.Client |
initRaftNodeState | Raft.NodeState, Raft |
intToNatural | Raft.Types |
invalidCmdCounter | Raft.Metrics |
InvalidMetricsPort | Raft.Config |
isCandidate | Raft.NodeState, Raft |
isFollower | Raft.NodeState, Raft |
isLeader | Raft.NodeState, Raft |
lastEntryIndex | Raft.Log |
LastLogEntry | |
1 (Type/Class) | Raft.Log |
2 (Data Constructor) | Raft.Log |
lastLogEntryIndex | Raft.Log |
lastLogEntryIndexAndTerm | Raft.Log |
lastLogEntryIssuer | Raft.Log |
lastLogEntryTerm | Raft.Log |
lastLogHashLabel | Raft.Metrics |
lastLogIndexGauge | Raft.Metrics |
Leader | Raft.Types, Raft |
LeaderId | |
1 (Type/Class) | Raft.Types, Raft |
2 (Data Constructor) | Raft.Types, Raft |
LeaderIssuer | Raft.Log |
leaderRaftHandler | Raft.Handle |
leaderResultState | Raft.NodeState |
LeaderState | |
1 (Type/Class) | Raft.NodeState, Raft |
2 (Data Constructor) | Raft.NodeState, Raft |
logAndPanic | |
1 (Function) | Raft.Logging |
2 (Function) | Raft.Monad |
logAndPanicIO | Raft.Logging |
logCritical | |
1 (Function) | Raft.Logging |
2 (Function) | Raft.Monad |
logCriticalIO | Raft.Logging |
LogCtx | |
1 (Type/Class) | Raft.Logging, Raft |
2 (Data Constructor) | Raft.Logging, Raft |
logCtxDest | Raft.Logging, Raft |
logCtxSeverity | Raft.Logging, Raft |
logDebug | |
1 (Function) | Raft.Logging |
2 (Function) | Raft.Monad |
3 (Function) | Raft.Transition |
logDebugIO | Raft.Logging |
LogDest | Raft.Logging, Raft |
LogFile | Raft.Logging, Raft |
loggerCtx | Raft.Logging |
logInfo | |
1 (Function) | Raft.Logging |
2 (Function) | Raft.Monad |
3 (Function) | Raft.Transition |
logInfoIO | Raft.Logging |
LogMsg | |
1 (Type/Class) | Raft.Logging |
2 (Data Constructor) | Raft.Logging |
logMsg | Raft.Logging |
LogMsgData | |
1 (Type/Class) | Raft.Logging |
2 (Data Constructor) | Raft.Logging |
logMsgData | Raft.Logging |
logMsgDataToText | Raft.Logging |
logMsgNodeId | Raft.Logging |
logMsgNodeState | Raft.Logging |
logMsgToText | Raft.Logging |
LogStdout | Raft.Logging, Raft |
logToDest | Raft.Logging |
logToFile | Raft.Logging |
logToStdout | Raft.Logging |
LogWith | Raft.Logging, Raft |
logWithSeverity | Raft.Logging |
logWithSeverityIO | Raft.Logging |
lsClientReqCache | Raft.NodeState, Raft |
lsCommitIndex | Raft.NodeState, Raft |
lsLastApplied | Raft.NodeState, Raft |
lsLastLogEntry | Raft.NodeState, Raft |
lsMatchIndex | Raft.NodeState, Raft |
lsNextIndex | Raft.NodeState, Raft |
lsReadReqsHandled | Raft.NodeState, Raft |
lsReadRequest | Raft.NodeState, Raft |
ManyEntries | Raft.Log |
MessageEvent | |
1 (Type/Class) | Raft.Event, Raft |
2 (Data Constructor) | Raft.Event, Raft |
mkLogMsgData | Raft.Logging |
mkRaftHandler | Raft.Handle |
Mode | Raft.Types, Raft |
MonadicValidation | Raft.StateMachine |
MonadRaft | Raft.Monad |
MonadRaftChan | Raft.Monad |
MonadRaftFork | Raft.Monad |
mTime | Raft.Logging |
New | Raft.Config |
newClientRespChan | Examples.Raft.Socket.Client |
newRaftChan | Raft.Monad |
newTimer | Control.Concurrent.STM.Timer |
newTimerRange | Control.Concurrent.STM.Timer |
nidToHostPort | Examples.Raft.Socket.Common |
NodeCandidateState | Raft.NodeState, Raft |
nodeConfig | Raft.Transition |
NodeFollowerState | Raft.NodeState, Raft |
NodeId | Raft.Types, Raft |
NodeIds | Raft.Types, Raft |
NodeLeaderState | Raft.NodeState, Raft |
nodeMetrics | Raft.Transition |
nodeMode | Raft.NodeState |
NodeSocketEnv | |
1 (Type/Class) | Examples.Raft.Socket.Node |
2 (Data Constructor) | Examples.Raft.Socket.Node |
NodeState | Raft.NodeState, Raft |
nodeState | Raft.Transition |
nodeStateLabel | Raft.Metrics |
NoEntries | Raft.RPC |
NoEntriesSpec | Raft.RPC |
NoFreePortAvailable | Raft.Config |
NoLeader | Raft.Types, Raft |
NoLogEntries | Raft.Log |
NoLogs | Raft.Logging, Raft |
NoMonadicValidation | Raft.StateMachine |
Noop | Raft.NodeState |
NoValue | Raft.Log |
nsClientReqQueue | Examples.Raft.Socket.Node |
nsClientReqResps | Examples.Raft.Socket.Node |
nsMsgQueue | Examples.Raft.Socket.Node |
OkResponse | Examples.Raft.Socket.Node |
OneEntry | Raft.Log |
OptionalRaftNodeConfig | |
1 (Type/Class) | Raft.Config |
2 (Data Constructor) | Raft.Config |
PersistentState | |
1 (Type/Class) | Raft.Persistent, Raft |
2 (Data Constructor) | Raft.Persistent, Raft |
preprocessCmd | Raft.StateMachine, Raft |
prevTerm | Raft.Types |
raftClientCurrentLeader | Raft.Client |
RaftClientEnv | |
1 (Type/Class) | Raft.Client |
2 (Data Constructor) | Raft.Client |
RaftClientError | Raft.Client |
raftClientId | Raft.Client |
raftClientRaftNodes | Raft.Client |
raftClientRandomGen | Raft.Client |
RaftClientRecv | Raft.Client |
raftClientRecv | Raft.Client |
RaftClientRecvError | |
1 (Data Constructor) | Raft.Client |
2 (Type/Class) | Raft.Client |
RaftClientRespChanT | |
1 (Type/Class) | Examples.Raft.Socket.Client |
2 (Data Constructor) | Examples.Raft.Socket.Client |
RaftClientSend | Raft.Client |
raftClientSend | Raft.Client |
RaftClientSendError | |
1 (Data Constructor) | Raft.Client |
2 (Type/Class) | Raft.Client |
raftClientSerialNum | Raft.Client |
RaftClientState | |
1 (Type/Class) | Raft.Client |
2 (Data Constructor) | Raft.Client |
RaftClientT | Raft.Client |
RaftClientTimeout | Raft.Client |
RaftClientUnexpectedMetricsResp | Raft.Client |
RaftClientUnexpectedReadResp | Raft.Client |
RaftClientUnexpectedRedirect | Raft.Client |
RaftClientUnexpectedWriteResp | Raft.Client |
raftConfigElectionTimeout | Raft.Config, Raft |
raftConfigHeartbeatTimeout | Raft.Config, Raft |
raftConfigMetricsPort | Raft.Config |
raftConfigNodeId | Raft.Config, Raft |
raftConfigNodeIds | Raft.Config, Raft |
raftConfigStorageState | Raft.Config, Raft |
raftConfigTimerSeed | Raft.Config |
raftDatabaseConnInfo | Raft.Log.PostgreSQL |
raftDatabaseName | Raft.Log.PostgreSQL |
RaftDeleteLog | Raft.Log, Raft |
RaftDeleteLogError | Raft.Log, Raft |
RaftEnv | |
1 (Type/Class) | Raft.Monad, Raft |
2 (Data Constructor) | Raft.Monad, Raft |
RaftEventChan | Raft.Monad |
raftFork | Raft.Monad |
RaftHandler | |
1 (Type/Class) | Raft.Handle |
2 (Data Constructor) | Raft.Handle |
RaftInitLog | Raft.Log |
RaftInitLogError | Raft.Log |
RaftLog | Raft.Log, Raft |
RaftLogError | Raft.Log, Raft |
RaftLogExceptions | Raft.Log, Raft |
RaftLogFile | |
1 (Type/Class) | Examples.Raft.FileStore.Log |
2 (Data Constructor) | Examples.Raft.FileStore.Log |
RaftLogFileStoreError | |
1 (Type/Class) | Examples.Raft.FileStore.Log |
2 (Data Constructor) | Examples.Raft.FileStore.Log |
RaftLogFileStoreT | |
1 (Type/Class) | Examples.Raft.FileStore.Log |
2 (Data Constructor) | Examples.Raft.FileStore.Log |
RaftLogger | Raft.Logging |
RaftLoggerM | Raft.Logging |
RaftLoggerT | |
1 (Type/Class) | Raft.Logging |
2 (Data Constructor) | Raft.Logging |
RaftNodeConfig | |
1 (Type/Class) | Raft.Config, Raft |
2 (Data Constructor) | Raft.Config, Raft |
raftNodeConfig | Raft.Monad, Raft |
raftNodeLogCtx | Raft.Monad, Raft |
RaftNodeMetrics | |
1 (Type/Class) | Raft.Metrics |
2 (Data Constructor) | Raft.Metrics |
raftNodeMetrics | Raft.Monad, Raft |
RaftNodeState | |
1 (Type/Class) | Raft.NodeState, Raft |
2 (Data Constructor) | Raft.NodeState, Raft |
RaftPersist | Raft.Persistent, Raft |
RaftPersistError | Raft.Persistent, Raft |
RaftPersistFile | |
1 (Type/Class) | Examples.Raft.FileStore.Persistent |
2 (Data Constructor) | Examples.Raft.FileStore.Persistent |
RaftPersistFileStoreError | |
1 (Type/Class) | Examples.Raft.FileStore.Persistent |
2 (Data Constructor) | Examples.Raft.FileStore.Persistent |
RaftPersistFileStoreT | |
1 (Type/Class) | Examples.Raft.FileStore.Persistent |
2 (Data Constructor) | Examples.Raft.FileStore.Persistent |
RaftPostgresT | |
1 (Type/Class) | Raft.Log.PostgreSQL |
2 (Data Constructor) | Raft.Log.PostgreSQL |
RaftReadLog | Raft.Log, Raft |
RaftReadLogError | Raft.Log, Raft |
RaftRecvClient | Raft.Client, Raft |
RaftRecvClientError | Raft.Client, Raft |
RaftRecvRPC | Raft.RPC, Raft |
RaftRecvRPCError | Raft.RPC, Raft |
RaftSendClient | Raft.Client, Raft |
RaftSendRPC | Raft.RPC, Raft |
RaftSocketClientM | Examples.Raft.Socket.Client |
RaftSocketT | |
1 (Type/Class) | Examples.Raft.Socket.Node |
2 (Data Constructor) | Examples.Raft.Socket.Node |
RaftStateMachine | Raft.StateMachine, Raft |
RaftStateMachinePure | Raft.StateMachine, Raft |
RaftStateMachinePureCtx | Raft.StateMachine, Raft |
RaftStateMachinePureError | Raft.StateMachine, Raft.StateMachine, Raft |
RaftT | Raft.Monad |
RaftThreadId | Raft.Monad |
RaftThreadRole | Raft.Monad |
RaftWriteLog | Raft.Log, Raft |
RaftWriteLogError | Raft.Log, Raft |
readEntries | Raft.Log |
ReadEntriesRes | Raft.Log |
ReadEntriesSpec | Raft.Log, Raft.Client |
readLastLogEntry | Raft.Log, Raft |
readLogEntries | Examples.Raft.FileStore.Log |
readLogEntriesFrom | Raft.Log, Raft |
readLogEntry | Raft.Log, Raft |
readPersistentState | Raft.Persistent, Raft |
readRaftChan | Raft.Monad |
receiveClient | Raft.Client, Raft |
receiveRPC | Raft.RPC, Raft |
recvSerialized | Examples.Raft.Socket.Common |
redirectClientToLeader | Raft.Transition |
RequestVote | |
1 (Type/Class) | Raft.RPC, Raft |
2 (Data Constructor) | Raft.RPC, Raft |
RequestVoteResponse | |
1 (Type/Class) | Raft.RPC, Raft |
2 (Data Constructor) | Raft.RPC, Raft |
RequestVoteResponseRPC | Raft.RPC, Raft |
RequestVoteRPC | Raft.RPC, Raft |
resetElectionTimeout | Raft.Transition |
resetElectionTimer | Raft.Monad, Raft |
resetHeartbeatTimeout | Raft.Transition |
resetHeartbeatTimer | Raft.Monad, Raft |
ResetTimeoutTimer | Raft.Action |
resetTimer | Control.Concurrent.STM.Timer |
resolveMetricsPort | Raft.Config |
resolveMetricsPortE | Raft.Config |
resolveTimerSeed | Raft.Config |
respondClientMetrics | Raft.Transition |
respondClientRead | Raft.Transition |
respondClientRedir | Raft.Transition |
respondClientWrite | Raft.Transition |
RespondToClient | Raft.Action |
ResponseSignal | Examples.Raft.Socket.Node |
RestartElection | Raft.NodeState |
ResultState | |
1 (Type/Class) | Raft.NodeState |
2 (Data Constructor) | Raft.NodeState |
retryOnRedirect | Raft.Client |
RPC | Raft.RPC, Raft |
rpc | Raft.RPC, Raft |
RPCHandler | |
1 (Data Constructor) | Raft.Monad |
2 (Type/Class) | Raft.Transition |
RPCMessage | |
1 (Type/Class) | Raft.RPC, Raft |
2 (Data Constructor) | Raft.RPC, Raft |
RPCMessageEvent | Raft.Event, Raft |
rpcTerm | Raft.RPC |
RPCType | Raft.RPC, Raft |
rsmTransition | Raft.StateMachine, Raft |
runRaftClientT | Raft.Client |
runRaftLogFileStoreT | Examples.Raft.FileStore.Log |
runRaftLoggerM | Raft.Logging |
runRaftLoggerT | Raft.Logging |
runRaftNode | Raft |
runRaftPersistFileStoreT | Examples.Raft.FileStore.Persistent |
runRaftPostgresM | Raft.Log.PostgreSQL |
runRaftPostgresT | Raft.Log.PostgreSQL |
runRaftSocketClientM | Examples.Raft.Socket.Client |
runRaftSocketT | Examples.Raft.Socket.Node |
runRaftT | Raft.Monad, Raft |
runTransitionM | Raft.Transition |
rvCandidateId | Raft.RPC, Raft |
rvLastLogIndex | Raft.RPC, Raft |
rvLastLogTerm | Raft.RPC, Raft |
rvrTerm | Raft.RPC, Raft |
rvrVoteGranted | Raft.RPC, Raft |
rvTerm | Raft.RPC, Raft |
send | Raft.Transition |
SendAppendEntriesResponseRPC | Raft.Action |
SendAppendEntriesRPC | Raft.Action |
sendClient | Raft.Client, Raft |
sender | Raft.RPC, Raft |
SendHeartbeat | Raft.NodeState |
SendRequestVoteResponseRPC | Raft.Action |
SendRequestVoteRPC | Raft.Action |
SendRPC | Raft.Action |
sendRPC | Raft.RPC, Raft |
SendRPCAction | Raft.Action |
SendRPCs | Raft.Action |
SerialNum | |
1 (Type/Class) | Raft.Types, Raft.Client |
2 (Data Constructor) | Raft.Types, Raft.Client |
setCommitIndexGauge | Raft.Metrics |
setLastLogEntry | Raft.NodeState, Raft |
setLastLogEntryHashLabel | Raft.Metrics |
setLastLogEntryIndexGauge | Raft.Metrics |
setNodeStateLabel | Raft.Metrics |
setupDB | Raft.Log.PostgreSQL |
Severity | Raft.Logging, Raft |
severity | Raft.Logging |
socketClientRead | Examples.Raft.Socket.Client |
socketClientWrite | Examples.Raft.Socket.Client |
StartElection | Raft.NodeState |
startElection | Raft.Transition |
startTimer | Control.Concurrent.STM.Timer |
stateMachine | Raft.Transition |
StorageState | Raft.Config |
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 |
unEntryHash | Raft.Log |
unLeaderId | Raft.Types, Raft |
unRaftClientRespChanT | Examples.Raft.Socket.Client |
unRaftLogFile | Examples.Raft.FileStore.Log |
unRaftLogFileStoreT | Examples.Raft.FileStore.Log |
unRaftLoggerT | Raft.Logging |
unRaftNodeState | Raft.NodeState, Raft |
unRaftPersistFileStoreT | Examples.Raft.FileStore.Persistent |
unRaftPostgresT | Raft.Log.PostgreSQL |
unRaftSocketT | Examples.Raft.Socket.Node |
unTransitionM | Raft.Transition |
UpdateClientReqCacheFrom | Raft.Action |
updateClientReqCacheFromIdx | Raft.Transition |
updateLog | Raft.Log |
validateCmd | Raft.StateMachine, Raft |
votedFor | Raft.Persistent, Raft |
waitTimer | Control.Concurrent.STM.Timer |
writeLogEntries | Raft.Log, Raft |
writePersistentState | Raft.Persistent, Raft |
writeRaftChan | Raft.Monad |