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

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

Methods

liftBase :: IO α -> ActorT s m α

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

Methods

throwError :: e -> ActorT s m a

catchError :: ActorT s m a -> (e -> ActorT s m a) -> ActorT s m a

MonadTrans (ActorT s)

Methods

lift :: Monad m => m a -> ActorT s m a

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

Methods

get :: ActorT s m (ActorState s)

put :: ActorState s -> ActorT s m ()

state :: (ActorState s -> (a, ActorState s)) -> ActorT s m a

Monad m => Monad (ActorT s m)

Methods

(>>=) :: ActorT s m a -> (a -> ActorT s m b) -> ActorT s m b

(>>) :: ActorT s m a -> ActorT s m b -> ActorT s m b

return :: a -> ActorT s m a

fail :: String -> ActorT s m a

Functor m => Functor (ActorT s m)

Methods

fmap :: (a -> b) -> ActorT s m a -> ActorT s m b

(<$) :: a -> ActorT s m b -> ActorT s m a

MonadFix m => MonadFix (ActorT s m)

Methods

mfix :: (a -> ActorT s m a) -> ActorT s m a

Monad m => Applicative (ActorT s m)

Methods

pure :: a -> ActorT s m a

(<*>) :: ActorT s m (a -> b) -> ActorT s m a -> ActorT s m b

(*>) :: ActorT s m a -> ActorT s m b -> ActorT s m b

(<*) :: ActorT s m a -> ActorT s m b -> ActorT s m a

MonadIO m => MonadIO (ActorT s m)

Methods

liftIO :: IO a -> ActorT s m a

MonadThrow m => MonadThrow (ActorT s m)

Methods

throwM :: Exception e => e -> ActorT s m a

MonadMask m => MonadMask (ActorT s m)

Methods

mask :: ((forall a. ActorT s m a -> ActorT s m a) -> ActorT s m b) -> ActorT s m b

uninterruptibleMask :: ((forall a. ActorT s m a -> ActorT s m a) -> ActorT s m b) -> ActorT s m b

MonadCatch m => MonadCatch (ActorT s m)

Methods

catch :: Exception e => ActorT s m a -> (e -> ActorT s m a) -> ActorT s m a

MonadResource m => MonadResource (ActorT s m)

Methods

liftResourceT :: ResourceT IO a -> ActorT s m a

MonadThrow m => ActorMonad (ActorT s m)

Methods

actorRegisterM :: ActorMessage i => ActorT s m i

actorRegisterFixedM :: ActorMessage i => i -> ActorT s m ()

actorDeleteM :: ActorMessage i => i -> ActorT s m ()

actorRegisteredM :: ActorMessage i => i -> ActorT s m Bool

actorSendM :: (ActorMessage i, Typeable * (ActorMessageType i)) => i -> ActorMessageType i -> ActorT s m ()

actorGetMessagesM :: (ActorMessage i, Typeable * (ActorMessageType i)) => i -> ActorT s m (Seq (ActorMessageType i))

findActorTypeRepM :: String -> ActorT s m (Maybe HashableTypeRep)

registerActorTypeRepM :: ActorMessage i => proxy i -> ActorT s m ()

type ModuleState (ActorT s m)

type ModuleState (ActorT s m) = ActorState s

Orphan instances

GameModule m s => GameModule (ActorT s m) (ActorState s)

Associated Types

type ModuleState (ActorT s m :: * -> *) :: *

Methods

runModule :: MonadIO m' => ActorT s m a -> ActorState s -> m' (a, ActorState s)

newModuleState :: MonadIO m' => m' (ActorState s)

withModule :: Proxy (* -> *) (ActorT s m) -> IO a -> IO a

cleanupModule :: ActorState s -> IO ()