Raft.StateMachine

Documentation

class RaftStateMachinePure sm v | sm -> v where

Interface to handle commands in the underlying state machine. Functional dependency permitting only a single state machine command to be defined to update the state machine.

Associated Types

data RaftStateMachinePureError sm v

type RaftStateMachinePureCtx sm v = ctx | ctx -> sm v

Methods

rsmTransition :: RaftStateMachinePureCtx sm v -> sm -> v -> Either (RaftStateMachinePureError sm v) sm

class (Monad m, RaftStateMachinePure sm v) => RaftStateMachine m sm v where

Methods

validateCmd :: v -> m (Either (RaftStateMachinePureError sm v) ())

askRaftStateMachinePureCtx :: m (RaftStateMachinePureCtx sm v)

Instances

RaftStateMachine m sm v => RaftStateMachine (RaftPostgresT m) sm v

Defined in Raft.Log.PostgreSQL

Methods

validateCmd :: v -> RaftPostgresT m (Either (RaftStateMachinePureError sm v) ())

askRaftStateMachinePureCtx :: RaftPostgresT m (RaftStateMachinePureCtx sm v)

RaftStateMachine m sm v => RaftStateMachine (RaftPersistFileStoreT m) sm v

Defined in Examples.Raft.FileStore.Persistent

Methods

validateCmd :: v -> RaftPersistFileStoreT m (Either (RaftStateMachinePureError sm v) ())

askRaftStateMachinePureCtx :: RaftPersistFileStoreT m (RaftStateMachinePureCtx sm v)

RaftStateMachine m sm v => RaftStateMachine (RaftLogFileStoreT m) sm v

Defined in Examples.Raft.FileStore.Log

Methods

validateCmd :: v -> RaftLogFileStoreT m (Either (RaftStateMachinePureError sm v) ())

askRaftStateMachinePureCtx :: RaftLogFileStoreT m (RaftStateMachinePureCtx sm v)

RaftStateMachine m sm v => RaftStateMachine (RaftSocketT sm v m) sm v

Defined in Examples.Raft.Socket.Node

Methods

validateCmd :: v -> RaftSocketT sm v m (Either (RaftStateMachinePureError sm v) ())

askRaftStateMachinePureCtx :: RaftSocketT sm v m (RaftStateMachinePureCtx sm v)

applyLogEntry :: RaftStateMachine m sm v => sm -> Entry v -> m (Either (RaftStateMachinePureError sm v) sm)