T3.Client

Documentation

data XO :: *

Constructors

X

O

Instances

Eq XO

Show XO

Generic XO

ToJSON XO

FromJSON XO

FromJSON (Maybe XO)

type Rep XO = D1 D1XO ((:+:) (C1 C1_0XO U1) (C1 C1_1XO U1))

data Loc :: *

Constructors

Loc

Fields

locX :: Int

locY :: Int

Instances

Eq Loc

Ord Loc

Read Loc

Show Loc

Generic Loc

ToJSON Loc

FromJSON Loc

type Rep Loc = D1 D1Loc (C1 C1_0Loc ((:*:) (S1 S1_0_0Loc (Rec0 Int)) (S1 S1_0_1Loc (Rec0 Int))))

data Action :: *

Constructors

Action

Fields

actXO :: XO

actLoc :: Loc

Instances

Eq Action

Show Action

Generic Action

ToJSON Action

FromJSON Action

type Rep Action = D1 D1Action (C1 C1_0Action ((:*:) (S1 S1_0_0Action (Rec0 XO)) (S1 S1_0_1Action (Rec0 Loc))))

data Result :: *

Constructors

Unfinished

Tie

Winner XO

Instances

Eq Result

Show Result

data Board :: *

Instances

Eq Board

Show Board

ToJSON Board

FromJSON Board

yinYang :: XO -> XO

emptyBoard :: Board

boardMap :: Board -> Map Loc XO

boardList :: Board -> [Maybe XO]

boardSize :: Board -> Int

insertXO :: Loc -> XO -> Board -> Board

inside :: Loc -> Board -> Bool

valid :: Loc -> Board -> Bool

result :: Board -> Result

newtype Win a :: * -> *

Constructors

Win a

Instances

Functor Win

Show a => Show (Win a)

newtype Lose a :: * -> *

Constructors

Lose a

Instances

Functor Lose

Show a => Show (Lose a)

run :: Game m => Board -> m ()

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)