Raft.Types

Documentation

type NodeId = ByteString

Unique identifier of a Raft node

type NodeIds = Set NodeId

newtype ClientId

Unique identifier of a client

Constructors

ClientId NodeId

Instances

Eq ClientId

Defined in Raft.Types

Methods

(==) :: ClientId -> ClientId -> Bool

(/=) :: ClientId -> ClientId -> Bool

Ord ClientId

Defined in Raft.Types

Methods

compare :: ClientId -> ClientId -> Ordering

(<) :: ClientId -> ClientId -> Bool

(<=) :: ClientId -> ClientId -> Bool

(>) :: ClientId -> ClientId -> Bool

(>=) :: ClientId -> ClientId -> Bool

max :: ClientId -> ClientId -> ClientId

min :: ClientId -> ClientId -> ClientId

Read ClientId

Defined in Raft.Types

Methods

readsPrec :: Int -> ReadS ClientId

readList :: ReadS [ClientId]

readPrec :: ReadPrec ClientId

readListPrec :: ReadPrec [ClientId]

Show ClientId

Defined in Raft.Types

Methods

showsPrec :: Int -> ClientId -> ShowS

show :: ClientId -> String

showList :: [ClientId] -> ShowS

Generic ClientId

Defined in Raft.Types

Associated Types

type Rep ClientId :: Type -> Type

Methods

from :: ClientId -> Rep ClientId x

to :: Rep ClientId x -> ClientId

Serialize ClientId

Defined in Raft.Types

Methods

put :: Putter ClientId

get :: Get ClientId

type Rep ClientId

Defined in Raft.Types

type Rep ClientId = D1 (MetaData "ClientId" "Raft.Types" "libraft-0.5.0.0-J9sQlo4v2xjSwCkwompQR" True) (C1 (MetaCons "ClientId" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NodeId)))

newtype LeaderId

Unique identifier of a leader

Constructors

LeaderId

Fields

• unLeaderId :: NodeId

Instances

Eq LeaderId

Defined in Raft.Types

Methods

(==) :: LeaderId -> LeaderId -> Bool

(/=) :: LeaderId -> LeaderId -> Bool

Read LeaderId

Defined in Raft.Types

Methods

readsPrec :: Int -> ReadS LeaderId

readList :: ReadS [LeaderId]

readPrec :: ReadPrec LeaderId

readListPrec :: ReadPrec [LeaderId]

Show LeaderId

Defined in Raft.Types

Methods

showsPrec :: Int -> LeaderId -> ShowS

show :: LeaderId -> String

showList :: [LeaderId] -> ShowS

Generic LeaderId

Defined in Raft.Types

Associated Types

type Rep LeaderId :: Type -> Type

Methods

from :: LeaderId -> Rep LeaderId x

to :: Rep LeaderId x -> LeaderId

Serialize LeaderId

Defined in Raft.Types

Methods

put :: Putter LeaderId

get :: Get LeaderId

type Rep LeaderId

Defined in Raft.Types

type Rep LeaderId = D1 (MetaData "LeaderId" "Raft.Types" "libraft-0.5.0.0-J9sQlo4v2xjSwCkwompQR" True) (C1 (MetaCons "LeaderId" PrefixI True) (S1 (MetaSel (Just "unLeaderId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NodeId)))

data CurrentLeader

Representation of the current leader in the cluster. The system is considered to be unavailable if there is no leader

Constructors

CurrentLeader LeaderId

NoLeader

Instances

Eq CurrentLeader

Defined in Raft.Types

Methods

(==) :: CurrentLeader -> CurrentLeader -> Bool

(/=) :: CurrentLeader -> CurrentLeader -> Bool

Show CurrentLeader

Defined in Raft.Types

Methods

showsPrec :: Int -> CurrentLeader -> ShowS

show :: CurrentLeader -> String

showList :: [CurrentLeader] -> ShowS

Generic CurrentLeader

Defined in Raft.Types

Associated Types

type Rep CurrentLeader :: Type -> Type

Methods

from :: CurrentLeader -> Rep CurrentLeader x

to :: Rep CurrentLeader x -> CurrentLeader

Serialize CurrentLeader

Defined in Raft.Types

Methods

put :: Putter CurrentLeader

get :: Get CurrentLeader

type Rep CurrentLeader

Defined in Raft.Types

type Rep CurrentLeader = D1 (MetaData "CurrentLeader" "Raft.Types" "libraft-0.5.0.0-J9sQlo4v2xjSwCkwompQR" False) (C1 (MetaCons "CurrentLeader" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 LeaderId)) :+: C1 (MetaCons "NoLeader" PrefixI False) (U1 :: Type -> Type))

data Mode

Constructors

Follower

Candidate

Leader

Instances

Read Mode

Defined in Raft.Types

Methods

readsPrec :: Int -> ReadS Mode

readList :: ReadS [Mode]

readPrec :: ReadPrec Mode

readListPrec :: ReadPrec [Mode]

Show Mode

Defined in Raft.Types

Methods

showsPrec :: Int -> Mode -> ShowS

show :: Mode -> String

showList :: [Mode] -> ShowS

newtype Term

Representation of monotonic election terms

Constructors

Term Natural

Instances

Enum Term

Defined in Raft.Types

Methods

succ :: Term -> Term

pred :: Term -> Term

toEnum :: Int -> Term

fromEnum :: Term -> Int

enumFrom :: Term -> [Term]

enumFromThen :: Term -> Term -> [Term]

enumFromTo :: Term -> Term -> [Term]

enumFromThenTo :: Term -> Term -> Term -> [Term]

Eq Term

Defined in Raft.Types

Methods

(==) :: Term -> Term -> Bool

(/=) :: Term -> Term -> Bool

Ord Term

Defined in Raft.Types

Methods

compare :: Term -> Term -> Ordering

(<) :: Term -> Term -> Bool

(<=) :: Term -> Term -> Bool

(>) :: Term -> Term -> Bool

(>=) :: Term -> Term -> Bool

max :: Term -> Term -> Term

min :: Term -> Term -> Term

Show Term

Defined in Raft.Types

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Generic Term

Defined in Raft.Types

Associated Types

type Rep Term :: Type -> Type

Methods

from :: Term -> Rep Term x

to :: Rep Term x -> Term

Serialize Term

Defined in Raft.Types

Methods

put :: Putter Term

get :: Get Term

FromField Term

Defined in Raft.Types

Methods

fromField :: FieldParser Term

ToField Term

Defined in Raft.Types

Methods

toField :: Term -> Action

type Rep Term

Defined in Raft.Types

type Rep Term = D1 (MetaData "Term" "Raft.Types" "libraft-0.5.0.0-J9sQlo4v2xjSwCkwompQR" True) (C1 (MetaCons "Term" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural)))

intToNatural :: Int -> Either [Char] Natural

term0 :: Term

Initial term. Terms start at 0

incrTerm :: Term -> Term

prevTerm :: Term -> Term

newtype Index

Representation of monotonic indices

Constructors

Index Natural

Instances

Enum Index

Defined in Raft.Types

Methods

succ :: Index -> Index

pred :: Index -> Index

toEnum :: Int -> Index

fromEnum :: Index -> Int

enumFrom :: Index -> [Index]

enumFromThen :: Index -> Index -> [Index]

enumFromTo :: Index -> Index -> [Index]

enumFromThenTo :: Index -> Index -> Index -> [Index]

Eq Index

Defined in Raft.Types

Methods

(==) :: Index -> Index -> Bool

(/=) :: Index -> Index -> Bool

Integral Index

Defined in Raft.Types

Methods

quot :: Index -> Index -> Index

rem :: Index -> Index -> Index

div :: Index -> Index -> Index

mod :: Index -> Index -> Index

quotRem :: Index -> Index -> (Index, Index)

divMod :: Index -> Index -> (Index, Index)

toInteger :: Index -> Integer

Num Index

Defined in Raft.Types

Methods

(+) :: Index -> Index -> Index

(-) :: Index -> Index -> Index

(*) :: Index -> Index -> Index

negate :: Index -> Index

abs :: Index -> Index

signum :: Index -> Index

fromInteger :: Integer -> Index

Ord Index

Defined in Raft.Types

Methods

compare :: Index -> Index -> Ordering

(<) :: Index -> Index -> Bool

(<=) :: Index -> Index -> Bool

(>) :: Index -> Index -> Bool

(>=) :: Index -> Index -> Bool

max :: Index -> Index -> Index

min :: Index -> Index -> Index

Read Index

Defined in Raft.Types

Methods

readsPrec :: Int -> ReadS Index

readList :: ReadS [Index]

readPrec :: ReadPrec Index

readListPrec :: ReadPrec [Index]

Real Index

Defined in Raft.Types

Methods

toRational :: Index -> Rational

Show Index

Defined in Raft.Types

Methods

showsPrec :: Int -> Index -> ShowS

show :: Index -> String

showList :: [Index] -> ShowS

Generic Index

Defined in Raft.Types

Associated Types

type Rep Index :: Type -> Type

Methods

from :: Index -> Rep Index x

to :: Rep Index x -> Index

Serialize Index

Defined in Raft.Types

Methods

put :: Putter Index

get :: Get Index

FromField Index

Defined in Raft.Types

Methods

fromField :: FieldParser Index

ToField Index

Defined in Raft.Types

Methods

toField :: Index -> Action

type Rep Index

Defined in Raft.Types

type Rep Index = D1 (MetaData "Index" "Raft.Types" "libraft-0.5.0.0-J9sQlo4v2xjSwCkwompQR" True) (C1 (MetaCons "Index" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural)))

index0 :: Index

Initial index. Indeces start at 0

incrIndex :: Index -> Index

decrIndexWithDefault0 :: Index -> Index

Decrement index. If the given index is 0, return the given index

newtype SerialNum

Constructors

SerialNum Natural

Instances

Enum SerialNum

Defined in Raft.Types

Methods

succ :: SerialNum -> SerialNum

pred :: SerialNum -> SerialNum

toEnum :: Int -> SerialNum

fromEnum :: SerialNum -> Int

enumFrom :: SerialNum -> [SerialNum]

enumFromThen :: SerialNum -> SerialNum -> [SerialNum]

enumFromTo :: SerialNum -> SerialNum -> [SerialNum]

enumFromThenTo :: SerialNum -> SerialNum -> SerialNum -> [SerialNum]

Eq SerialNum

Defined in Raft.Types

Methods

(==) :: SerialNum -> SerialNum -> Bool

(/=) :: SerialNum -> SerialNum -> Bool

Num SerialNum

Defined in Raft.Types

Methods

(+) :: SerialNum -> SerialNum -> SerialNum

(-) :: SerialNum -> SerialNum -> SerialNum

(*) :: SerialNum -> SerialNum -> SerialNum

negate :: SerialNum -> SerialNum

abs :: SerialNum -> SerialNum

signum :: SerialNum -> SerialNum

fromInteger :: Integer -> SerialNum

Ord SerialNum

Defined in Raft.Types

Methods

compare :: SerialNum -> SerialNum -> Ordering

(<) :: SerialNum -> SerialNum -> Bool

(<=) :: SerialNum -> SerialNum -> Bool

(>) :: SerialNum -> SerialNum -> Bool

(>=) :: SerialNum -> SerialNum -> Bool

max :: SerialNum -> SerialNum -> SerialNum

min :: SerialNum -> SerialNum -> SerialNum

Read SerialNum

Defined in Raft.Types

Methods

readsPrec :: Int -> ReadS SerialNum

readList :: ReadS [SerialNum]

readPrec :: ReadPrec SerialNum

readListPrec :: ReadPrec [SerialNum]

Show SerialNum

Defined in Raft.Types

Methods

showsPrec :: Int -> SerialNum -> ShowS

show :: SerialNum -> String

showList :: [SerialNum] -> ShowS

Generic SerialNum

Defined in Raft.Types

Associated Types

type Rep SerialNum :: Type -> Type

Methods

from :: SerialNum -> Rep SerialNum x

to :: Rep SerialNum x -> SerialNum

Serialize SerialNum

Defined in Raft.Types

Methods

put :: Putter SerialNum

get :: Get SerialNum

type Rep SerialNum

Defined in Raft.Types

type Rep SerialNum = D1 (MetaData "SerialNum" "Raft.Types" "libraft-0.5.0.0-J9sQlo4v2xjSwCkwompQR" True) (C1 (MetaCons "SerialNum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural)))