Safe Haskell	None
Language	Haskell2010

Examples.Raft.FileStore.Log

Documentation

newtype RaftLogFileStoreError Source #

Constructors

RaftLogFileStoreError Text

Instances

Show RaftLogFileStoreError Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods showsPrec :: Int -> RaftLogFileStoreError -> ShowS # show :: RaftLogFileStoreError -> String # showList :: [RaftLogFileStoreError] -> ShowS #
Exception RaftLogFileStoreError Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods toException :: RaftLogFileStoreError -> SomeException # fromException :: SomeException -> Maybe RaftLogFileStoreError # displayException :: RaftLogFileStoreError -> String #

newtype RaftLogFile Source #

Constructors

RaftLogFile
Fields unRaftLogFile :: FilePath

Instances

Monad m => MonadReader RaftLogFile (RaftLogFileStoreT m) Source #
Instance details 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 Source #

Constructors

RaftLogFileStoreT
Fields unRaftLogFileStoreT :: ReaderT RaftLogFile m a

Instances

MonadTrans RaftLogFileStoreT Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods lift :: Monad m => m a -> RaftLogFileStoreT m a #
Monad m => MonadReader RaftLogFile (RaftLogFileStoreT m) Source #
Instance details 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) Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftEventChan v (RaftLogFileStoreT m) :: Type Source # Methods readRaftChan :: RaftEventChan v (RaftLogFileStoreT m) -> RaftLogFileStoreT m (Event v) Source # writeRaftChan :: RaftEventChan v (RaftLogFileStoreT m) -> Event v -> RaftLogFileStoreT m () Source # newRaftChan :: RaftLogFileStoreT m (RaftEventChan v (RaftLogFileStoreT m)) Source #
Monad m => Monad (RaftLogFileStoreT m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods fail :: String -> RaftLogFileStoreT m a #
Applicative m => Applicative (RaftLogFileStoreT m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods liftIO :: IO a -> RaftLogFileStoreT m a #
MonadThrow m => MonadThrow (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods throwM :: Exception e => e -> RaftLogFileStoreT m a #
MonadCatch m => MonadCatch (RaftLogFileStoreT m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftPersistError (RaftLogFileStoreT m) :: Type Source # Methods initializePersistentState :: RaftLogFileStoreT m (Either (RaftPersistError (RaftLogFileStoreT m)) ()) Source # readPersistentState :: RaftLogFileStoreT m (Either (RaftPersistError (RaftLogFileStoreT m)) PersistentState) Source # writePersistentState :: PersistentState -> RaftLogFileStoreT m (Either (RaftPersistError (RaftLogFileStoreT m)) ()) Source #
(MonadIO m, MonadRaftFork m) => MonadRaftFork (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftThreadId (RaftLogFileStoreT m) :: Type Source # Methods raftFork :: RaftThreadRole -> RaftLogFileStoreT m () -> RaftLogFileStoreT m (RaftThreadId (RaftLogFileStoreT m)) Source #
(MonadIO m, Serialize v) => RaftReadLog (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftReadLogError (RaftLogFileStoreT m) :: Type Source # Methods readLogEntry :: Index -> RaftLogFileStoreT m (Either (RaftReadLogError (RaftLogFileStoreT m)) (Maybe (Entry v))) Source # readLogEntriesFrom :: Index -> RaftLogFileStoreT m (Either (RaftReadLogError (RaftLogFileStoreT m)) (Entries v)) Source # readLastLogEntry :: RaftLogFileStoreT m (Either (RaftReadLogError (RaftLogFileStoreT m)) (Maybe (Entry v))) Source #
(MonadIO m, Serialize v) => RaftDeleteLog (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftDeleteLogError (RaftLogFileStoreT m) :: Type Source # Methods deleteLogEntriesFrom :: Index -> RaftLogFileStoreT m (Either (RaftDeleteLogError (RaftLogFileStoreT m)) (DeleteSuccess v)) Source #
(MonadIO m, Serialize v) => RaftWriteLog (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftWriteLogError (RaftLogFileStoreT m) :: Type Source # Methods writeLogEntries :: Entries v -> RaftLogFileStoreT m (Either (RaftWriteLogError (RaftLogFileStoreT m)) ()) Source #
(Serialize v, MonadIO m) => RaftInitLog (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftInitLogError (RaftLogFileStoreT m) :: Type Source # Methods initializeLog :: Proxy v -> RaftLogFileStoreT m (Either (RaftInitLogError (RaftLogFileStoreT m)) ()) Source #
(Monad m, RaftRecvRPC m v) => RaftRecvRPC (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftRecvRPCError (RaftLogFileStoreT m) v :: Type Source # Methods receiveRPC :: RaftLogFileStoreT m (Either (RaftRecvRPCError (RaftLogFileStoreT m) v) (RPCMessage v)) Source #
(Monad m, RaftSendRPC m v) => RaftSendRPC (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods sendRPC :: NodeId -> RPCMessage v -> RaftLogFileStoreT m () Source #
(Monad m, RaftRecvClient m v) => RaftRecvClient (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log Associated Types type RaftRecvClientError (RaftLogFileStoreT m) v :: Type Source # Methods receiveClient :: RaftLogFileStoreT m (Either (RaftRecvClientError (RaftLogFileStoreT m) v) (ClientRequest v)) Source #
RaftStateMachine m sm v => RaftStateMachine (RaftLogFileStoreT m) sm v Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods validateCmd :: v -> RaftLogFileStoreT m (Either (RaftStateMachinePureError sm v) ()) Source # preprocessCmd :: v -> RaftLogFileStoreT m v Source # askRaftStateMachinePureCtx :: RaftLogFileStoreT m (RaftStateMachinePureCtx sm v) Source #
(Monad m, RaftSendClient m sm v) => RaftSendClient (RaftLogFileStoreT m) sm v Source #
Instance details Defined in Examples.Raft.FileStore.Log Methods sendClient :: ClientId -> ClientResponse sm v -> RaftLogFileStoreT m () Source #
type RaftEventChan v (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftEventChan v (RaftLogFileStoreT m) = RaftEventChan v m
type RaftPersistError (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftPersistError (RaftLogFileStoreT m) = RaftPersistError m
type RaftReadLogError (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftReadLogError (RaftLogFileStoreT m) = RaftLogFileStoreError
type RaftDeleteLogError (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftDeleteLogError (RaftLogFileStoreT m) = RaftLogFileStoreError
type RaftWriteLogError (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftWriteLogError (RaftLogFileStoreT m) = RaftLogFileStoreError
type RaftInitLogError (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftInitLogError (RaftLogFileStoreT m) = RaftLogFileStoreError
type RaftThreadId (RaftLogFileStoreT m) Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftThreadId (RaftLogFileStoreT m) = RaftThreadId m
type RaftRecvRPCError (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftRecvRPCError (RaftLogFileStoreT m) v = RaftRecvRPCError m v
type RaftRecvClientError (RaftLogFileStoreT m) v Source #
Instance details Defined in Examples.Raft.FileStore.Log type RaftRecvClientError (RaftLogFileStoreT m) v = RaftRecvClientError m v

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

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