Diplomacy.Occupation

Documentation

type Occupation = Map Zone (Aligned Unit)

Each Zone is occupied by at most one Aligned Unit, but the functions on Occupation work with ProvinceTarget; the use of Zone as a key here is just to guarantee that we don't have, for instance, units on both of Spain's coasts simultaneously.

emptyOccupation :: Occupation

occupy :: ProvinceTarget -> Maybe (Aligned Unit) -> Occupation -> Occupation

occupier :: ProvinceTarget -> Occupation -> Maybe (Aligned Unit)

Must be careful with this one! We can't just lookup the Zone corresponding to the ProvinceTarget; we must also check that the key matching that Zone, if there is one in the map, is also ProvinceTarget-equal.

provinceOccupier :: Province -> Occupation -> Maybe (Aligned Unit)

occupies :: Aligned Unit -> ProvinceTarget -> Occupation -> Bool

unitOccupies :: Unit -> ProvinceTarget -> Occupation -> Bool

occupied :: ProvinceTarget -> Occupation -> Bool

zoneOccupied :: Zone -> Occupation -> Bool

allSubjects :: Maybe GreatPower -> Occupation -> [Subject]