Raft.Logging

Documentation

data LogDest

Representation of the logs' destination

Constructors

LogFile FilePath

LogStdout

NoLogs

data Severity

Representation of the severity of the logs

Constructors

Info

Debug

Critical

Instances

Show Severity

Defined in Raft.Logging

Methods

showsPrec :: Int -> Severity -> ShowS

show :: Severity -> String

showList :: [Severity] -> ShowS

data LogMsg

Constructors

LogMsg

Fields

• mTime :: Maybe UTCTime
• severity :: Severity
• logMsgData :: LogMsgData

Instances

Monad m => MonadState [LogMsg] (RaftLoggerT m)

Defined in Raft.Logging

Methods

get :: RaftLoggerT m [LogMsg]

put :: [LogMsg] -> RaftLoggerT m ()

state :: ([LogMsg] -> (a, [LogMsg])) -> RaftLoggerT m a

data LogMsgData

Constructors

LogMsgData

Fields

• logMsgNodeId :: NodeId
• logMsgNodeState :: Mode
• logMsg :: Text

Instances

Show LogMsgData

Defined in Raft.Logging

Methods

showsPrec :: Int -> LogMsgData -> ShowS

show :: LogMsgData -> String

showList :: [LogMsgData] -> ShowS

logMsgToText :: LogMsg -> Text

logMsgDataToText :: LogMsgData -> Text

class Monad m => RaftLogger m where

Methods

loggerNodeId :: m NodeId

loggerNodeState :: m RaftNodeState

Instances

RaftLogger m => RaftLogger (RaftLoggerT m)

Defined in Raft.Logging

Methods

loggerNodeId :: RaftLoggerT m NodeId

loggerNodeState :: RaftLoggerT m RaftNodeState

RaftLogger (RWS (TransitionEnv sm) [Action sm v] PersistentState)

Defined in Raft.Monad

Methods

loggerNodeId :: RWS (TransitionEnv sm) [Action sm v] PersistentState NodeId

loggerNodeState :: RWS (TransitionEnv sm) [Action sm v] PersistentState RaftNodeState

mkLogMsgData :: RaftLogger m => Text -> m LogMsgData

logToDest :: MonadIO m => LogDest -> LogMsg -> m ()

logToStdout :: MonadIO m => LogMsg -> m ()

logToFile :: MonadIO m => FilePath -> LogMsg -> m ()

logWithSeverityIO :: (RaftLogger m, MonadIO m) => Severity -> LogDest -> Text -> m ()

logInfoIO :: (RaftLogger m, MonadIO m) => LogDest -> Text -> m ()

logDebugIO :: (RaftLogger m, MonadIO m) => LogDest -> Text -> m ()

logCriticalIO :: (RaftLogger m, MonadIO m) => LogDest -> Text -> m ()

newtype RaftLoggerT m a

Constructors

RaftLoggerT

Fields

• unRaftLoggerT :: StateT [LogMsg] m a

Instances

MonadTrans RaftLoggerT

Defined in Raft.Logging

Methods

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

Monad m => Monad (RaftLoggerT m)

Defined in Raft.Logging

Methods

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

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

return :: a -> RaftLoggerT m a

fail :: String -> RaftLoggerT m a

Functor m => Functor (RaftLoggerT m)

Defined in Raft.Logging

Methods

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

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

Monad m => Applicative (RaftLoggerT m)

Defined in Raft.Logging

Methods

pure :: a -> RaftLoggerT m a

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

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

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

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

RaftLogger m => RaftLogger (RaftLoggerT m)

Defined in Raft.Logging

Methods

loggerNodeId :: RaftLoggerT m NodeId

loggerNodeState :: RaftLoggerT m RaftNodeState

Monad m => MonadState [LogMsg] (RaftLoggerT m)

Defined in Raft.Logging

Methods

get :: RaftLoggerT m [LogMsg]

put :: [LogMsg] -> RaftLoggerT m ()

state :: ([LogMsg] -> (a, [LogMsg])) -> RaftLoggerT m a

runRaftLoggerT

Arguments

:: Monad m

=> RaftLoggerT m a

The computation from which to extract the logs

-> m (a, [LogMsg])

type RaftLoggerM = RaftLoggerT Identity

runRaftLoggerM :: RaftLoggerM a -> (a, [LogMsg])

logWithSeverity :: RaftLogger m => Severity -> Text -> RaftLoggerT m ()

logInfo :: RaftLogger m => Text -> RaftLoggerT m ()

logDebug :: RaftLogger m => Text -> RaftLoggerT m ()

logCritical :: RaftLogger m => Text -> RaftLoggerT m ()