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

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.1.1.0-8nwazCMBvi7EUIW9UIbZhF" 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

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.1.1.0-8nwazCMBvi7EUIW9UIbZhF" 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

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

type Rep Term

Defined in Raft.Types

type Rep Term = D1 (MetaData "Term" "Raft.Types" "libraft-0.1.1.0-8nwazCMBvi7EUIW9UIbZhF" 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

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

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

type Rep Index

Defined in Raft.Types

type Rep Index = D1 (MetaData "Index" "Raft.Types" "libraft-0.1.1.0-8nwazCMBvi7EUIW9UIbZhF" 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