Safe Haskell	None
Language	Haskell2010

T3.Client

Documentation

data UserCreds :: *

Constructors

UserCreds
Fields ucName :: UserName ucKey :: UserKey

Instances

Eq UserCreds
Show UserCreds
Generic UserCreds
ToJSON UserCreds
FromJSON UserCreds
type Rep UserCreds = D1 D1UserCreds (C1 C1_0UserCreds ((:*:) (S1 S1_0_0UserCreds (Rec0 UserName)) (S1 S1_0_1UserCreds (Rec0 UserKey))))

data StartRequest :: *

Constructors

StartRequest
Fields sreqCreds :: UserCreds

Instances

Eq StartRequest
Show StartRequest
Generic StartRequest
ToJSON StartRequest
FromJSON StartRequest
type Rep StartRequest = D1 D1StartRequest (C1 C1_0StartRequest (S1 S1_0_0StartRequest (Rec0 UserCreds)))

data PlayRequest :: *

Constructors

PlayRequest
Fields preqCreds :: UserCreds preqLoc :: Loc

Instances

Eq PlayRequest
Show PlayRequest
Generic PlayRequest
ToJSON PlayRequest
FromJSON PlayRequest
type Rep PlayRequest = D1 D1PlayRequest (C1 C1_0PlayRequest ((:*:) (S1 S1_0_0PlayRequest (Rec0 UserCreds)) (S1 S1_0_1PlayRequest (Rec0 Loc))))

data GameState :: *

Constructors

GameState
Fields gsBoard :: Board gsFinal :: Maybe Final

Instances

Eq GameState
Show GameState
Generic GameState
ToJSON GameState
FromJSON GameState
type Rep GameState = D1 D1GameState (C1 C1_0GameState ((:*:) (S1 S1_0_0GameState (Rec0 Board)) (S1 S1_0_1GameState (Rec0 (Maybe Final)))))

data Users :: *

Constructors

Users
Fields uX :: UserName uO :: UserName

Instances

Eq Users
Show Users
Generic Users
ToJSON Users
FromJSON Users
type Rep Users = D1 D1Users (C1 C1_0Users ((:*:) (S1 S1_0_0Users (Rec0 UserName)) (S1 S1_0_1Users (Rec0 UserName))))

data StartResponse :: *

Constructors

StartResponse
Fields srespMatchInfo :: MatchInfo srespUsers :: Users srespState :: GameState

Instances

Eq StartResponse
Show StartResponse
Generic StartResponse
ToJSON StartResponse
FromJSON StartResponse
type Rep StartResponse = D1 D1StartResponse (C1 C1_0StartResponse ((::) (S1 S1_0_0StartResponse (Rec0 MatchInfo)) ((::) (S1 S1_0_1StartResponse (Rec0 Users)) (S1 S1_0_2StartResponse (Rec0 GameState)))))

data PlayResponse :: *

Constructors

PlayResponse
Fields prespState :: GameState

Instances

Eq PlayResponse
Show PlayResponse
Generic PlayResponse
ToJSON PlayResponse
FromJSON PlayResponse
type Rep PlayResponse = D1 D1PlayResponse (C1 C1_0PlayResponse (S1 S1_0_0PlayResponse (Rec0 GameState)))

newtype UserName :: *

Constructors

UserName Text

Instances

Eq UserName
Ord UserName
Show UserName
ToJSON UserName
FromJSON UserName

newtype UserKey :: *

Constructors

UserKey Text

Instances

Eq UserKey
Ord UserKey
Show UserKey
ToJSON UserKey
FromJSON UserKey

data RegisterRequest :: *

Constructors

RegisterRequest
Fields rreqName :: UserName

Instances

Eq RegisterRequest
Show RegisterRequest
Generic RegisterRequest
ToJSON RegisterRequest
FromJSON RegisterRequest
type Rep RegisterRequest = D1 D1RegisterRequest (C1 C1_0RegisterRequest (S1 S1_0_0RegisterRequest (Rec0 UserName)))

data RegisterResponse :: *

Constructors

RegisterResponse
Fields rrespCreds :: UserCreds

Instances

Eq RegisterResponse
Show RegisterResponse
Generic RegisterResponse
ToJSON RegisterResponse
FromJSON RegisterResponse
type Rep RegisterResponse = D1 D1RegisterResponse (C1 C1_0RegisterResponse (S1 S1_0_0RegisterResponse (Rec0 UserCreds)))

data Users :: *

Constructors

Users
Fields uX :: UserName uO :: UserName

Instances

Eq Users
Show Users
Generic Users
ToJSON Users
FromJSON Users
type Rep Users = D1 D1Users (C1 C1_0Users ((:*:) (S1 S1_0_0Users (Rec0 UserName)) (S1 S1_0_1Users (Rec0 UserName))))

newtype MatchId :: *

Constructors

MatchId Text

Instances

Eq MatchId
Ord MatchId
Show MatchId
ToJSON MatchId
FromJSON MatchId

newtype MatchToken :: *

Constructors

MatchToken Text

Instances

Eq MatchToken
Ord MatchToken
Show MatchToken
ToJSON MatchToken
FromJSON MatchToken

data Step :: *

Constructors

Step
Fields stepBoard :: Board stepFinal :: Maybe Final

Instances

Eq Step
Show Step

data MatchInfo :: *

Constructors

MatchInfo
Fields miMatchId :: MatchId miMatchToken :: MatchToken

Instances

Eq MatchInfo
Show MatchInfo
Generic MatchInfo
ToJSON MatchInfo
FromJSON MatchInfo
type Rep MatchInfo = D1 D1MatchInfo (C1 C1_0MatchInfo ((:*:) (S1 S1_0_0MatchInfo (Rec0 MatchId)) (S1 S1_0_1MatchInfo (Rec0 MatchToken))))

data Final :: *

Constructors

Won
WonByDQ
Loss
LossByDQ
Tied

Instances

Eq Final
Show Final
ToJSON Final
FromJSON Final

data Result :: *

Constructors

Unfinished
Tie
Winner XO

Instances

Eq Result
Show Result

data Playback :: *

Constructors

Playback
Fields pbMatchId :: MatchId pbUsers :: Users pbActions :: [Action] pbResult :: Result

Instances

Eq Playback
Show Playback
ToJSON Playback
FromJSON Playback

randomLoc :: MonadRandom m => Board -> m (Maybe Loc)