Index
acceptClientConnections | Examples.Raft.Socket.Client |
acceptForkNode | 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 |
AppendLogEntries | Raft.Action |
appendLogEntries | Raft.Monad |
applyCmdRSMP | Raft.Monad, Raft |
applyEntryRSM | Raft.Monad |
askNodeId | Raft.Monad |
askRSMPCtx | Raft.Monad, Raft |
BecomeLeader | Raft.NodeState |
broadcast | Raft.Monad |
BroadcastRPC | Raft.Action |
Candidate | Raft.NodeState, Raft |
candidateRaftHandler | Raft.Handle |
candidateResultState | Raft.NodeState |
CandidateState | |
1 (Type/Class) | Raft.NodeState, Raft |
2 (Data Constructor) | Raft.NodeState, Raft |
clientHost | Examples.Raft.Socket.Client |
ClientId | |
1 (Type/Class) | Raft.Types, Raft |
2 (Data Constructor) | Raft.Types, Raft |
ClientIssuer | Raft.Log |
clientPort | Examples.Raft.Socket.Client |
ClientReadReq | Raft.Client, Raft |
ClientReadReqs | Raft.NodeState |
ClientReadResp | |
1 (Type/Class) | Raft.Client, Raft |
2 (Data Constructor) | Raft.Client, Raft |
ClientReadResponse | Raft.Client, Raft |
ClientRedirectResponse | Raft.Client, Raft |
ClientRedirResp | |
1 (Type/Class) | Raft.Client, Raft |
2 (Data Constructor) | Raft.Client, Raft |
ClientReq | Raft.Client, Raft |
ClientReqHandler | Raft.Monad |
ClientRequest | |
1 (Type/Class) | Raft.Client, Raft |
2 (Data Constructor) | Raft.Client, Raft |
ClientRequestEvent | Raft.Event, Raft |
ClientResponse | Raft.Client, Raft |
clientSocket | Examples.Raft.Socket.Client |
ClientSocketEnv | |
1 (Type/Class) | Examples.Raft.Socket.Client |
2 (Data Constructor) | Examples.Raft.Socket.Client |
ClientWriteReq | Raft.Client, Raft |
ClientWriteResp | |
1 (Type/Class) | Raft.Client, Raft |
2 (Data Constructor) | Raft.Client, Raft |
ClientWriteResponse | Raft.Client, Raft |
configElectionTimeout | Raft.Config, Raft |
configHeartbeatTimeout | Raft.Config, Raft |
configNodeId | Raft.Config, Raft |
configNodeIds | Raft.Config, Raft |
Critical | Raft.Logging, Raft |
csCommitIndex | Raft.NodeState, Raft |
csLastApplied | Raft.NodeState, Raft |
csLastLogEntryData | Raft.NodeState, Raft |
csVotes | Raft.NodeState, Raft |
CurrentLeader | |
1 (Type/Class) | Raft.NodeState, Raft |
2 (Data Constructor) | Raft.NodeState, Raft |
currentTerm | Raft.Persistent, Raft |
Debug | Raft.Logging, Raft |
decrIndexWithDefault0 | Raft.Types |
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 |
EntriesSpec | Raft.RPC |
Entry | |
1 (Type/Class) | Raft.Log, Raft |
2 (Data Constructor) | Raft.Log, Raft |
entryIndex | Raft.Log, Raft |
EntryIssuer | Raft.Log |
entryIssuer | Raft.Log, Raft |
entryTerm | Raft.Log, Raft |
EntryValue | |
1 (Type/Class) | Raft.Log |
2 (Data Constructor) | Raft.Log |
entryValue | Raft.Log, Raft |
Event | Raft.Event, Raft |
EventChan | Raft |
eventChan | Raft |
Follower | Raft.NodeState, 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 |
FromInconsistency | Raft.RPC |
FromIndex | Raft.RPC |
FromNewLeader | Raft.RPC |
fsCommitIndex | Raft.NodeState, Raft |
fsCurrentLeader | Raft.NodeState, Raft |
fsLastApplied | Raft.NodeState, Raft |
fsLastLogEntryData | Raft.NodeState, Raft |
fsTermAtAEPrevIndex | Raft.NodeState, Raft |
getFreePort | Examples.Raft.Socket.Common |
getLastAppliedAndCommitIndex | Raft.NodeState, Raft |
getLastLogEntryData | Raft.NodeState, Raft |
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 |
handleClientRequest | |
1 (Function) | Raft.Leader |
2 (Function) | Raft.Follower |
3 (Function) | Raft.Candidate |
4 (Function) | Raft.Handle |
handleEvent | Raft.Handle |
handleEvent' | Raft.Handle |
handleEventLoop | Raft |
handleFailure | Examples.Raft.Socket.Node |
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 |
HeartbeatTimeout | Raft.Event, Raft |
HigherTermFoundCandidate | Raft.NodeState |
HigherTermFoundFollower | Raft.NodeState |
HigherTermFoundLeader | Raft.NodeState |
hostPortToNid | Examples.Raft.Socket.Common |
incrIndex | Raft.Types |
incrTerm | Raft.Types |
Index | |
1 (Type/Class) | Raft.Types, Raft |
2 (Data Constructor) | Raft.Types, Raft |
index0 | Raft.Types, Raft |
Info | Raft.Logging, Raft |
initPersistentState | Raft.Persistent, Raft |
initRaftNodeState | Raft.NodeState, Raft |
isCandidate | Raft.NodeState, Raft |
isFollower | Raft.NodeState, Raft |
isLeader | Raft.NodeState, Raft |
Leader | Raft.NodeState, 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 |
logCritical | Raft.Logging |
logCriticalIO | Raft.Logging |
logDebug | |
1 (Function) | Raft.Logging |
2 (Function) | Raft.Monad |
logDebugIO | Raft.Logging |
LogDest | Raft.Logging, Raft |
LogFile | Raft.Logging, Raft |
loggerNodeId | Raft.Logging |
loggerNodeState | Raft.Logging |
logInfo | |
1 (Function) | Raft.Logging |
2 (Function) | Raft.Monad |
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 |
logWithSeverity | Raft.Logging |
logWithSeverityIO | Raft.Logging |
lsCommitIndex | Raft.NodeState, Raft |
lsLastApplied | Raft.NodeState, Raft |
lsLastLogEntryData | Raft.NodeState, Raft |
lsMatchIndex | Raft.NodeState, Raft |
lsNextIndex | Raft.NodeState, Raft |
lsReadReqsHandled | Raft.NodeState, Raft |
lsReadRequest | Raft.NodeState, Raft |
MessageEvent | |
1 (Type/Class) | Raft.Event, Raft |
2 (Data Constructor) | Raft.Event, Raft |
mkLogMsgData | Raft.Logging |
mkRaftHandler | Raft.Handle |
Mode | Raft.NodeState, Raft |
mTime | Raft.Logging |
newSock | Examples.Raft.Socket.Node |
newTimer | Control.Concurrent.STM.Timer |
newTimerRange | Control.Concurrent.STM.Timer |
nfsLogEntries | Examples.Raft.FileStore |
nfsPersistentState | Examples.Raft.FileStore |
nidToHostPort | Examples.Raft.Socket.Common |
NodeCandidateState | Raft.NodeState, Raft |
NodeConfig | |
1 (Type/Class) | Raft.Config, Raft |
2 (Data Constructor) | Raft.Config, Raft |
nodeConfig | Raft.Monad |
NodeEnvError | |
1 (Type/Class) | Examples.Raft.FileStore |
2 (Data Constructor) | Examples.Raft.FileStore |
NodeFileStoreEnv | |
1 (Type/Class) | Examples.Raft.FileStore |
2 (Data Constructor) | Examples.Raft.FileStore |
NodeFollowerState | Raft.NodeState, Raft |
NodeId | Raft.Types, Raft |
NodeIds | Raft.Types, Raft |
NodeLeaderState | Raft.NodeState, Raft |
nodeMode | Raft.NodeState |
NodeSocketEnv | |
1 (Type/Class) | Examples.Raft.Socket.Node |
2 (Data Constructor) | Examples.Raft.Socket.Node |
NodeState | Raft.NodeState, Raft |
nodeState | Raft.Monad |
NoEntries | Raft.RPC |
NoEntriesSpec | Raft.RPC |
NoLeader | Raft.NodeState, Raft |
NoLogs | Raft.Logging, Raft |
Noop | Raft.NodeState |
NoValue | Raft.Log |
nsClientReqQueue | Examples.Raft.Socket.Node |
nsMsgQueue | Examples.Raft.Socket.Node |
nsPeers | Examples.Raft.Socket.Node |
nsSocket | Examples.Raft.Socket.Node |
PersistentState | |
1 (Type/Class) | Raft.Persistent, Raft |
2 (Data Constructor) | Raft.Persistent, Raft |
prevTerm | Raft.Types |
RaftDeleteLog | Raft.Log, Raft |
RaftDeleteLogError | Raft.Log, Raft |
RaftEnv | |
1 (Type/Class) | Raft |
2 (Data Constructor) | Raft |
RaftFileStoreT | |
1 (Type/Class) | Examples.Raft.FileStore |
2 (Data Constructor) | Examples.Raft.FileStore |
RaftHandler | |
1 (Type/Class) | Raft.Handle |
2 (Data Constructor) | Raft.Handle |
RaftLog | Raft.Log, Raft |
RaftLogDeleteError | Raft.Log, Raft |
RaftLogError | Raft.Log, Raft |
RaftLogExceptions | Raft.Log, Raft |
RaftLogger | Raft.Logging |
RaftLoggerM | Raft.Logging |
RaftLoggerT | |
1 (Type/Class) | Raft.Logging |
2 (Data Constructor) | Raft.Logging |
RaftLogReadError | Raft.Log, Raft |
RaftLogWriteError | Raft.Log, Raft |
raftNodeConfig | Raft |
raftNodeLogDest | Raft |
RaftNodeState | |
1 (Type/Class) | Raft.NodeState, Raft |
2 (Data Constructor) | Raft.NodeState, Raft |
RaftPersist | Raft.Persistent, Raft |
RaftPersistError | Raft.Persistent, Raft |
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 | |
1 (Type/Class) | Examples.Raft.Socket.Client |
2 (Data Constructor) | Examples.Raft.Socket.Client |
RaftSocketT | |
1 (Type/Class) | Examples.Raft.Socket.Node |
2 (Data Constructor) | Examples.Raft.Socket.Node |
RaftWriteLog | Raft.Log, Raft |
RaftWriteLogError | Raft.Log, Raft |
readLastLogEntry | Raft.Log, Raft |
readLogEntries | Examples.Raft.FileStore |
readLogEntriesFrom | Raft.Log, Raft |
readLogEntry | Raft.Log, Raft |
readPersistentState | Raft.Persistent, Raft |
receiveClient | Raft.Client, Raft |
receiveRPC | Raft.RPC, Raft |
redirectClientToLeader | Raft.Monad |
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.Monad |
resetElectionTimer | Raft |
resetHeartbeatTimeout | Raft.Monad |
resetHeartbeatTimer | Raft |
ResetTimeoutTimer | Raft.Action |
resetTimer | Control.Concurrent.STM.Timer |
respondClientRead | Raft.Monad |
RespondToClient | Raft.Action |
RestartElection | Raft.NodeState |
ResultState | |
1 (Type/Class) | Raft.NodeState |
2 (Data Constructor) | Raft.NodeState |
retryConnection | Examples.Raft.Socket.Node |
RPC | Raft.RPC, Raft |
rpc | Raft.RPC, Raft |
RPCHandler | Raft.Monad |
RPCMessage | |
1 (Type/Class) | Raft.RPC, Raft |
2 (Data Constructor) | Raft.RPC, Raft |
RPCMessageEvent | Raft.Event, Raft |
rpcTerm | Raft.RPC |
RPCType | Raft.RPC, Raft |
RSM | Raft.Monad, Raft |
RSMP | Raft.Monad, Raft |
RSMPCtx | Raft.Monad, Raft |
RSMPError | Raft.Monad, Raft |
runRaftLoggerM | Raft.Logging |
runRaftLoggerT | Raft.Logging |
runRaftNode | Raft |
runRaftSocketClientM | Examples.Raft.Socket.Client |
runRaftSocketT | Examples.Raft.Socket.Node |
runRaftT | Raft |
runTransitionM | Raft.Monad |
rvCandidateId | Raft.RPC, Raft |
rvLastLogIndex | Raft.RPC, Raft |
rvLastLogTerm | Raft.RPC, Raft |
rvrTerm | Raft.RPC, Raft |
rvrVoteGranted | Raft.RPC, Raft |
rvTerm | Raft.RPC, Raft |
selectRndNode | Examples.Raft.Socket.Client |
send | Raft.Monad |
SendAppendEntriesResponseRPC | Raft.Action |
SendAppendEntriesRPC | Raft.Action |
sendClient | Raft.Client, Raft |
sender | Raft.RPC, Raft |
SendHeartbeat | Raft.NodeState |
sendRead | Examples.Raft.Socket.Client |
sendReadRndNode | Examples.Raft.Socket.Client |
SendRequestVoteResponseRPC | Raft.Action |
SendRequestVoteRPC | Raft.Action |
SendRPC | Raft.Action |
sendRPC | Raft.RPC, Raft |
SendRPCAction | Raft.Action |
SendRPCs | Raft.Action |
sendWrite | Examples.Raft.Socket.Client |
sendWriteRndNode | Examples.Raft.Socket.Client |
setLastLogEntryData | Raft.NodeState, Raft |
Severity | Raft.Logging, Raft |
severity | Raft.Logging |
StartElection | Raft.NodeState |
startElection | Raft.Monad |
startTimer | Control.Concurrent.STM.Timer |
stateMachine | Raft.Monad |
tellAction | Raft.Monad |
tellActions | Raft.Monad |
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.Monad |
Timer | Control.Concurrent.STM.Timer |
toRPC | Raft.RPC, Raft |
Transition | Raft.NodeState |
TransitionEnv | |
1 (Type/Class) | Raft.Monad |
2 (Data Constructor) | Raft.Monad |
TransitionM | |
1 (Type/Class) | Raft.Monad |
2 (Data Constructor) | Raft.Monad |
unLeaderId | Raft.Types, Raft |
unRaftFileStoreT | Examples.Raft.FileStore |
unRaftLoggerT | Raft.Logging |
unRaftNodeState | Raft.NodeState, Raft |
unRaftSocketClientM | Examples.Raft.Socket.Client |
unRaftSocketT | Examples.Raft.Socket.Node |
unTransitionM | Raft.Monad |
updateLog | Raft.Log |
validateCmd | Raft.Monad, Raft |
votedFor | Raft.Persistent, Raft |
waitTimer | Control.Concurrent.STM.Timer |
writeLogEntries | Raft.Log, Raft |
writePersistentState | Raft.Persistent, Raft |