Diplomacy.Game

Documentation

data Game round roundStatus where

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

Constructors

RoundOne :: Round

RoundTwo :: Round

RoundThree :: Round

RoundFour :: Round

RoundFive :: Round

Instances

Bounded Round

Methods

minBound :: Round

maxBound :: Round

Enum Round

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

Methods

(==) :: Round -> Round -> Bool

(/=) :: Round -> Round -> Bool

Ord Round

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

Methods

showsPrec :: Int -> Round -> ShowS

show :: Round -> String

showList :: [Round] -> ShowS

data RoundStatus where

Constructors

RoundUnresolved :: RoundStatus

RoundResolved :: RoundStatus

Instances

Show RoundStatus

Methods

showsPrec :: Int -> RoundStatus -> ShowS

show :: RoundStatus -> String

showList :: [RoundStatus] -> ShowS

data Status roundStatus where

Constructors

Unresolved :: Status RoundUnresolved

Resolved :: Status RoundResolved

data TypicalRound round where

Constructors

TypicalRoundOne :: TypicalRound RoundOne

TypicalRoundTwo :: TypicalRound RoundThree

Instances

Show (TypicalRound round)

Methods

showsPrec :: Int -> TypicalRound round -> ShowS

show :: TypicalRound round -> String

showList :: [TypicalRound round] -> ShowS

data RetreatRound round where

Constructors

RetreatRoundOne :: RetreatRound RoundTwo

RetreatRoundTwo :: RetreatRound RoundFour

Instances

Show (RetreatRound round)

Methods

showsPrec :: Int -> RetreatRound round -> ShowS

show :: RetreatRound round -> String

showList :: [RetreatRound round] -> ShowS

data AdjustRound round where

Constructors

AdjustRound :: AdjustRound RoundFive

Instances

Show (AdjustRound round)

Methods

showsPrec :: Int -> AdjustRound round -> ShowS

show :: AdjustRound round -> String

showList :: [AdjustRound round] -> ShowS

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

Equations

NextRound RoundOne = RoundTwo

NextRound RoundTwo = RoundThree

NextRound RoundThree = RoundFour

NextRound RoundFour = RoundFive

NextRound RoundFive = RoundOne

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

Equations

RoundPhase RoundOne = Typical

RoundPhase RoundTwo = Retreat

RoundPhase RoundThree = Typical

RoundPhase RoundFour = Retreat

RoundPhase RoundFive = Adjust

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

Equations

RoundOrderConstructor RoundUnresolved = SomeOrderObject

RoundOrderConstructor RoundResolved = SomeResolved OrderObject

roundToInt :: Round -> Int

nextRound :: Round -> Round

prevRound :: Round -> Round

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

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

gameOccupation :: Game round roundStatus -> Occupation

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

gameControl :: Game round roundStatus -> Control

gameTurn :: Game round roundStatus -> Turn

gameRound :: Game round roundStatus -> Round

gameSeason :: Game round roundStatus -> Season

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

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

resolve :: Game round RoundUnresolved -> Game round RoundResolved

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

newGame :: Game RoundOne RoundUnresolved

showGame :: Game round roundStatus -> String