Raft.Event

Documentation

data Event v

Representation of events a raft node can send and receive

Constructors

MessageEvent (MessageEvent v)

TimeoutEvent SystemTime Timeout

Instances

Show v => Show (Event v)

Defined in Raft.Event

Methods

showsPrec :: Int -> Event v -> ShowS

show :: Event v -> String

showList :: [Event v] -> ShowS

data Timeout

Representation of timeouts

Constructors

ElectionTimeout

Timeout after which a follower will become candidate

HeartbeatTimeout

Timeout after which a leader will send AppendEntries RPC to all peers

Instances

Show Timeout

Defined in Raft.Event

Methods

showsPrec :: Int -> Timeout -> ShowS

show :: Timeout -> String

showList :: [Timeout] -> ShowS

data MessageEvent v

Representation of message events to a node

Constructors

RPCMessageEvent (RPCMessage v)

Incoming event from a peer

ClientRequestEvent (ClientRequest v)

Incoming event from a client

Instances

Show v => Show (MessageEvent v)

Defined in Raft.Event

Methods

showsPrec :: Int -> MessageEvent v -> ShowS

show :: MessageEvent v -> String

showList :: [MessageEvent v] -> ShowS

Generic (MessageEvent v)

Defined in Raft.Event

Associated Types

type Rep (MessageEvent v) :: Type -> Type

Methods

from :: MessageEvent v -> Rep (MessageEvent v) x

to :: Rep (MessageEvent v) x -> MessageEvent v

Serialize v => Serialize (MessageEvent v)

Defined in Raft.Event

Methods

put :: Putter (MessageEvent v)

get :: Get (MessageEvent v)

type Rep (MessageEvent v)

Defined in Raft.Event

type Rep (MessageEvent v) = D1 (MetaData "MessageEvent" "Raft.Event" "libraft-0.5.0.0-J9sQlo4v2xjSwCkwompQR" False) (C1 (MetaCons "RPCMessageEvent" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (RPCMessage v))) :+: C1 (MetaCons "ClientRequestEvent" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (ClientRequest v))))