Examples.Raft.FileStore.Persistent

Documentation

newtype RaftPersistFileStoreError

Constructors

RaftPersistFileStoreError Text

Instances

Show RaftPersistFileStoreError

Defined in Examples.Raft.FileStore.Persistent

Methods

showsPrec :: Int -> RaftPersistFileStoreError -> ShowS

show :: RaftPersistFileStoreError -> String

showList :: [RaftPersistFileStoreError] -> ShowS

Exception RaftPersistFileStoreError

Defined in Examples.Raft.FileStore.Persistent

Methods

toException :: RaftPersistFileStoreError -> SomeException

fromException :: SomeException -> Maybe RaftPersistFileStoreError

displayException :: RaftPersistFileStoreError -> String

newtype RaftPersistFile

Constructors

RaftPersistFile FilePath

Instances

Monad m => MonadReader RaftPersistFile (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

ask :: RaftPersistFileStoreT m RaftPersistFile

local :: (RaftPersistFile -> RaftPersistFile) -> RaftPersistFileStoreT m a -> RaftPersistFileStoreT m a

reader :: (RaftPersistFile -> a) -> RaftPersistFileStoreT m a

newtype RaftPersistFileStoreT m a

Constructors

RaftPersistFileStoreT

Fields

• unRaftPersistFileStoreT :: ReaderT RaftPersistFile m a

Instances

MonadTrans RaftPersistFileStoreT

Defined in Examples.Raft.FileStore.Persistent

Methods

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

Monad m => MonadReader RaftPersistFile (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

ask :: RaftPersistFileStoreT m RaftPersistFile

local :: (RaftPersistFile -> RaftPersistFile) -> RaftPersistFileStoreT m a -> RaftPersistFileStoreT m a

reader :: (RaftPersistFile -> a) -> RaftPersistFileStoreT m a

MonadRaftChan v m => MonadRaftChan v (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftEventChan v (RaftPersistFileStoreT m) :: Type

Methods

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

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

newRaftChan :: RaftPersistFileStoreT m (RaftEventChan v (RaftPersistFileStoreT m))

Monad m => Monad (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

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

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

return :: a -> RaftPersistFileStoreT m a

fail :: String -> RaftPersistFileStoreT m a

Functor m => Functor (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

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

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

MonadFail m => MonadFail (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

fail :: String -> RaftPersistFileStoreT m a

Applicative m => Applicative (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

pure :: a -> RaftPersistFileStoreT m a

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

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

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

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

Alternative m => Alternative (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

empty :: RaftPersistFileStoreT m a

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

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

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

MonadPlus m => MonadPlus (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

mzero :: RaftPersistFileStoreT m a

mplus :: RaftPersistFileStoreT m a -> RaftPersistFileStoreT m a -> RaftPersistFileStoreT m a

MonadIO m => MonadIO (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

liftIO :: IO a -> RaftPersistFileStoreT m a

MonadThrow m => MonadThrow (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

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

MonadCatch m => MonadCatch (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

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

MonadMask m => MonadMask (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Methods

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

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

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

MonadIO m => RaftPersist (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftPersistError (RaftPersistFileStoreT m) :: Type

Methods

initializePersistentState :: RaftPersistFileStoreT m (Either (RaftPersistError (RaftPersistFileStoreT m)) ())

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

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

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

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftThreadId (RaftPersistFileStoreT m) :: Type

Methods

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

RaftReadLog m v => RaftReadLog (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftReadLogError (RaftPersistFileStoreT m) :: Type

Methods

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

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

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

RaftDeleteLog m v => RaftDeleteLog (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftDeleteLogError (RaftPersistFileStoreT m) :: Type

Methods

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

RaftWriteLog m v => RaftWriteLog (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftWriteLogError (RaftPersistFileStoreT m) :: Type

Methods

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

(MonadIO m, RaftInitLog m v) => RaftInitLog (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftInitLogError (RaftPersistFileStoreT m) :: Type

Methods

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

(MonadIO m, RaftRecvRPC m v) => RaftRecvRPC (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftRecvRPCError (RaftPersistFileStoreT m) v :: Type

Methods

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

(MonadIO m, MonadMask m, RaftSendRPC m v) => RaftSendRPC (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

Methods

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

(MonadIO m, RaftRecvClient m v) => RaftRecvClient (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

Associated Types

type RaftRecvClientError (RaftPersistFileStoreT m) v :: Type

Methods

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

preprocessCmd :: v -> RaftPersistFileStoreT m v

askRaftStateMachinePureCtx :: RaftPersistFileStoreT m (RaftStateMachinePureCtx sm v)

(MonadIO m, MonadMask m, RaftSendClient m sm v) => RaftSendClient (RaftPersistFileStoreT m) sm v

Defined in Examples.Raft.FileStore.Persistent

Methods

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

type RaftEventChan v (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

type RaftEventChan v (RaftPersistFileStoreT m) = RaftEventChan v m

type RaftPersistError (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

type RaftPersistError (RaftPersistFileStoreT m) = RaftPersistFileStoreError

type RaftReadLogError (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

type RaftReadLogError (RaftPersistFileStoreT m) = RaftReadLogError m

type RaftDeleteLogError (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

type RaftDeleteLogError (RaftPersistFileStoreT m) = RaftDeleteLogError m

type RaftWriteLogError (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

type RaftWriteLogError (RaftPersistFileStoreT m) = RaftWriteLogError m

type RaftInitLogError (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

type RaftInitLogError (RaftPersistFileStoreT m) = RaftInitLogError m

type RaftThreadId (RaftPersistFileStoreT m)

Defined in Examples.Raft.FileStore.Persistent

type RaftThreadId (RaftPersistFileStoreT m) = RaftThreadId m

type RaftRecvRPCError (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

type RaftRecvRPCError (RaftPersistFileStoreT m) v = RaftRecvRPCError m v

type RaftRecvClientError (RaftPersistFileStoreT m) v

Defined in Examples.Raft.FileStore.Persistent

type RaftRecvClientError (RaftPersistFileStoreT m) v = RaftRecvClientError m v

runRaftPersistFileStoreT :: RaftPersistFile -> RaftPersistFileStoreT m a -> m a