Safe Haskell | None |
---|---|
Language | Haskell2010 |
The server definitions for the server-client communication protocol.
Synopsis
- type CliSerQueue = MVar
- type ConnServerDict = EnumMap FactionId ChanServer
- data ChanServer = ChanServer {}
- class MonadServer m => MonadServerReadRequest m where
- putDict :: MonadServerReadRequest m => ConnServerDict -> m ()
- sendUpdate :: (MonadServerAtomic m, MonadServerReadRequest m) => FactionId -> UpdAtomic -> m ()
- sendUpdateCheck :: (MonadServerAtomic m, MonadServerReadRequest m) => FactionId -> UpdAtomic -> m ()
- sendUpdNoState :: MonadServerReadRequest m => FactionId -> UpdAtomic -> m ()
- sendSfx :: MonadServerReadRequest m => FactionId -> SfxAtomic -> m ()
- sendQueryAI :: MonadServerReadRequest m => FactionId -> ActorId -> m RequestAI
- sendQueryUI :: (MonadServerAtomic m, MonadServerReadRequest m) => FactionId -> ActorId -> m RequestUI
- killAllClients :: (MonadServerAtomic m, MonadServerReadRequest m) => m ()
- childrenServer :: MVar [Async ()]
- updateConn :: (MonadServerAtomic m, MonadServerReadRequest m) => (Bool -> FactionId -> ChanServer -> IO ()) -> m ()
- tryRestore :: MonadServerReadRequest m => m (Maybe (State, StateServer))
- writeQueue :: MonadServerReadRequest m => Response -> CliSerQueue Response -> m ()
- readQueueAI :: MonadServerReadRequest m => CliSerQueue RequestAI -> m RequestAI
- readQueueUI :: MonadServerReadRequest m => CliSerQueue RequestUI -> m RequestUI
- newQueue :: IO (CliSerQueue a)
The communication channels
type CliSerQueue = MVar Source #
type ConnServerDict = EnumMap FactionId ChanServer Source #
Connection information for all factions, indexed by faction identifier.
data ChanServer Source #
Connection channel between the server and a single client.
The server-client communication monad
class MonadServer m => MonadServerReadRequest m where Source #
The server monad with the ability to communicate with clients.
getsDict :: (ConnServerDict -> a) -> m a Source #
modifyDict :: (ConnServerDict -> ConnServerDict) -> m () Source #
Protocol
putDict :: MonadServerReadRequest m => ConnServerDict -> m () Source #
sendUpdate :: (MonadServerAtomic m, MonadServerReadRequest m) => FactionId -> UpdAtomic -> m () Source #
If the AtomicFail
conditions hold, send a command to client,
otherwise do nothing.
sendUpdateCheck :: (MonadServerAtomic m, MonadServerReadRequest m) => FactionId -> UpdAtomic -> m () Source #
Send a command to client, crashing if the AtomicFail
conditions
don't hold when executed on the client's state.
sendUpdNoState :: MonadServerReadRequest m => FactionId -> UpdAtomic -> m () Source #
sendQueryAI :: MonadServerReadRequest m => FactionId -> ActorId -> m RequestAI Source #
sendQueryUI :: (MonadServerAtomic m, MonadServerReadRequest m) => FactionId -> ActorId -> m RequestUI Source #
Assorted
killAllClients :: (MonadServerAtomic m, MonadServerReadRequest m) => m () Source #
childrenServer :: MVar [Async ()] Source #
updateConn :: (MonadServerAtomic m, MonadServerReadRequest m) => (Bool -> FactionId -> ChanServer -> IO ()) -> m () Source #
Update connections to the new definition of factions. Connect to clients in old or newly spawned threads that read and write directly to the channels.
tryRestore :: MonadServerReadRequest m => m (Maybe (State, StateServer)) Source #
Internal operations
writeQueue :: MonadServerReadRequest m => Response -> CliSerQueue Response -> m () Source #
readQueueAI :: MonadServerReadRequest m => CliSerQueue RequestAI -> m RequestAI Source #
readQueueUI :: MonadServerReadRequest m => CliSerQueue RequestUI -> m RequestUI Source #
newQueue :: IO (CliSerQueue a) Source #