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

Diplomacy.OrderValidation

Description

Documentation

data ValidityCharacterization g f k where Source #

Constructors

VCNil :: SuitableFunctor f => ValidityCharacterization g f '[]
VCCons :: (SuitableFunctor f, SuitableFunctorConstraint f t) => (ArgumentList Identity Identity ts -> TaggedIntersectionOfUnions g f t) -> ValidityCharacterization g f ts -> ValidityCharacterization g f (t ': ts)

data ArgumentList g f k where Source #

Constructors

ALNil :: ArgumentList g f '[]
ALCons :: g (f t) -> ArgumentList g f ts -> ArgumentList g f (t ': ts)

Instances

Every Eq ts => Eq (ArgumentList Identity Identity ts) Source #
Methods (==) :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> Bool # (/=) :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> Bool #
(Every Ord ts, Every Eq ts) => Ord (ArgumentList Identity Identity ts) Source #
Methods compare :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> Ordering # (<) :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> Bool # (<=) :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> Bool # (>) :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> Bool # (>=) :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> Bool # max :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts # min :: ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts -> ArgumentList Identity Identity ts #
Every Show ts => Show (ArgumentList Identity Identity ts) Source #
Methods showsPrec :: Int -> ArgumentList Identity Identity ts -> ShowS # show :: ArgumentList Identity Identity ts -> String # showList :: [ArgumentList Identity Identity ts] -> ShowS #

data ValidityCriterion phase order where Source #

Constructors

MoveValidSubject :: ValidityCriterion Typical Move
MoveUnitCanOccupy :: ValidityCriterion Typical Move
MoveReachable :: ValidityCriterion Typical Move
SupportValidSubject :: ValidityCriterion Typical Support
SupporterAdjacent :: ValidityCriterion Typical Support
SupporterCanOccupy :: ValidityCriterion Typical Support
SupportedCanDoMove :: ValidityCriterion Typical Support
ConvoyValidSubject :: ValidityCriterion Typical Convoy
ConvoyValidConvoySubject :: ValidityCriterion Typical Convoy
ConvoyValidConvoyTarget :: ValidityCriterion Typical Convoy
SurrenderValidSubject :: ValidityCriterion Retreat Surrender
WithdrawValidSubject :: ValidityCriterion Retreat Withdraw
WithdrawAdjacent :: ValidityCriterion Retreat Withdraw
WithdrawUnoccupiedZone :: ValidityCriterion Retreat Withdraw
WithdrawUncontestedZone :: ValidityCriterion Retreat Withdraw
WithdrawNotDislodgingZone :: ValidityCriterion Retreat Withdraw
ContinueValidSubject :: ValidityCriterion Adjust Continue
DisbandValidSubject :: ValidityCriterion Adjust Disband
BuildValidSubject :: ValidityCriterion Adjust Build

Instances

Eq (ValidityCriterion phase order) Source #
Methods (==) :: ValidityCriterion phase order -> ValidityCriterion phase order -> Bool # (/=) :: ValidityCriterion phase order -> ValidityCriterion phase order -> Bool #
Ord (ValidityCriterion phase order) Source #
Methods compare :: ValidityCriterion phase order -> ValidityCriterion phase order -> Ordering # (<) :: ValidityCriterion phase order -> ValidityCriterion phase order -> Bool # (<=) :: ValidityCriterion phase order -> ValidityCriterion phase order -> Bool # (>) :: ValidityCriterion phase order -> ValidityCriterion phase order -> Bool # (>=) :: ValidityCriterion phase order -> ValidityCriterion phase order -> Bool # max :: ValidityCriterion phase order -> ValidityCriterion phase order -> ValidityCriterion phase order # min :: ValidityCriterion phase order -> ValidityCriterion phase order -> ValidityCriterion phase order #
Show (ValidityCriterion phase order) Source #
Methods showsPrec :: Int -> ValidityCriterion phase order -> ShowS # show :: ValidityCriterion phase order -> String # showList :: [ValidityCriterion phase order] -> ShowS #

data SomeValidityCriterion phase where Source #

Constructors

SomeValidityCriterion :: ValidityCriterion phase order -> SomeValidityCriterion phase

Instances

Eq (SomeValidityCriterion phase) Source #
Methods (==) :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> Bool # (/=) :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> Bool #
Ord (SomeValidityCriterion phase) Source #
Methods compare :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> Ordering # (<) :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> Bool # (<=) :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> Bool # (>) :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> Bool # (>=) :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> Bool # max :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> SomeValidityCriterion phase # min :: SomeValidityCriterion phase -> SomeValidityCriterion phase -> SomeValidityCriterion phase #
Show (SomeValidityCriterion phase) Source #
Methods showsPrec :: Int -> SomeValidityCriterion phase -> ShowS # show :: SomeValidityCriterion phase -> String # showList :: [SomeValidityCriterion phase] -> ShowS #

data AdjustSetValidityCriterion where Source #

Constructors

RequiredNumberOfDisbands :: AdjustSetValidityCriterion
AdmissibleNumberOfBuilds :: AdjustSetValidityCriterion
OnlyContinues :: AdjustSetValidityCriterion

Instances

Eq AdjustSetValidityCriterion Source #
Methods (==) :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> Bool # (/=) :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> Bool #
Ord AdjustSetValidityCriterion Source #
Methods compare :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> Ordering # (<) :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> Bool # (<=) :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> Bool # (>) :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> Bool # (>=) :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> Bool # max :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> AdjustSetValidityCriterion # min :: AdjustSetValidityCriterion -> AdjustSetValidityCriterion -> AdjustSetValidityCriterion #
Show AdjustSetValidityCriterion Source #
Methods showsPrec :: Int -> AdjustSetValidityCriterion -> ShowS # show :: AdjustSetValidityCriterion -> String # showList :: [AdjustSetValidityCriterion] -> ShowS #

type ValidityTag phase order = (,) (ValidityCriterion phase order) Source #

type AdjustSetValidityTag = (,) AdjustSetValidityCriterion Source #

synthesize :: (SuitableFunctor f, SuitableFunctorConstraint f (ArgumentList Identity Identity ts), SuitableFunctorConstraint f t, ValidityCharacterizationConstraint f ts) => (forall s. g s -> Identity s) -> VOC g f ts t -> f t Source #

analyze :: (forall s. g s -> s) -> (forall s. g s -> r) -> r -> (r -> r -> r) -> VOC g f ts t -> t -> r Source #

moveVOC :: GreatPower -> Occupation -> VOC (ValidityTag Typical Move) Set '[ProvinceTarget, Subject] (Order Typical Move) Source #

supportVOC :: GreatPower -> Occupation -> VOC (ValidityTag Typical Support) Set '[Subject, ProvinceTarget, Subject] (Order Typical Support) Source #

convoyVOC :: GreatPower -> Occupation -> VOC (ValidityTag Typical Convoy) Set '[ProvinceTarget, Subject, Subject] (Order Typical Convoy) Source #

surrenderVOC :: GreatPower -> Dislodgement -> VOC (ValidityTag Retreat Surrender) Set '[Subject] (Order Retreat Surrender) Source #

withdrawVOC :: GreatPower -> Map Zone (Aligned Unit, SomeResolved OrderObject Typical) -> VOC (ValidityTag Retreat Withdraw) Set '[ProvinceTarget, Subject] (Order Retreat Withdraw) Source #

data AdjustSubjects Source #

Constructors

AdjustSubjects
Fields buildSubjects :: Set Subject disbandSubjects :: Set Subject continueSubjects :: Set Subject

Instances

Eq AdjustSubjects Source #
Methods (==) :: AdjustSubjects -> AdjustSubjects -> Bool # (/=) :: AdjustSubjects -> AdjustSubjects -> Bool #
Ord AdjustSubjects Source #
Methods compare :: AdjustSubjects -> AdjustSubjects -> Ordering # (<) :: AdjustSubjects -> AdjustSubjects -> Bool # (<=) :: AdjustSubjects -> AdjustSubjects -> Bool # (>) :: AdjustSubjects -> AdjustSubjects -> Bool # (>=) :: AdjustSubjects -> AdjustSubjects -> Bool # max :: AdjustSubjects -> AdjustSubjects -> AdjustSubjects # min :: AdjustSubjects -> AdjustSubjects -> AdjustSubjects #
Show AdjustSubjects Source #
Methods showsPrec :: Int -> AdjustSubjects -> ShowS # show :: AdjustSubjects -> String # showList :: [AdjustSubjects] -> ShowS #

disbandSubjectVOC :: GreatPower -> Occupation -> VOC (ValidityTag Adjust Disband) Set '[Subject] Subject Source #

buildSubjectVOC :: GreatPower -> Occupation -> Control -> VOC (ValidityTag Adjust Build) Set '[Subject] Subject Source #

continueSubjectVOC :: GreatPower -> Occupation -> VOC (ValidityTag Adjust Continue) Set '[Subject] Subject Source #

adjustSubjectsVOC :: GreatPower -> Occupation -> Control -> AdjustSubjects -> VOC AdjustSetValidityTag Set '[AdjustSubjects] AdjustSubjects Source #