Diplomacy.OrderResolution

Documentation

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

data SomeResolved k phase where

Constructors

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

Instances

Eq (SomeResolved OrderObject phase)

Methods

(==) :: SomeResolved OrderObject phase -> SomeResolved OrderObject phase -> Bool

(/=) :: SomeResolved OrderObject phase -> SomeResolved OrderObject phase -> Bool

Show (SomeResolved OrderObject phase)

Methods

showsPrec :: Int -> SomeResolved OrderObject phase -> ShowS

show :: SomeResolved OrderObject phase -> String

showList :: [SomeResolved OrderObject phase] -> ShowS

Show (SomeResolved Order phase)

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

data FailureReason phase order where

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)

Methods

(==) :: FailureReason phase order -> FailureReason phase order -> Bool

(/=) :: FailureReason phase order -> FailureReason phase order -> Bool

Show (FailureReason phase order)

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)

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

Resolution for the Typical phase.

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

Resolution for the Retreat phase.

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

Resolution for the Adjust phase.

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

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

Constructors

ConvoyRoutes

Fields

• convoyRoutesParadox :: [ConvoyRoute]
• convoyRoutesNonParadox :: [ConvoyRoute]

Instances

Show ConvoyRoutes

Methods

showsPrec :: Int -> ConvoyRoutes -> ShowS

show :: ConvoyRoutes -> String

showList :: [ConvoyRoutes] -> ShowS

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

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

successfulConvoyRoutes :: ConvoyRoutes -> [ConvoyRoute]

These are always non-paradox routes.