Safe Haskell	None
Language	Haskell2010

T3.Server

Documentation

type GameLogger m = MatchId -> Users -> [Action] -> Board -> Result -> m () Source

data Server m Source

Constructors

Server
Fields _srvLobby :: TVar (Lobby m) _srvMatches :: TVar (Map MatchId (MatchConfig m)) _srvUsers :: TVar (Map UserName UserKey) _srvDie :: m () _srvLogger :: GameLogger m _srvTimeoutLimit :: Maybe Seconds

data UserConfig m Source

Constructors

UserConfig
Fields _userCfgUserName :: UserName _userCfgMatchToken :: MatchToken _userCfgSendLoc :: (Loc, Callback m) -> m ()

data MatchConfig m Source

Constructors

MatchConfig
Fields _matchCfgX :: UserConfig m _matchCfgO :: UserConfig m _matchCfgDie :: m ()

data UserCreds Source

Constructors

UserCreds
Fields _ucName :: UserName _ucKey :: UserKey

Instances

Eq UserCreds Source
Show UserCreds Source
Generic UserCreds Source
ToJSON UserCreds Source
FromJSON UserCreds Source
type Rep UserCreds Source

data StartRequest Source

Constructors

StartRequest
Fields _sreqCreds :: UserCreds

Instances

Eq StartRequest Source
Show StartRequest Source
Generic StartRequest Source
ToJSON StartRequest Source
FromJSON StartRequest Source
type Rep StartRequest Source

data PlayRequest Source

Constructors

PlayRequest
Fields _preqCreds :: UserCreds _preqLoc :: Loc

Instances

Eq PlayRequest Source
Show PlayRequest Source
Generic PlayRequest Source
ToJSON PlayRequest Source
FromJSON PlayRequest Source
type Rep PlayRequest Source

data GameState Source

Constructors

GameState
Fields _gsBoard :: Board _gsFinal :: Maybe Final

Instances

Eq GameState Source
Show GameState Source
Generic GameState Source
ToJSON GameState Source
FromJSON GameState Source
type Rep GameState Source

data Users Source

Constructors

Users
Fields _uX :: UserName _uO :: UserName

Instances

Eq Users Source
Show Users Source
Generic Users Source
ToJSON Users Source
FromJSON Users Source
type Rep Users Source

data StartResponse Source

Constructors

StartResponse
Fields _srespMatchInfo :: MatchInfo _srespUsers :: Users _srespState :: GameState

Instances

Eq StartResponse Source
Show StartResponse Source
Generic StartResponse Source
ToJSON StartResponse Source
FromJSON StartResponse Source
type Rep StartResponse Source

data PlayResponse Source

Constructors

PlayResponse
Fields _prespState :: GameState

Instances

Eq PlayResponse Source
Show PlayResponse Source
Generic PlayResponse Source
ToJSON PlayResponse Source
FromJSON PlayResponse Source
type Rep PlayResponse Source

newtype UserName Source

Constructors

UserName Text

Instances

Eq UserName Source
Ord UserName Source
Show UserName Source
ToJSON UserName Source
FromJSON UserName Source

newtype UserKey Source

Constructors

UserKey Text

Instances

Eq UserKey Source
Ord UserKey Source
Show UserKey Source
ToJSON UserKey Source
FromJSON UserKey Source

data RegisterRequest Source

Constructors

RegisterRequest
Fields _rreqName :: UserName

Instances

Eq RegisterRequest Source
Show RegisterRequest Source
Generic RegisterRequest Source
ToJSON RegisterRequest Source
FromJSON RegisterRequest Source
type Rep RegisterRequest Source

data RegisterResponse Source

Constructors

RegisterResponse
Fields _rrespCreds :: UserCreds

Instances

Eq RegisterResponse Source
Show RegisterResponse Source
Generic RegisterResponse Source
ToJSON RegisterResponse Source
FromJSON RegisterResponse Source
type Rep RegisterResponse Source

forkServer :: (MonadConc m, MonadRandom m) => GameLogger m -> Maybe Seconds -> Map UserName UserKey -> m (Server m) Source

genBase64 :: MonadRandom m => Int -> m Text Source

genMatchToken :: MonadRandom m => m MatchToken Source

genMatchId :: MonadRandom m => m MatchId Source

genUserName :: MonadRandom m => m UserName Source

genUserKey :: MonadRandom m => m UserKey Source

authenticate :: MonadConc m => Server m -> UserCreds -> STM Bool Source

authorize :: UserName -> MatchToken -> MatchConfig m -> Maybe (UserConfig m) Source

toGameState :: Step -> GameState Source