Game.GoreAndAsh.Logging.Module

Contains description of logging monad transformer and instance for GameModule class.

Documentation

newtype LoggingT s m a

Monad transformer of logging core module.

s

- State of next core module in modules chain;

m

- Next monad in modules monad stack;

a

- Type of result value;

How to embed module:

type AppStack = ModuleStack [LoggingT, ... other modules ... ] IO

newtype AppMonad a = AppMonad (AppStack a)
  deriving (Functor, Applicative, Monad, MonadFix, MonadIO, LoggingMonad)

The module is pure within first phase (see ModuleStack docs) and could be used with Identity end monad.

Constructors

LoggingT

Fields

runLoggingT :: StateT (LoggingState s) m a

Instances

MonadBase IO m => MonadBase IO (LoggingT s m)

MonadError e m => MonadError e (LoggingT s m)

MonadTrans (LoggingT s)

Monad m => MonadState (LoggingState s) (LoggingT s m)

Monad m => Monad (LoggingT s m)

Functor m => Functor (LoggingT s m)

MonadFix m => MonadFix (LoggingT s m)

Monad m => Applicative (LoggingT s m)

MonadIO m => MonadIO (LoggingT s m)

MonadThrow m => MonadThrow (LoggingT s m)

MonadMask m => MonadMask (LoggingT s m)

MonadCatch m => MonadCatch (LoggingT s m)

MonadResource m => MonadResource (LoggingT s m)

MonadIO m => LoggingMonad (LoggingT s m)

type ModuleState (LoggingT s m) = LoggingState s