Game.GoreAndAsh.SDL.Module

The module contains declaration of monad transformer of the core module and instance for GameModule class.

Documentation

newtype SDLT s m a

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

newtype AppMonad a = AppMonad (AppStack a)
  deriving (Functor, Applicative, Monad, MonadFix, MonadIO, MonadThrow, MonadCatch, MonadSDL)

The module is NOT pure within first phase (see ModuleStack docs), therefore currently only IO end monad can handler the module.

Constructors

SDLT

Fields

runSDLT :: StateT (SDLState s) m a

Instances

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

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

MonadTrans (SDLT s)

Monad m => MonadState (SDLState s) (SDLT s m)

Monad m => Monad (SDLT s m)

Functor m => Functor (SDLT s m)

MonadFix m => MonadFix (SDLT s m)

Monad m => Applicative (SDLT s m)

MonadIO m => MonadIO (SDLT s m)

MonadThrow m => MonadThrow (SDLT s m)

MonadMask m => MonadMask (SDLT s m)

MonadCatch m => MonadCatch (SDLT s m)

MonadResource m => MonadResource (SDLT s m)

(MonadIO m, MonadThrow m) => MonadSDL (SDLT s m)

type ModuleState (SDLT s m) = SDLState s