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 are 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

omitField :: PrereqSatisfaction -> Bool

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

ToSample PrereqSatisfaction

Defined in Swarm.Game.Scenario.Objective.WinCheck

Methods

toSamples :: Proxy PrereqSatisfaction -> [(Text, PrereqSatisfaction)]

type Rep PrereqSatisfaction

Defined in Swarm.Game.Scenario.Objective.WinCheck

type Rep PrereqSatisfaction = D1 ('MetaData "PrereqSatisfaction" "Swarm.Game.Scenario.Objective.WinCheck" "swarm-0.6.0.0-ERx1HMcRMba59aI2b6aNrS-swarm-engine" '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