Copyright	(c) Anton Gushcha, 2015-2016
License	BSD3
Maintainer	ncrashed@gmail.com
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Game.GoreAndAsh.Actor.Module

Contents

Orphan instances

Description

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

Synopsis

Documentation

newtype ActorT s m a Source #

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) Source #
Methods liftBase :: IO α -> ActorT s m α
MonadError e m => MonadError e (ActorT s m) Source #
Methods throwError :: e -> ActorT s m a catchError :: ActorT s m a -> (e -> ActorT s m a) -> ActorT s m a
MonadTrans (ActorT s) Source #
Methods lift :: Monad m => m a -> ActorT s m a #
Monad m => MonadState (ActorState s) (ActorT s m) Source #
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) Source #
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) Source #
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) Source #
Methods mfix :: (a -> ActorT s m a) -> ActorT s m a #
Monad m => Applicative (ActorT s m) Source #
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) Source #
Methods liftIO :: IO a -> ActorT s m a #
MonadThrow m => MonadThrow (ActorT s m) Source #
Methods throwM :: Exception e => e -> ActorT s m a
MonadMask m => MonadMask (ActorT s m) Source #
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) Source #
Methods catch :: Exception e => ActorT s m a -> (e -> ActorT s m a) -> ActorT s m a
MonadResource m => MonadResource (ActorT s m) Source #
Methods liftResourceT :: ResourceT IO a -> ActorT s m a
MonadThrow m => ActorMonad (ActorT s m) Source #
Methods actorRegisterM :: ActorMessage i => ActorT s m i Source # actorRegisterFixedM :: ActorMessage i => i -> ActorT s m () Source # actorDeleteM :: ActorMessage i => i -> ActorT s m () Source # actorRegisteredM :: ActorMessage i => i -> ActorT s m Bool Source # actorSendM :: (ActorMessage i, Typeable * (ActorMessageType i)) => i -> ActorMessageType i -> ActorT s m () Source # actorGetMessagesM :: (ActorMessage i, Typeable * (ActorMessageType i)) => i -> ActorT s m (Seq (ActorMessageType i)) Source # findActorTypeRepM :: String -> ActorT s m (Maybe HashableTypeRep) Source # registerActorTypeRepM :: ActorMessage i => proxy i -> ActorT s m () Source #
type ModuleState (ActorT s m) Source #
type ModuleState (ActorT s m) = ActorState s

Orphan instances

GameModule m s => GameModule (ActorT s m) (ActorState s) Source #
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 ()