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

Diplomacy.OrderResolution

Description

Synopsis

Documentation

type Resolved k phase order = (k phase order, Maybe (FailureReason phase order)) Source #

data SomeResolved k phase where Source #

Constructors

SomeResolved :: Resolved k phase order -> SomeResolved k phase

Instances

Eq (SomeResolved OrderObject phase) Source #
Methods (==) :: SomeResolved OrderObject phase -> SomeResolved OrderObject phase -> Bool # (/=) :: SomeResolved OrderObject phase -> SomeResolved OrderObject phase -> Bool #
Show (SomeResolved OrderObject phase) Source #
Methods showsPrec :: Int -> SomeResolved OrderObject phase -> ShowS # show :: SomeResolved OrderObject phase -> String # showList :: [SomeResolved OrderObject phase] -> ShowS #
Show (SomeResolved Order phase) Source #
Methods showsPrec :: Int -> SomeResolved Order phase -> ShowS # show :: SomeResolved Order phase -> String # showList :: [SomeResolved Order phase] -> ShowS #

withSomeResolved :: (forall order. Resolved k phase order -> t) -> SomeResolved k phase -> t Source #

data FailureReason phase order where Source #

Enumeration of reasons why an order could not succeed.

Constructors

MoveOverpowered :: AtLeast One (Aligned Subject) -> FailureReason Typical Move
MoveBounced :: AtLeast One (Aligned Subject) -> FailureReason Typical Move
MoveFriendlyDislodge :: Unit -> FailureReason Typical Move
MoveNoConvoy :: FailureReason Typical Move
MoveConvoyParadox :: FailureReason Typical Move
SupportVoid :: FailureReason Typical Support
SupportCut :: AtLeast One (Aligned Subject) -> FailureReason Typical Support
SupportDislodged :: Aligned Subject -> FailureReason Typical Support
ConvoyVoid :: FailureReason Typical Convoy
ConvoyNoRoute :: FailureReason Typical Convoy
ConvoyRouteCut :: [(Zone, Aligned Subject)] -> FailureReason Typical Convoy
WithdrawCollision :: AtLeast One (Aligned Subject) -> FailureReason Retreat Withdraw

Instances

Eq (FailureReason phase order) Source #
Methods (==) :: FailureReason phase order -> FailureReason phase order -> Bool # (/=) :: FailureReason phase order -> FailureReason phase order -> Bool #
Show (FailureReason phase order) Source #
Methods showsPrec :: Int -> FailureReason phase order -> ShowS # show :: FailureReason phase order -> String # showList :: [FailureReason phase order] -> ShowS #

type Resolution phase = Map Zone (Aligned Unit, SomeResolved OrderObject phase) Source #

typicalResolution :: Map Zone (Aligned Unit, SomeOrderObject Typical) -> Resolution Typical Source #

Resolution for the Typical phase.

retreatResolution :: Map Zone (Aligned Unit, SomeOrderObject Retreat) -> Resolution Retreat Source #

Resolution for the Retreat phase.

adjustResolution :: Map Zone (Aligned Unit, SomeOrderObject Adjust) -> Resolution Adjust Source #

Resolution for the Adjust phase.

typicalChange :: Resolution Typical -> Zone -> Maybe (Aligned Subject) Source #

Changes to a board as the result of a typical phase. Nothing means no change, Just pt means the unit belonging to the great power now lies the input Zone, and used to lie at the given ProvinceTarget pt.

data ConvoyRoutes Source #

Constructors

ConvoyRoutes
Fields convoyRoutesParadox :: [ConvoyRoute] convoyRoutesNonParadox :: [ConvoyRoute]

Instances

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

type ConvoyRoute = [(Zone, Maybe (Aligned Subject))] Source #

First component indicates that there is a convoying Fleet at this Zone, second component indicates whether something dislodged it, and if so, who it was.

convoyRoutes :: Resolution Typical -> Subject -> ProvinceTarget -> ConvoyRoutes Source #

successfulConvoyRoutes :: ConvoyRoutes -> [ConvoyRoute] Source #

These are always non-paradox routes.