Examples.Raft.FileStore.Log

Documentation

newtype RaftLogFileStoreError

Constructors

RaftLogFileStoreError Text

Instances

Show RaftLogFileStoreError

Defined in Examples.Raft.FileStore.Log

Methods

showsPrec :: Int -> RaftLogFileStoreError -> ShowS

show :: RaftLogFileStoreError -> String

showList :: [RaftLogFileStoreError] -> ShowS

Exception RaftLogFileStoreError

Defined in Examples.Raft.FileStore.Log

Methods

toException :: RaftLogFileStoreError -> SomeException

fromException :: SomeException -> Maybe RaftLogFileStoreError

displayException :: RaftLogFileStoreError -> String

newtype RaftLogFile

Constructors

RaftLogFile

Fields

• unRaftLogFile :: FilePath

Instances

Monad m => MonadReader RaftLogFile (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

ask :: RaftLogFileStoreT m RaftLogFile

local :: (RaftLogFile -> RaftLogFile) -> RaftLogFileStoreT m a -> RaftLogFileStoreT m a

reader :: (RaftLogFile -> a) -> RaftLogFileStoreT m a

newtype RaftLogFileStoreT m a

Constructors

RaftLogFileStoreT

Fields

• unRaftLogFileStoreT :: ReaderT RaftLogFile m a

Instances

MonadTrans RaftLogFileStoreT

Defined in Examples.Raft.FileStore.Log

Methods

lift :: Monad m => m a -> RaftLogFileStoreT m a

Monad m => MonadReader RaftLogFile (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

ask :: RaftLogFileStoreT m RaftLogFile

local :: (RaftLogFile -> RaftLogFile) -> RaftLogFileStoreT m a -> RaftLogFileStoreT m a

reader :: (RaftLogFile -> a) -> RaftLogFileStoreT m a

MonadRaftChan v m => MonadRaftChan v (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftEventChan v (RaftLogFileStoreT m) :: Type

Methods

readRaftChan :: RaftEventChan v (RaftLogFileStoreT m) -> RaftLogFileStoreT m (Event v)

writeRaftChan :: RaftEventChan v (RaftLogFileStoreT m) -> Event v -> RaftLogFileStoreT m ()

newRaftChan :: RaftLogFileStoreT m (RaftEventChan v (RaftLogFileStoreT m))

Monad m => Monad (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

(>>=) :: RaftLogFileStoreT m a -> (a -> RaftLogFileStoreT m b) -> RaftLogFileStoreT m b

(>>) :: RaftLogFileStoreT m a -> RaftLogFileStoreT m b -> RaftLogFileStoreT m b

return :: a -> RaftLogFileStoreT m a

fail :: String -> RaftLogFileStoreT m a

Functor m => Functor (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

fmap :: (a -> b) -> RaftLogFileStoreT m a -> RaftLogFileStoreT m b

(<$) :: a -> RaftLogFileStoreT m b -> RaftLogFileStoreT m a

MonadFail m => MonadFail (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

fail :: String -> RaftLogFileStoreT m a

Applicative m => Applicative (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

pure :: a -> RaftLogFileStoreT m a

(<*>) :: RaftLogFileStoreT m (a -> b) -> RaftLogFileStoreT m a -> RaftLogFileStoreT m b

liftA2 :: (a -> b -> c) -> RaftLogFileStoreT m a -> RaftLogFileStoreT m b -> RaftLogFileStoreT m c

(*>) :: RaftLogFileStoreT m a -> RaftLogFileStoreT m b -> RaftLogFileStoreT m b

(<*) :: RaftLogFileStoreT m a -> RaftLogFileStoreT m b -> RaftLogFileStoreT m a

Alternative m => Alternative (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

empty :: RaftLogFileStoreT m a

(<|>) :: RaftLogFileStoreT m a -> RaftLogFileStoreT m a -> RaftLogFileStoreT m a

some :: RaftLogFileStoreT m a -> RaftLogFileStoreT m [a]

many :: RaftLogFileStoreT m a -> RaftLogFileStoreT m [a]

MonadPlus m => MonadPlus (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

mzero :: RaftLogFileStoreT m a

mplus :: RaftLogFileStoreT m a -> RaftLogFileStoreT m a -> RaftLogFileStoreT m a

MonadIO m => MonadIO (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

liftIO :: IO a -> RaftLogFileStoreT m a

MonadThrow m => MonadThrow (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

throwM :: Exception e => e -> RaftLogFileStoreT m a

MonadCatch m => MonadCatch (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

catch :: Exception e => RaftLogFileStoreT m a -> (e -> RaftLogFileStoreT m a) -> RaftLogFileStoreT m a

MonadMask m => MonadMask (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Methods

mask :: ((forall a. RaftLogFileStoreT m a -> RaftLogFileStoreT m a) -> RaftLogFileStoreT m b) -> RaftLogFileStoreT m b

uninterruptibleMask :: ((forall a. RaftLogFileStoreT m a -> RaftLogFileStoreT m a) -> RaftLogFileStoreT m b) -> RaftLogFileStoreT m b

generalBracket :: RaftLogFileStoreT m a -> (a -> ExitCase b -> RaftLogFileStoreT m c) -> (a -> RaftLogFileStoreT m b) -> RaftLogFileStoreT m (b, c)

RaftPersist m => RaftPersist (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftPersistError (RaftLogFileStoreT m) :: Type

Methods

initializePersistentState :: RaftLogFileStoreT m (Either (RaftPersistError (RaftLogFileStoreT m)) ())

readPersistentState :: RaftLogFileStoreT m (Either (RaftPersistError (RaftLogFileStoreT m)) PersistentState)

writePersistentState :: PersistentState -> RaftLogFileStoreT m (Either (RaftPersistError (RaftLogFileStoreT m)) ())

(MonadIO m, MonadRaftFork m) => MonadRaftFork (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftThreadId (RaftLogFileStoreT m) :: Type

Methods

raftFork :: RaftThreadRole -> RaftLogFileStoreT m () -> RaftLogFileStoreT m (RaftThreadId (RaftLogFileStoreT m))

(MonadIO m, Serialize v) => RaftReadLog (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftReadLogError (RaftLogFileStoreT m) :: Type

Methods

readLogEntry :: Index -> RaftLogFileStoreT m (Either (RaftReadLogError (RaftLogFileStoreT m)) (Maybe (Entry v)))

readLogEntriesFrom :: Index -> RaftLogFileStoreT m (Either (RaftReadLogError (RaftLogFileStoreT m)) (Entries v))

readLastLogEntry :: RaftLogFileStoreT m (Either (RaftReadLogError (RaftLogFileStoreT m)) (Maybe (Entry v)))

(MonadIO m, Serialize v) => RaftDeleteLog (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftDeleteLogError (RaftLogFileStoreT m) :: Type

Methods

deleteLogEntriesFrom :: Index -> RaftLogFileStoreT m (Either (RaftDeleteLogError (RaftLogFileStoreT m)) (DeleteSuccess v))

(MonadIO m, Serialize v) => RaftWriteLog (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftWriteLogError (RaftLogFileStoreT m) :: Type

Methods

writeLogEntries :: Entries v -> RaftLogFileStoreT m (Either (RaftWriteLogError (RaftLogFileStoreT m)) ())

(Serialize v, MonadIO m) => RaftInitLog (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftInitLogError (RaftLogFileStoreT m) :: Type

Methods

initializeLog :: Proxy v -> RaftLogFileStoreT m (Either (RaftInitLogError (RaftLogFileStoreT m)) ())

(Monad m, RaftRecvRPC m v) => RaftRecvRPC (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftRecvRPCError (RaftLogFileStoreT m) v :: Type

Methods

receiveRPC :: RaftLogFileStoreT m (Either (RaftRecvRPCError (RaftLogFileStoreT m) v) (RPCMessage v))

(Monad m, RaftSendRPC m v) => RaftSendRPC (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

Methods

sendRPC :: NodeId -> RPCMessage v -> RaftLogFileStoreT m ()

(Monad m, RaftRecvClient m v) => RaftRecvClient (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

Associated Types

type RaftRecvClientError (RaftLogFileStoreT m) v :: Type

Methods

receiveClient :: RaftLogFileStoreT m (Either (RaftRecvClientError (RaftLogFileStoreT m) v) (ClientRequest 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) ())

preprocessCmd :: v -> RaftLogFileStoreT m v

askRaftStateMachinePureCtx :: RaftLogFileStoreT m (RaftStateMachinePureCtx sm v)

(Monad m, RaftSendClient m sm v) => RaftSendClient (RaftLogFileStoreT m) sm v

Defined in Examples.Raft.FileStore.Log

Methods

sendClient :: ClientId -> ClientResponse sm v -> RaftLogFileStoreT m ()

type RaftEventChan v (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

type RaftEventChan v (RaftLogFileStoreT m) = RaftEventChan v m

type RaftPersistError (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

type RaftPersistError (RaftLogFileStoreT m) = RaftPersistError m

type RaftReadLogError (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

type RaftReadLogError (RaftLogFileStoreT m) = RaftLogFileStoreError

type RaftDeleteLogError (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

type RaftDeleteLogError (RaftLogFileStoreT m) = RaftLogFileStoreError

type RaftWriteLogError (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

type RaftWriteLogError (RaftLogFileStoreT m) = RaftLogFileStoreError

type RaftInitLogError (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

type RaftInitLogError (RaftLogFileStoreT m) = RaftLogFileStoreError

type RaftThreadId (RaftLogFileStoreT m)

Defined in Examples.Raft.FileStore.Log

type RaftThreadId (RaftLogFileStoreT m) = RaftThreadId m

type RaftRecvRPCError (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

type RaftRecvRPCError (RaftLogFileStoreT m) v = RaftRecvRPCError m v

type RaftRecvClientError (RaftLogFileStoreT m) v

Defined in Examples.Raft.FileStore.Log

type RaftRecvClientError (RaftLogFileStoreT m) v = RaftRecvClientError m v

runRaftLogFileStoreT :: RaftLogFile -> RaftLogFileStoreT m a -> m a

readLogEntries :: (MonadIO m, Serialize v) => RaftLogFileStoreT m (Either Text (Entries v))