Game.GoreAndAsh.LambdaCube.Module

Documentation

newtype LambdaCubeT s m a

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

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

The module is not pure within first phase (see ModuleStack docs), therefore only IO can be used as end monad.

Constructors

LambdaCubeT

Fields

• runLambdaCubeT :: StateT (LambdaCubeState s) m a

Instances

MonadTrans (LambdaCubeT s)

Methods

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

Monad m => MonadState (LambdaCubeState s) (LambdaCubeT s m)

Methods

get :: LambdaCubeT s m (LambdaCubeState s)

put :: LambdaCubeState s -> LambdaCubeT s m ()

state :: (LambdaCubeState s -> (a, LambdaCubeState s)) -> LambdaCubeT s m a

Monad m => Monad (LambdaCubeT s m)

Methods

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

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

return :: a -> LambdaCubeT s m a

fail :: String -> LambdaCubeT s m a

Functor m => Functor (LambdaCubeT s m)

Methods

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

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

MonadFix m => MonadFix (LambdaCubeT s m)

Methods

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

Monad m => Applicative (LambdaCubeT s m)

Methods

pure :: a -> LambdaCubeT s m a

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

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

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

MonadIO m => MonadIO (LambdaCubeT s m)

Methods

liftIO :: IO a -> LambdaCubeT s m a

MonadMask m => MonadMask (LambdaCubeT s m)

Methods

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

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

MonadThrow m => MonadThrow (LambdaCubeT s m)

Methods

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

MonadCatch m => MonadCatch (LambdaCubeT s m)

Methods

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

(MonadIO m, MonadThrow m) => MonadLambdaCube (LambdaCubeT s m)

Methods

lambdacubeUpdateSize :: Word -> Word -> LambdaCubeT s m ()

lambdacubeAddPipeline :: [FilePath] -> String -> PipelineId -> Writer PipelineSchema a -> LambdaCubeT s m ()

lambdacubeDeletePipeline :: PipelineId -> LambdaCubeT s m ()

lambdacubeCreateStorage :: PipelineId -> LambdaCubeT s m (StorageId, GLStorage)

lambdacubeDeleteStorage :: StorageId -> LambdaCubeT s m ()

lambdacubeGetStorage :: StorageId -> LambdaCubeT s m GLStorage

lambdacubeRenderStorageLast :: StorageId -> LambdaCubeT s m ()

lambdacubeRenderStorageFirst :: StorageId -> LambdaCubeT s m ()

lambdacubeStopRendering :: StorageId -> LambdaCubeT s m ()

type ModuleState (LambdaCubeT s m)

type ModuleState (LambdaCubeT s m) = LambdaCubeState s

Orphan instances

(MonadIO m, MonadThrow m, GameModule m s) => GameModule (LambdaCubeT s m) (LambdaCubeState s)

Associated Types

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

Methods

runModule :: MonadIO m' => LambdaCubeT s m a -> LambdaCubeState s -> m' (a, LambdaCubeState s)

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

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

cleanupModule :: LambdaCubeState s -> IO ()