Safe Haskell | None |
---|
The server definitions for the server-client communication protocol.
- data ChanServer resp req = ChanServer {}
- type ConnServerDict = EnumMap FactionId ConnServerFaction
- class MonadServer m => MonadServerReadRequest m where
- getDict :: m ConnServerDict
- getsDict :: (ConnServerDict -> a) -> m a
- modifyDict :: (ConnServerDict -> ConnServerDict) -> m ()
- putDict :: ConnServerDict -> m ()
- liftIO :: IO a -> m a
- sendUpdateAI :: MonadServerReadRequest m => FactionId -> ResponseAI -> m ()
- sendQueryAI :: MonadServerReadRequest m => FactionId -> ActorId -> m RequestAI
- sendPingAI :: (MonadAtomic m, MonadServerReadRequest m) => FactionId -> m ()
- sendUpdateUI :: MonadServerReadRequest m => FactionId -> ResponseUI -> m ()
- sendQueryUI :: (MonadAtomic m, MonadServerReadRequest m) => FactionId -> ActorId -> m RequestUI
- sendPingUI :: (MonadAtomic m, MonadServerReadRequest m) => FactionId -> m ()
- killAllClients :: (MonadAtomic m, MonadServerReadRequest m) => m ()
- childrenServer :: MVar [Async ()]
- updateConn :: (MonadAtomic m, MonadServerReadRequest m) => (FactionId -> ChanServer ResponseUI RequestUI -> IO ()) -> (FactionId -> ChanServer ResponseAI RequestAI -> IO ()) -> m ()
- type ConnServerFaction = (Maybe (ChanServer ResponseUI RequestUI), ChanServer ResponseAI RequestAI)
The communication channels
data ChanServer resp req Source
Connection channel between the server and a single client.
type ConnServerDict = EnumMap FactionId ConnServerFactionSource
Connection information for all factions, indexed by faction identifier.
The server-client communication monad
class MonadServer m => MonadServerReadRequest m whereSource
The server monad with the ability to communicate with clients.
getDict :: m ConnServerDictSource
getsDict :: (ConnServerDict -> a) -> m aSource
modifyDict :: (ConnServerDict -> ConnServerDict) -> m ()Source
putDict :: ConnServerDict -> m ()Source
Protocol
sendUpdateAI :: MonadServerReadRequest m => FactionId -> ResponseAI -> m ()Source
sendQueryAI :: MonadServerReadRequest m => FactionId -> ActorId -> m RequestAISource
sendPingAI :: (MonadAtomic m, MonadServerReadRequest m) => FactionId -> m ()Source
sendUpdateUI :: MonadServerReadRequest m => FactionId -> ResponseUI -> m ()Source
sendQueryUI :: (MonadAtomic m, MonadServerReadRequest m) => FactionId -> ActorId -> m RequestUISource
sendPingUI :: (MonadAtomic m, MonadServerReadRequest m) => FactionId -> m ()Source
Assorted
killAllClients :: (MonadAtomic m, MonadServerReadRequest m) => m ()Source
childrenServer :: MVar [Async ()]Source
updateConn :: (MonadAtomic m, MonadServerReadRequest m) => (FactionId -> ChanServer ResponseUI RequestUI -> IO ()) -> (FactionId -> ChanServer ResponseAI RequestAI -> 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.
type ConnServerFaction = (Maybe (ChanServer ResponseUI RequestUI), ChanServer ResponseAI RequestAI)Source
Connections to the human-controlled client of a faction and to the AI client for the same faction.