Copyright	(c) Alexander Vieth 2015
License	BSD3
Maintainer	aovieth@gmail.com
Stability	experimental
Portability	non-portable (GHC only)
Safe Haskell	None
Language	Haskell2010

Diplomacy.Game

Description

Synopsis

Documentation

data Game round roundStatus where Source #

Constructors

TypicalGame :: TypicalRound round -> Status roundStatus -> Turn -> Map Zone (Aligned Unit, RoundOrderConstructor roundStatus Typical) -> Control -> Game round roundStatus
RetreatGame :: RetreatRound round -> Status roundStatus -> Turn -> Resolution Typical -> Map Zone (Aligned Unit, RoundOrderConstructor roundStatus Retreat) -> Occupation -> Control -> Game round roundStatus
AdjustGame :: AdjustRound round -> Status roundStatus -> Turn -> Map Zone (Aligned Unit, RoundOrderConstructor roundStatus Adjust) -> Control -> Game round roundStatus

data Round where Source #

Constructors

RoundOne :: Round
RoundTwo :: Round
RoundThree :: Round
RoundFour :: Round
RoundFive :: Round

Instances

Bounded Round Source #
Methods minBound :: Round # maxBound :: Round #
Enum Round Source #
Methods succ :: Round -> Round # pred :: Round -> Round # toEnum :: Int -> Round # fromEnum :: Round -> Int # enumFrom :: Round -> [Round] # enumFromThen :: Round -> Round -> [Round] # enumFromTo :: Round -> Round -> [Round] # enumFromThenTo :: Round -> Round -> Round -> [Round] #
Eq Round Source #
Methods (==) :: Round -> Round -> Bool # (/=) :: Round -> Round -> Bool #
Ord Round Source #
Methods compare :: Round -> Round -> Ordering # (<) :: Round -> Round -> Bool # (<=) :: Round -> Round -> Bool # (>) :: Round -> Round -> Bool # (>=) :: Round -> Round -> Bool # max :: Round -> Round -> Round # min :: Round -> Round -> Round #
Show Round Source #
Methods showsPrec :: Int -> Round -> ShowS # show :: Round -> String # showList :: [Round] -> ShowS #

data RoundStatus where Source #

Constructors

RoundUnresolved :: RoundStatus
RoundResolved :: RoundStatus

Instances

Show RoundStatus Source #
Methods showsPrec :: Int -> RoundStatus -> ShowS # show :: RoundStatus -> String # showList :: [RoundStatus] -> ShowS #

data Status roundStatus where Source #

Constructors

Unresolved :: Status RoundUnresolved
Resolved :: Status RoundResolved

data TypicalRound round where Source #

Constructors

TypicalRoundOne :: TypicalRound RoundOne
TypicalRoundTwo :: TypicalRound RoundThree

Instances

Show (TypicalRound round) Source #
Methods showsPrec :: Int -> TypicalRound round -> ShowS # show :: TypicalRound round -> String # showList :: [TypicalRound round] -> ShowS #

data RetreatRound round where Source #

Constructors

RetreatRoundOne :: RetreatRound RoundTwo
RetreatRoundTwo :: RetreatRound RoundFour

Instances

Show (RetreatRound round) Source #
Methods showsPrec :: Int -> RetreatRound round -> ShowS # show :: RetreatRound round -> String # showList :: [RetreatRound round] -> ShowS #

data AdjustRound round where Source #

Constructors

AdjustRound :: AdjustRound RoundFive

Instances

Show (AdjustRound round) Source #
Methods showsPrec :: Int -> AdjustRound round -> ShowS # show :: AdjustRound round -> String # showList :: [AdjustRound round] -> ShowS #

type family NextRound (round :: Round) :: Round where ... Source #

Equations

NextRound RoundOne = RoundTwo
NextRound RoundTwo = RoundThree
NextRound RoundThree = RoundFour
NextRound RoundFour = RoundFive
NextRound RoundFive = RoundOne

type family RoundPhase (round :: Round) :: Phase where ... Source #

Equations

RoundPhase RoundOne = Typical
RoundPhase RoundTwo = Retreat
RoundPhase RoundThree = Typical
RoundPhase RoundFour = Retreat
RoundPhase RoundFive = Adjust

type family RoundOrderConstructor (roundStatus :: RoundStatus) :: Phase -> * where ... Source #

Equations

RoundOrderConstructor RoundUnresolved = SomeOrderObject
RoundOrderConstructor RoundResolved = SomeResolved OrderObject

roundToInt :: Round -> Int Source #

nextRound :: Round -> Round Source #

prevRound :: Round -> Round Source #

gameZonedOrders :: Game round RoundUnresolved -> Map Zone (Aligned Unit, SomeOrderObject (RoundPhase round)) Source #

gameZonedResolvedOrders :: Game round RoundResolved -> Map Zone (Aligned Unit, SomeResolved OrderObject (RoundPhase round)) Source #

gameOccupation :: Game round roundStatus -> Occupation Source #

gameDislodged :: RoundPhase round ~ Retreat => Game round RoundUnresolved -> Map Zone (Aligned Unit) Source #

gameControl :: Game round roundStatus -> Control Source #

gameTurn :: Game round roundStatus -> Turn Source #

gameRound :: Game round roundStatus -> Round Source #

gameSeason :: Game round roundStatus -> Season Source #

issueOrders :: forall round. Map Zone (Aligned Unit, SomeOrderObject (RoundPhase round)) -> Game round RoundUnresolved -> (ValidateOrdersOutput (RoundPhase round), Game round RoundUnresolved) Source #

The game given as the second component of the return value will differ from the input game only if all orders are valid.

NB for adjust phase we wipe all build orders for every great power with at least one order appearing in the input order set; that's because there's no way to explicitly remove a build order by overwriting it with some other order. This is due to the way we represent build orders: they are in the game map alongside a unit which doesn't really exist yet. Removing this order involves removing that entry in the map.

removeBuildOrders :: RoundPhase round ~ Adjust => Set GreatPower -> Game round RoundUnresolved -> Game round RoundUnresolved Source #

resolve :: Game round RoundUnresolved -> Game round RoundResolved Source #

continue :: Game round RoundResolved -> Game (NextRound round) RoundUnresolved Source #

newGame :: Game RoundOne RoundUnresolved Source #

showGame :: Game round roundStatus -> String Source #