Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data XO :: *
data Loc :: *
data Action :: *
emptyBoard :: Board
data UserCreds :: *
data StartRequest :: *
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 :: *
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 :: *
data Users :: *
data StartResponse :: *
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 :: *
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 :: *
newtype UserKey :: *
data RegisterRequest :: *
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 :: *
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 :: *
newtype MatchId :: *
newtype MatchToken :: *
data MatchInfo :: *
data Playback :: *
randomLoc :: MonadRandom m => Board -> m (Maybe Loc)