Safe Haskell	None
Language	Haskell2010

Raft.Types

Synopsis

type NodeId = ByteString
type NodeIds = Set NodeId
newtype ClientId = ClientId NodeId
newtype LeaderId = LeaderId {
- unLeaderId :: NodeId
}
newtype Term = Term Natural
term0 :: Term
incrTerm :: Term -> Term
prevTerm :: Term -> Term
newtype Index = Index Natural
index0 :: Index
incrIndex :: Index -> Index
decrIndexWithDefault0 :: Index -> Index

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 #
Instance details Defined in Raft.Types Methods (==) :: ClientId -> ClientId -> Bool # (/=) :: ClientId -> ClientId -> Bool #
Ord ClientId #
Instance details 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 #
Show ClientId #
Instance details Defined in Raft.Types Methods showsPrec :: Int -> ClientId -> ShowS # show :: ClientId -> String # showList :: [ClientId] -> ShowS #
Generic ClientId #
Instance details Defined in Raft.Types Associated Types type Rep ClientId :: Type -> Type # Methods from :: ClientId -> Rep ClientId x # to :: Rep ClientId x -> ClientId #
Serialize ClientId #
Instance details Defined in Raft.Types Methods put :: Putter ClientId # get :: Get ClientId #
type Rep ClientId #
Instance details Defined in Raft.Types type Rep ClientId = D1 (MetaData "ClientId" "Raft.Types" "libraft-0.1.1.0-K88ErXXABXGJHe9OF75EJD" 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 #
Instance details Defined in Raft.Types Methods (==) :: LeaderId -> LeaderId -> Bool # (/=) :: LeaderId -> LeaderId -> Bool #
Show LeaderId #
Instance details Defined in Raft.Types Methods showsPrec :: Int -> LeaderId -> ShowS # show :: LeaderId -> String # showList :: [LeaderId] -> ShowS #
Generic LeaderId #
Instance details Defined in Raft.Types Associated Types type Rep LeaderId :: Type -> Type # Methods from :: LeaderId -> Rep LeaderId x # to :: Rep LeaderId x -> LeaderId #
Serialize LeaderId #
Instance details Defined in Raft.Types Methods put :: Putter LeaderId # get :: Get LeaderId #
type Rep LeaderId #
Instance details Defined in Raft.Types type Rep LeaderId = D1 (MetaData "LeaderId" "Raft.Types" "libraft-0.1.1.0-K88ErXXABXGJHe9OF75EJD" True) (C1 (MetaCons "LeaderId" PrefixI True) (S1 (MetaSel (Just "unLeaderId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 NodeId)))

newtype Term #

Representation of monotonic election terms

Constructors

Term Natural

Instances

Enum Term #
Instance details 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 #
Instance details Defined in Raft.Types Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Ord Term #
Instance details 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 #
Instance details Defined in Raft.Types Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Generic Term #
Instance details Defined in Raft.Types Associated Types type Rep Term :: Type -> Type # Methods from :: Term -> Rep Term x # to :: Rep Term x -> Term #
Serialize Term #
Instance details Defined in Raft.Types Methods put :: Putter Term # get :: Get Term #
type Rep Term #
Instance details Defined in Raft.Types type Rep Term = D1 (MetaData "Term" "Raft.Types" "libraft-0.1.1.0-K88ErXXABXGJHe9OF75EJD" True) (C1 (MetaCons "Term" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 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 #
Instance details 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 #
Instance details Defined in Raft.Types Methods (==) :: Index -> Index -> Bool # (/=) :: Index -> Index -> Bool #
Integral Index #
Instance details 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 #
Instance details 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 #
Instance details 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 #
Real Index #
Instance details Defined in Raft.Types Methods toRational :: Index -> Rational #
Show Index #
Instance details Defined in Raft.Types Methods showsPrec :: Int -> Index -> ShowS # show :: Index -> String # showList :: [Index] -> ShowS #
Generic Index #
Instance details Defined in Raft.Types Associated Types type Rep Index :: Type -> Type # Methods from :: Index -> Rep Index x # to :: Rep Index x -> Index #
Serialize Index #
Instance details Defined in Raft.Types Methods put :: Putter Index # get :: Get Index #
type Rep Index #
Instance details Defined in Raft.Types type Rep Index = D1 (MetaData "Index" "Raft.Types" "libraft-0.1.1.0-K88ErXXABXGJHe9OF75EJD" 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