Game.LambdaHack.SampleImplementation.SampleMonadServer

The main game action monad type implementation. Just as any other component of the library, this implementation can be substituted. This module should not be imported anywhere except in Action to expose the executor to any code using the library.

Documentation

executorSer :: COps -> KeyKind -> DebugModeSer -> IO ()

Run an action in the IO monad, with undefined state.

Internal operations

data SerState

Constructors

SerState

Fields

• serState :: !State

  current global state

• serServer :: !StateServer

  current server state

• serDict :: !ConnServerDict

  client-server connection information

• serToSave :: !(ChanSave (State, StateServer))

  connection to the save thread

newtype SerImplementation a

Server state transformation monad.

Constructors

SerImplementation

Fields

• runSerImplementation :: StateT SerState IO a

Instances

Monad SerImplementation

Methods

(>>=) :: SerImplementation a -> (a -> SerImplementation b) -> SerImplementation b

(>>) :: SerImplementation a -> SerImplementation b -> SerImplementation b

return :: a -> SerImplementation a

fail :: String -> SerImplementation a

Functor SerImplementation

Methods

fmap :: (a -> b) -> SerImplementation a -> SerImplementation b

(<$) :: a -> SerImplementation b -> SerImplementation a

Applicative SerImplementation

Methods

pure :: a -> SerImplementation a

(<*>) :: SerImplementation (a -> b) -> SerImplementation a -> SerImplementation b

(*>) :: SerImplementation a -> SerImplementation b -> SerImplementation b

(<*) :: SerImplementation a -> SerImplementation b -> SerImplementation a

MonadStateRead SerImplementation

Methods

getsState :: (State -> a) -> SerImplementation a

MonadStateWrite SerImplementation

Methods

modifyState :: (State -> State) -> SerImplementation ()

MonadAtomic SerImplementation

The game-state semantics of atomic commands as computed on the server.

Methods

execUpdAtomic :: UpdAtomic -> SerImplementation ()

execSfxAtomic :: SfxAtomic -> SerImplementation ()

execSendPer :: FactionId -> LevelId -> Perception -> Perception -> Perception -> SerImplementation ()

MonadServer SerImplementation

Methods

getsServer :: (StateServer -> a) -> SerImplementation a

modifyServer :: (StateServer -> StateServer) -> SerImplementation ()

saveChanServer :: SerImplementation (ChanSave (State, StateServer))

liftIO :: IO a -> SerImplementation a

MonadServerReadRequest SerImplementation

Methods

getsDict :: (ConnServerDict -> a) -> SerImplementation a

modifyDict :: (ConnServerDict -> ConnServerDict) -> SerImplementation ()

liftIO :: IO a -> SerImplementation a