Swarm.Game.Scenario.Objective.WinCheck

Utilities to check whether conditions are met for a game win/loss.

Documentation

didWin :: ObjectiveCompletion -> Bool

We have "won" if all of the "unwinnable" or remaining "incomplete" objectives are "optional".

didLose :: ObjectiveCompletion -> Bool

We have "lost" if any of the "unwinnable" objectives not "optional".

isPrereqsSatisfied :: ObjectiveCompletion -> Objective -> Bool

isUnwinnablePrereq :: Set ObjectiveLabel -> Prerequisite ObjectiveLabel -> Bool

isUnwinnable :: ObjectiveCompletion -> Objective -> Bool

partitionActiveObjectives :: ObjectiveCompletion -> ([Objective], [Objective])

The first element of the returned tuple consists of "active" objectives, the second element "inactive".

getActiveObjectives :: ObjectiveCompletion -> [Objective]

data PrereqSatisfaction

For debugging only (via Web API)

Constructors

PrereqSatisfaction

Fields

• objective :: Objective
• deps :: Set (Signed ObjectiveLabel)
• prereqsSatisfied :: Bool

Instances

ToJSON PrereqSatisfaction

Defined in Swarm.Game.Scenario.Objective.WinCheck

Methods

toJSON :: PrereqSatisfaction -> Value

toEncoding :: PrereqSatisfaction -> Encoding

toJSONList :: [PrereqSatisfaction] -> Value

toEncodingList :: [PrereqSatisfaction] -> Encoding

Generic PrereqSatisfaction

Defined in Swarm.Game.Scenario.Objective.WinCheck

Associated Types

type Rep PrereqSatisfaction :: Type -> Type

Methods

from :: PrereqSatisfaction -> Rep PrereqSatisfaction x

to :: Rep PrereqSatisfaction x -> PrereqSatisfaction

type Rep PrereqSatisfaction

Defined in Swarm.Game.Scenario.Objective.WinCheck

type Rep PrereqSatisfaction = D1 ('MetaData "PrereqSatisfaction" "Swarm.Game.Scenario.Objective.WinCheck" "swarm-0.3.0.1-EqejWKaUFCJHRV1d3nJuA2" 'False) (C1 ('MetaCons "PrereqSatisfaction" 'PrefixI 'True) (S1 ('MetaSel ('Just "objective") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Objective) :*: (S1 ('MetaSel ('Just "deps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Set (Signed ObjectiveLabel))) :*: S1 ('MetaSel ('Just "prereqsSatisfied") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

getSatisfaction :: ObjectiveCompletion -> [PrereqSatisfaction]

Used only by the web interface for debugging

getDistinctConstants :: Ord a => Prerequisite a -> Set (Signed a)