Safe Haskell	None
Language	Haskell2010

Model

Synopsis

data Box
- = BoxHand HandIndex
- | BoxTarget Target
data Interaction
- = HoverInteraction Box
- | HoverSelectionInteraction Box Box
- | NoInteraction
- | SelectionInteraction Box
- | ShowErrorInteraction Text
toHover :: Interaction -> Maybe Box
toSelection :: Interaction -> Maybe Box
addHover :: Box -> Interaction -> Interaction
rmHover :: Interaction -> Interaction
addSelection :: Box -> Interaction -> Interaction
rmSelection :: Interaction -> Interaction
data Game = Game {
- shared :: Model
- board :: T Core
- difficulty :: Difficulty
- encounter :: Encounter
- interaction :: Interaction
- journey :: Maybe Journey
- player :: Player Team
- rewards :: [Rewards]
- theme :: Kind
- turn :: T
- uiAvail :: Bool
- anims :: T UI
- anim :: Animation
}
mkInitialGame :: Model -> Difficulty -> Kind -> Map Coord Encounter -> (Coord, Encounter) -> Maybe Journey -> Teams (Team, [Card Core]) -> Game
mkWorld :: Model -> Map Coord Encounter -> Bool -> Player (Maybe Team) -> (Nat, Nat) -> World
mkTopLeft :: Coord -> Coord
gameToDeck :: Game -> [ID]
gameToLoot :: Game -> Outcome -> Either End Loot
unsafeLootModel :: Welcome -> Model
unsafeGameModel :: Welcome -> Model
isPlayerTurn :: Game -> Bool
data Player a = Player {
- past :: Map Coord Encounter
- pDeck :: [ID]
- position :: Coord
- pSpot :: Player
- pTeam :: a
}
data World = Network a => World {
- encounters :: Map Coord Encounter
- fade :: Fade
- moved :: Bool
- player :: Player (Maybe Team)
- shared :: Model
- size :: (Nat, Nat)
- topLeft :: Coord
- topology :: a
}
data PlayingMode
- = NoPlayingMode
- | MultiPlayer
- | SinglePlayer
- | SinglePlayerTeam Team
type TimedFrames = Vector TimedFrame
data SceneModel
- = SceneNotStarted TimedFrames
- | ScenePlaying TimedFrames Int
- | ScenePausedForDebugging TimedFrames Int
- | SceneComplete TimedFrames
data Welcome = Welcome {
- sceneModel :: SceneModel
- shared :: Model
- keysDown :: Set Int
}
data SinglePlayerLobbyModel = SinglePlayerLobbyModel {
- singlePlayerLobbyTeam :: Maybe Team
- singlePlayerLobbyShared :: Model
}
data MultiPlayerLobbyError
- = InvitationCancelledError UserName
- | InvitationRejectedError UserName
- | UserBusyError UserName
data MultiPlayerLobbyModel
- = CollectingUserName UserName
- | WaitingForNameSubmission UserName
- | DisplayingUserList (Maybe MultiPlayerLobbyError) UserName [UserName]
- | InvitingUser UserName [UserName] UserName InvitationActorState
- | Invited UserName [UserName] UserName InvitedActorState
- | GameStarted UserName UserName
data InvitationActorState
- = WaitingForUserInvitationAck
- | WaitingForRSVP
- | WaitingForInvitationDropAck
data InvitedActorState
- = CollectingUserRSVP
- | WaitingForRejectionAck
- | WaitingForAcceptanceAck
data Deck = Deck {
- deck :: [Card Core]
- deckBack :: Model
- player :: Player
- team :: Team
- turn :: T
- shared :: Model
}
data Picked
- = Picked
- | NotPicked
data Loot = Loot {
- fade :: Fade
- nbRewards :: Nat
- player :: Player Team
- shared :: Model
- rewards :: [(ID, Picked)]
}
data End = End {
- win :: Bool
}
data Model
- = Deck' Deck
- | End' End
- | Game' Game
- | Loot' Loot
- | World' World

Documentation

data Box #

Things that can be hovered or selected.

Constructors

BoxHand HandIndex
BoxTarget Target	Player part/card

Instances

Eq Box #
Instance details Defined in Model Methods (==) :: Box -> Box -> Bool # (/=) :: Box -> Box -> Bool #
Ord Box #
Instance details Defined in Model Methods compare :: Box -> Box -> Ordering # (<) :: Box -> Box -> Bool # (<=) :: Box -> Box -> Bool # (>) :: Box -> Box -> Bool # (>=) :: Box -> Box -> Bool # max :: Box -> Box -> Box # min :: Box -> Box -> Box #
Show Box #
Instance details Defined in Model Methods showsPrec :: Int -> Box -> ShowS # show :: Box -> String # showList :: [Box] -> ShowS #

data Interaction #

An interaction happening in the game page. TODO smelc removeInteraction@ suffix of constructors and move to new file?

Constructors

HoverInteraction Box	Hovering over a card in hand/in place
HoverSelectionInteraction Box Box	Hovering over something while there is a selection. If there is only hovering, then `HoverInteraction` is used. If there is only a selection, then `SelectionInteraction` is used.
NoInteraction
SelectionInteraction Box
ShowErrorInteraction Text

Instances

Eq Interaction #
Instance details Defined in Model Methods (==) :: Interaction -> Interaction -> Bool # (/=) :: Interaction -> Interaction -> Bool #
Show Interaction #
Instance details Defined in Model Methods showsPrec :: Int -> Interaction -> ShowS # show :: Interaction -> String # showList :: [Interaction] -> ShowS #
Generic Interaction #
Instance details Defined in Model Associated Types type Rep Interaction :: Type -> Type # Methods from :: Interaction -> Rep Interaction x # to :: Rep Interaction x -> Interaction #
type Rep Interaction #
Instance details Defined in Model type Rep Interaction = D1 (MetaData "Interaction" "Model" "main" False) ((C1 (MetaCons "HoverInteraction" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Box)) :+: C1 (MetaCons "HoverSelectionInteraction" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Box) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Box))) :+: (C1 (MetaCons "NoInteraction" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "SelectionInteraction" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Box)) :+: C1 (MetaCons "ShowErrorInteraction" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))

toHover :: Interaction -> Maybe Box #

The hovering interaction, if any

toSelection :: Interaction -> Maybe Box #

The selection interaction, if any

addHover :: Box -> Interaction -> Interaction #

addHover ik i adds the hover interaction ik to i

rmHover :: Interaction -> Interaction #

rmHover i removes the hover interaction from i

addSelection :: Box -> Interaction -> Interaction #

addSelection s i adds the selection interaction s to i

rmSelection :: Interaction -> Interaction #

rmSelection i removes the selection interaction from i

data Game #

The model of the gaming page. If you add a field, think about extending the Show instance below.

Constructors

Game

Fields

shared :: Model
Part of the model shared among all pages
board :: T Core
The core part of the model
difficulty :: Difficulty
The game's difficulty
encounter :: Encounter
The encounter where this game is on the world map. The position of the encounter is within Game.
interaction :: Interaction
What user interaction is going on
journey :: Maybe Journey
The list of games to play in Vanilla edition, Nothing in legendary edition.
player :: Player Team
Data of the playing player
rewards :: [Rewards]
The rewards of the entire campaign
theme :: Kind
The theme
turn :: T
The current turn
uiAvail :: Bool
Whether interactions are possible right now
anims :: T UI
Animations to perform next
anim :: Animation
Animation unrelated to Board

Instances

Eq Game #
Instance details Defined in Model Methods (==) :: Game -> Game -> Bool # (/=) :: Game -> Game -> Bool #
Show Game #
Instance details Defined in Model Methods showsPrec :: Int -> Game -> ShowS # show :: Game -> String # showList :: [Game] -> ShowS #
Generic Game #
Instance details Defined in Model Associated Types type Rep Game :: Type -> Type # Methods from :: Game -> Rep Game x # to :: Rep Game x -> Game #
Contains Game T #
Instance details Defined in Model Methods to :: Game -> T #
With Game (Kernel ()) #
Instance details Defined in Move Methods with :: Game -> Kernel () -> Game #
With Game (Kernel Player) #
Instance details Defined in Move Methods with :: Game -> Kernel Player -> Game #
Contains Game (Kernel ()) #
Instance details Defined in Move Methods to :: Game -> Kernel () #
Contains Game (Kernel Player) #
Instance details Defined in Move Methods to :: Game -> Kernel Player #
type Rep Game #
Instance details Defined in Model type Rep Game = D1 (MetaData "Game" "Model" "main" False) (C1 (MetaCons "Game" PrefixI True) (((S1 (MetaSel (Just "shared") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Model) :: (S1 (MetaSel (Just "board") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (T Core)) :: S1 (MetaSel (Just "difficulty") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Difficulty))) :: (S1 (MetaSel (Just "encounter") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Encounter) :: (S1 (MetaSel (Just "interaction") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Interaction) :: S1 (MetaSel (Just "journey") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Journey))))) :: ((S1 (MetaSel (Just "player") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Player Team)) :: (S1 (MetaSel (Just "rewards") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Rewards]) :: S1 (MetaSel (Just "theme") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Kind))) :: ((S1 (MetaSel (Just "turn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 T) :: S1 (MetaSel (Just "uiAvail") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) :: (S1 (MetaSel (Just "anims") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (T UI)) :: S1 (MetaSel (Just "anim") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Animation))))))

mkInitialGame #

Arguments

:: Model
-> Difficulty
-> Kind
-> Map Coord Encounter	Encounters done already
-> (Coord, Encounter)	The location of the current encounter and the encounter itself
-> Maybe Journey
-> Teams (Team, [Card Core])	The teams
-> Game

An instance of Game that is ready for starting a game

mkWorld :: Model -> Map Coord Encounter -> Bool -> Player (Maybe Team) -> (Nat, Nat) -> World #

A smart constructor for World

mkTopLeft :: Coord -> Coord #

gameToDeck :: Game -> [ID] #

gameToLoot :: Game -> Outcome -> Either End Loot #

unsafeLootModel :: Welcome -> Model #

Function for debugging only. Used to make the game start directly on the LootView.

unsafeGameModel :: Welcome -> Model #

Function for debugging only. Used to make the game start directly on the GameView. Similar to a function in Update (but we don't want to grow Update if we can avoid).

isPlayerTurn :: Game -> Bool #

Whether it's the turn of the playing player, i.e. neither the AI turn | nor the turn of the other player if in multiplayer.

data Player a #

Data of the playing player

Constructors

Player
Fields past :: Map Coord Encounter Encounters done already pDeck :: [ID] The deck position :: Coord The absolute position of the character, in number of cells pSpot :: Player Where the player plays pTeam :: a The player's team. Either instantiated by `Maybe Team` before the team has been picked in `World`. Then instantiated by `Team`.

Instances

Functor Player #
Instance details Defined in Model Methods fmap :: (a -> b) -> Player a -> Player b # (<$) :: a -> Player b -> Player a #
Eq a => Eq (Player a) #
Instance details Defined in Model Methods (==) :: Player a -> Player a -> Bool # (/=) :: Player a -> Player a -> Bool #
Show a => Show (Player a) #
Instance details Defined in Model Methods showsPrec :: Int -> Player a -> ShowS # show :: Player a -> String # showList :: [Player a] -> ShowS #
Generic (Player a) #
Instance details Defined in Model Associated Types type Rep (Player a) :: Type -> Type # Methods from :: Player a -> Rep (Player a) x # to :: Rep (Player a) x -> Player a #
With (Player a) Coord #
Instance details Defined in Model Methods with :: Player a -> Coord -> Player a #
type Rep (Player a) #
Instance details Defined in Model type Rep (Player a) = D1 (MetaData "Player" "Model" "main" False) (C1 (MetaCons "Player" PrefixI True) ((S1 (MetaSel (Just "past") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Coord Encounter)) :: S1 (MetaSel (Just "pDeck") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ID])) :: (S1 (MetaSel (Just "position") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Coord) :: (S1 (MetaSel (Just "pSpot") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Player) :: S1 (MetaSel (Just "pTeam") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))))

data World #

The model of the world page. If you add a field, consider extending the Show and Eq instances below.

Constructors

Network a => World

Fields

encounters :: Map Coord Encounter
Possible encounters
fade :: Fade
The fading (if any)
moved :: Bool
Whether a move was done already
player :: Player (Maybe Team)
Data of the playing player
shared :: Model
Part of the model shared among all pages
size :: (Nat, Nat)
The size of the view, in number of cells (width, height)
topLeft :: Coord
Coordinate of the most top left visible cell, in number of cells
topology :: a

Instances

Eq World #
Instance details Defined in Model Methods (==) :: World -> World -> Bool # (/=) :: World -> World -> Bool #
Show World #
Instance details Defined in Model Methods showsPrec :: Int -> World -> ShowS # show :: World -> String # showList :: [World] -> ShowS #
With World Coord #
Instance details Defined in Model Methods with :: World -> Coord -> World #

data PlayingMode #

Constructors

NoPlayingMode
MultiPlayer
SinglePlayer
SinglePlayerTeam Team

Instances

Eq PlayingMode #
Instance details Defined in Model Methods (==) :: PlayingMode -> PlayingMode -> Bool # (/=) :: PlayingMode -> PlayingMode -> Bool #
Show PlayingMode #
Instance details Defined in Model Methods showsPrec :: Int -> PlayingMode -> ShowS # show :: PlayingMode -> String # showList :: [PlayingMode] -> ShowS #
Generic PlayingMode #
Instance details Defined in Model Associated Types type Rep PlayingMode :: Type -> Type # Methods from :: PlayingMode -> Rep PlayingMode x # to :: Rep PlayingMode x -> PlayingMode #
type Rep PlayingMode #
Instance details Defined in Model type Rep PlayingMode = D1 (MetaData "PlayingMode" "Model" "main" False) ((C1 (MetaCons "NoPlayingMode" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "MultiPlayer" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "SinglePlayer" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SinglePlayerTeam" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Team))))

type TimedFrames = Vector TimedFrame #

data SceneModel #

Constructors

SceneNotStarted TimedFrames
ScenePlaying TimedFrames Int
ScenePausedForDebugging TimedFrames Int
SceneComplete TimedFrames

Instances

Eq SceneModel #
Instance details Defined in Model Methods (==) :: SceneModel -> SceneModel -> Bool # (/=) :: SceneModel -> SceneModel -> Bool #
Show SceneModel #
Instance details Defined in Model Methods showsPrec :: Int -> SceneModel -> ShowS # show :: SceneModel -> String # showList :: [SceneModel] -> ShowS #
Generic SceneModel #
Instance details Defined in Model Associated Types type Rep SceneModel :: Type -> Type # Methods from :: SceneModel -> Rep SceneModel x # to :: Rep SceneModel x -> SceneModel #
type Rep SceneModel #
Instance details Defined in Model type Rep SceneModel = D1 (MetaData "SceneModel" "Model" "main" False) ((C1 (MetaCons "SceneNotStarted" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TimedFrames)) :+: C1 (MetaCons "ScenePlaying" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TimedFrames) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) :+: (C1 (MetaCons "ScenePausedForDebugging" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TimedFrames) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "SceneComplete" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TimedFrames))))

data Welcome #

The model of the welcome page

Constructors

Welcome
Fields sceneModel :: SceneModel shared :: Model Part of the model shared among all pages keysDown :: Set Int Keys currently down

Instances

Eq Welcome #
Instance details Defined in Model Methods (==) :: Welcome -> Welcome -> Bool # (/=) :: Welcome -> Welcome -> Bool #
Show Welcome #
Instance details Defined in Model Methods showsPrec :: Int -> Welcome -> ShowS # show :: Welcome -> String # showList :: [Welcome] -> ShowS #
Generic Welcome #
Instance details Defined in Model Associated Types type Rep Welcome :: Type -> Type # Methods from :: Welcome -> Rep Welcome x # to :: Rep Welcome x -> Welcome #
type Rep Welcome #
Instance details Defined in Model type Rep Welcome = D1 (MetaData "Welcome" "Model" "main" False) (C1 (MetaCons "Welcome" PrefixI True) (S1 (MetaSel (Just "sceneModel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SceneModel) :: (S1 (MetaSel (Just "shared") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Model) :: S1 (MetaSel (Just "keysDown") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Set Int)))))

data SinglePlayerLobbyModel #

Constructors

SinglePlayerLobbyModel
Fields singlePlayerLobbyTeam :: Maybe Team The chosen team singlePlayerLobbyShared :: Model Part of the model shared among all pages

Instances

Eq SinglePlayerLobbyModel #
Instance details Defined in Model Methods (==) :: SinglePlayerLobbyModel -> SinglePlayerLobbyModel -> Bool # (/=) :: SinglePlayerLobbyModel -> SinglePlayerLobbyModel -> Bool #
Show SinglePlayerLobbyModel #
Instance details Defined in Model Methods showsPrec :: Int -> SinglePlayerLobbyModel -> ShowS # show :: SinglePlayerLobbyModel -> String # showList :: [SinglePlayerLobbyModel] -> ShowS #
Generic SinglePlayerLobbyModel #
Instance details Defined in Model Associated Types type Rep SinglePlayerLobbyModel :: Type -> Type # Methods from :: SinglePlayerLobbyModel -> Rep SinglePlayerLobbyModel x # to :: Rep SinglePlayerLobbyModel x -> SinglePlayerLobbyModel #
type Rep SinglePlayerLobbyModel #
Instance details Defined in Model type Rep SinglePlayerLobbyModel = D1 (MetaData "SinglePlayerLobbyModel" "Model" "main" False) (C1 (MetaCons "SinglePlayerLobbyModel" PrefixI True) (S1 (MetaSel (Just "singlePlayerLobbyTeam") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Team)) :*: S1 (MetaSel (Just "singlePlayerLobbyShared") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Model)))

data MultiPlayerLobbyError #

Constructors

InvitationCancelledError UserName
InvitationRejectedError UserName
UserBusyError UserName

Instances

Eq MultiPlayerLobbyError #
Instance details Defined in Model Methods (==) :: MultiPlayerLobbyError -> MultiPlayerLobbyError -> Bool # (/=) :: MultiPlayerLobbyError -> MultiPlayerLobbyError -> Bool #
Show MultiPlayerLobbyError #
Instance details Defined in Model Methods showsPrec :: Int -> MultiPlayerLobbyError -> ShowS # show :: MultiPlayerLobbyError -> String # showList :: [MultiPlayerLobbyError] -> ShowS #
Generic MultiPlayerLobbyError #
Instance details Defined in Model Associated Types type Rep MultiPlayerLobbyError :: Type -> Type # Methods from :: MultiPlayerLobbyError -> Rep MultiPlayerLobbyError x # to :: Rep MultiPlayerLobbyError x -> MultiPlayerLobbyError #
type Rep MultiPlayerLobbyError #
Instance details Defined in Model type Rep MultiPlayerLobbyError = D1 (MetaData "MultiPlayerLobbyError" "Model" "main" False) (C1 (MetaCons "InvitationCancelledError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName)) :+: (C1 (MetaCons "InvitationRejectedError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName)) :+: C1 (MetaCons "UserBusyError" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName))))

data MultiPlayerLobbyModel #

Instances

Eq MultiPlayerLobbyModel #
Instance details Defined in Model Methods (==) :: MultiPlayerLobbyModel -> MultiPlayerLobbyModel -> Bool # (/=) :: MultiPlayerLobbyModel -> MultiPlayerLobbyModel -> Bool #
Show MultiPlayerLobbyModel #
Instance details Defined in Model Methods showsPrec :: Int -> MultiPlayerLobbyModel -> ShowS # show :: MultiPlayerLobbyModel -> String # showList :: [MultiPlayerLobbyModel] -> ShowS #
Generic MultiPlayerLobbyModel #
Instance details Defined in Model Associated Types type Rep MultiPlayerLobbyModel :: Type -> Type # Methods from :: MultiPlayerLobbyModel -> Rep MultiPlayerLobbyModel x # to :: Rep MultiPlayerLobbyModel x -> MultiPlayerLobbyModel #
type Rep MultiPlayerLobbyModel #
Instance details Defined in Model type Rep MultiPlayerLobbyModel = D1 (MetaData "MultiPlayerLobbyModel" "Model" "main" False) ((C1 (MetaCons "CollectingUserName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName)) :+: (C1 (MetaCons "WaitingForNameSubmission" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName)) :+: C1 (MetaCons "DisplayingUserList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe MultiPlayerLobbyError)) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [UserName]))))) :+: (C1 (MetaCons "InvitingUser" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [UserName])) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InvitationActorState))) :+: (C1 (MetaCons "Invited" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [UserName])) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 InvitedActorState))) :+: C1 (MetaCons "GameStarted" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UserName)))))

data InvitationActorState #

Constructors

WaitingForUserInvitationAck
WaitingForRSVP
WaitingForInvitationDropAck

Instances

Eq InvitationActorState #
Instance details Defined in Model Methods (==) :: InvitationActorState -> InvitationActorState -> Bool # (/=) :: InvitationActorState -> InvitationActorState -> Bool #
Show InvitationActorState #
Instance details Defined in Model Methods showsPrec :: Int -> InvitationActorState -> ShowS # show :: InvitationActorState -> String # showList :: [InvitationActorState] -> ShowS #
Generic InvitationActorState #
Instance details Defined in Model Associated Types type Rep InvitationActorState :: Type -> Type # Methods from :: InvitationActorState -> Rep InvitationActorState x # to :: Rep InvitationActorState x -> InvitationActorState #
type Rep InvitationActorState #
Instance details Defined in Model type Rep InvitationActorState = D1 (MetaData "InvitationActorState" "Model" "main" False) (C1 (MetaCons "WaitingForUserInvitationAck" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "WaitingForRSVP" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "WaitingForInvitationDropAck" PrefixI False) (U1 :: Type -> Type)))

data InvitedActorState #

Constructors

CollectingUserRSVP
WaitingForRejectionAck
WaitingForAcceptanceAck

Instances

Eq InvitedActorState #
Instance details Defined in Model Methods (==) :: InvitedActorState -> InvitedActorState -> Bool # (/=) :: InvitedActorState -> InvitedActorState -> Bool #
Show InvitedActorState #
Instance details Defined in Model Methods showsPrec :: Int -> InvitedActorState -> ShowS # show :: InvitedActorState -> String # showList :: [InvitedActorState] -> ShowS #
Generic InvitedActorState #
Instance details Defined in Model Associated Types type Rep InvitedActorState :: Type -> Type # Methods from :: InvitedActorState -> Rep InvitedActorState x # to :: Rep InvitedActorState x -> InvitedActorState #
type Rep InvitedActorState #
Instance details Defined in Model type Rep InvitedActorState = D1 (MetaData "InvitedActorState" "Model" "main" False) (C1 (MetaCons "CollectingUserRSVP" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "WaitingForRejectionAck" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "WaitingForAcceptanceAck" PrefixI False) (U1 :: Type -> Type)))

data Deck #

Constructors

Deck
Fields deck :: [Card Core] The deck to show deckBack :: Model The model to use when closing the deck view player :: Player To which player `$sel:deckBack:Deck` belongs team :: Team To which team the deck being shown belongs turn :: T The current turn shared :: Model Part of the model shared among all pages

Instances

Eq Deck #
Instance details Defined in Model Methods (==) :: Deck -> Deck -> Bool # (/=) :: Deck -> Deck -> Bool #
Show Deck #
Instance details Defined in Model Methods showsPrec :: Int -> Deck -> ShowS # show :: Deck -> String # showList :: [Deck] -> ShowS #
Generic Deck #
Instance details Defined in Model Associated Types type Rep Deck :: Type -> Type # Methods from :: Deck -> Rep Deck x # to :: Rep Deck x -> Deck #
Contains Deck T #
Instance details Defined in Model Methods to :: Deck -> T #
type Rep Deck #
Instance details Defined in Model type Rep Deck = D1 (MetaData "Deck" "Model" "main" False) (C1 (MetaCons "Deck" PrefixI True) ((S1 (MetaSel (Just "deck") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Card Core]) :: (S1 (MetaSel (Just "deckBack") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Model) :: S1 (MetaSel (Just "player") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Player))) :: (S1 (MetaSel (Just "team") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Team) :: (S1 (MetaSel (Just "turn") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 T) :*: S1 (MetaSel (Just "shared") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Model)))))

data Picked #

Whether a card has been picked or not in the LootView

Constructors

Picked	Reward has been chosen
NotPicked	Reward has not been chosen

Instances

Eq Picked #
Instance details Defined in Model Methods (==) :: Picked -> Picked -> Bool # (/=) :: Picked -> Picked -> Bool #
Ord Picked #
Instance details Defined in Model Methods compare :: Picked -> Picked -> Ordering # (<) :: Picked -> Picked -> Bool # (<=) :: Picked -> Picked -> Bool # (>) :: Picked -> Picked -> Bool # (>=) :: Picked -> Picked -> Bool # max :: Picked -> Picked -> Picked # min :: Picked -> Picked -> Picked #
Show Picked #
Instance details Defined in Model Methods showsPrec :: Int -> Picked -> ShowS # show :: Picked -> String # showList :: [Picked] -> ShowS #
Generic Picked #
Instance details Defined in Model Associated Types type Rep Picked :: Type -> Type # Methods from :: Picked -> Rep Picked x # to :: Rep Picked x -> Picked #
type Rep Picked #
Instance details Defined in Model type Rep Picked = D1 (MetaData "Picked" "Model" "main" False) (C1 (MetaCons "Picked" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NotPicked" PrefixI False) (U1 :: Type -> Type))

data Loot #

Constructors

Loot
Fields fade :: Fade nbRewards :: Nat The number of rewards to be picked from `Game` player :: Player Team Data of the playing player shared :: Model Part of the model shared among all pages rewards :: [(ID, Picked)] The possible rewards, and whether they have been picked already or not.

Instances

Eq Loot #
Instance details Defined in Model Methods (==) :: Loot -> Loot -> Bool # (/=) :: Loot -> Loot -> Bool #
Show Loot #
Instance details Defined in Model Methods showsPrec :: Int -> Loot -> ShowS # show :: Loot -> String # showList :: [Loot] -> ShowS #
Generic Loot #
Instance details Defined in Model Associated Types type Rep Loot :: Type -> Type # Methods from :: Loot -> Rep Loot x # to :: Rep Loot x -> Loot #
type Rep Loot #
Instance details Defined in Model type Rep Loot = D1 (MetaData "Loot" "Model" "main" False) (C1 (MetaCons "Loot" PrefixI True) ((S1 (MetaSel (Just "fade") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Fade) :: S1 (MetaSel (Just "nbRewards") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Nat)) :: (S1 (MetaSel (Just "player") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Player Team)) :: (S1 (MetaSel (Just "shared") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Model) :: S1 (MetaSel (Just "rewards") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(ID, Picked)])))))

data End #

Model when the game ends

Constructors

End
Fields win :: Bool Whether it's a win (`True`) or a loss (`False`)

Instances

Eq End #
Instance details Defined in Model Methods (==) :: End -> End -> Bool # (/=) :: End -> End -> Bool #
Show End #
Instance details Defined in Model Methods showsPrec :: Int -> End -> ShowS # show :: End -> String # showList :: [End] -> ShowS #
Generic End #
Instance details Defined in Model Associated Types type Rep End :: Type -> Type # Methods from :: End -> Rep End x # to :: Rep End x -> End #
type Rep End #
Instance details Defined in Model type Rep End = D1 (MetaData "End" "Model" "main" False) (C1 (MetaCons "End" PrefixI True) (S1 (MetaSel (Just "win") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))

data Model #

The top level model. TODO @smelc introduce a View typeclass and use "Model = forall a. View a => Model a"? But I would lose pattern matching, hum?

Constructors

Deck' Deck
End' End
Game' Game
Loot' Loot
World' World

Instances

Eq Model #
Instance details Defined in Model Methods (==) :: Model -> Model -> Bool # (/=) :: Model -> Model -> Bool #
Show Model #
Instance details Defined in Model Methods showsPrec :: Int -> Model -> ShowS # show :: Model -> String # showList :: [Model] -> ShowS #
Generic Model #
Instance details Defined in Model Associated Types type Rep Model :: Type -> Type # Methods from :: Model -> Rep Model x # to :: Rep Model x -> Model #
type Rep Model #
Instance details Defined in Model type Rep Model = D1 (MetaData "Model" "Model" "main" False) ((C1 (MetaCons "Deck'" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Deck)) :+: C1 (MetaCons "End'" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 End))) :+: (C1 (MetaCons "Game'" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Game)) :+: (C1 (MetaCons "Loot'" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Loot)) :+: C1 (MetaCons "World'" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 World)))))

CollectingUserName UserName
WaitingForNameSubmission UserName
DisplayingUserList (Maybe MultiPlayerLobbyError) UserName [UserName]
InvitingUser UserName [UserName] UserName InvitationActorState
Invited UserName [UserName] UserName InvitedActorState
GameStarted UserName UserName