Raft.Config

Documentation

data RaftNodeConfig

Configuration of a node in the cluster

Constructors

RaftNodeConfig

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

• configStorageState :: StorageState

  Create a fresh DB or read from existing

Instances

Show RaftNodeConfig

Defined in Raft.Config

Methods

showsPrec :: Int -> RaftNodeConfig -> ShowS

show :: RaftNodeConfig -> String

showList :: [RaftNodeConfig] -> ShowS

data StorageState

Constructors

New

Existing

Instances

Show StorageState

Defined in Raft.Config

Methods

showsPrec :: Int -> StorageState -> ShowS

show :: StorageState -> String

showList :: [StorageState] -> ShowS