Raft.Config

Documentation

data NodeConfig

Configuration of a node in the cluster

Constructors

NodeConfig

Fields

• configNodeId :: NodeId

  Node id of the running node

• configNodeIds :: NodeIds

  Set of all other node ids in the cluster

• configElectionTimeout :: (Natural, Natural)

  Range of times an election timeout can take

• configHeartbeatTimeout :: Natural

  Heartbeat timeout timer

Instances

Show NodeConfig

Defined in Raft.Config

Methods

showsPrec :: Int -> NodeConfig -> ShowS

show :: NodeConfig -> String

showList :: [NodeConfig] -> ShowS