Safe Haskell	None
Language	Haskell2010

T3.Server

Documentation

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

data Server Source

Constructors

Server
Fields srvLobby :: TVar Lobby srvMatches :: TVar (Map MatchId MatchConfig) srvUsers :: TVar (Map UserName UserKey) srvDie :: IO () srvLogger :: GameLogger srvTimeoutLimit :: Maybe Seconds

data UserConfig Source

Constructors

UserConfig
Fields userCfgUserName :: UserName userCfgMatchToken :: MatchToken userCfgSendLoc :: (Loc, Callback) -> IO ()

data MatchConfig Source

Constructors

MatchConfig
Fields matchCfgX :: UserConfig matchCfgO :: UserConfig matchCfgDie :: IO ()

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 :: GameLogger -> Maybe Seconds -> Map UserName UserKey -> IO Server Source

genBase64 :: Int -> IO Text Source

genMatchToken :: IO MatchToken Source

genMatchId :: IO MatchId Source

genUserName :: IO UserName Source

genUserKey :: IO UserKey Source

authenticate :: Server -> UserCreds -> STM Bool Source

authorize :: UserName -> MatchToken -> MatchConfig -> Maybe UserConfig Source

toGameState :: Step -> GameState Source