Game.GoreAndAsh.Actor.Module

The module contains monad transformer for actor core module and instance of GameModule for it.

Documentation

newtype ActorT s m a

Monad transformer of actor 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 [ActorT, ... other modules ... ] IO

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

The module is pure within first phase (see ModuleStack docs) but requires MonadThrow instance of end monad, therefore currently only IO end monad can handler the module.

Constructors

ActorT

Fields

runActorT :: StateT (ActorState s) m a

Instances

MonadTrans (ActorT s)

Monad m => MonadState (ActorState s) (ActorT s m)

Monad m => Monad (ActorT s m)

Functor m => Functor (ActorT s m)

MonadFix m => MonadFix (ActorT s m)

Monad m => Applicative (ActorT s m)

MonadIO m => MonadIO (ActorT s m)

MonadThrow m => MonadThrow (ActorT s m)

MonadMask m => MonadMask (ActorT s m)

MonadCatch m => MonadCatch (ActorT s m)

MonadThrow m => ActorMonad (ActorT s m)

type ModuleState (ActorT s m) = ActorState s