Swarm.Game.Scenario.Objective.Logic

A model for defining boolean expressions for Objective prerequisites.

This model is intended to be user-facing in the .yaml files, and is distinct from that in BoolExpr.

Documentation

type ObjectiveLabel = Text

data Prerequisite a

In contrast with the BoolExpr type, And and Or can have one or more children instead of exactly two.

Constructors

And (NonEmpty (Prerequisite a))

Or (NonEmpty (Prerequisite a))

Not (Prerequisite a)

Id a

Instances

Foldable Prerequisite

Defined in Swarm.Game.Scenario.Objective.Logic

Methods

fold :: Monoid m => Prerequisite m -> m

foldMap :: Monoid m => (a -> m) -> Prerequisite a -> m

foldMap' :: Monoid m => (a -> m) -> Prerequisite a -> m

foldr :: (a -> b -> b) -> b -> Prerequisite a -> b

foldr' :: (a -> b -> b) -> b -> Prerequisite a -> b

foldl :: (b -> a -> b) -> b -> Prerequisite a -> b

foldl' :: (b -> a -> b) -> b -> Prerequisite a -> b

foldr1 :: (a -> a -> a) -> Prerequisite a -> a

foldl1 :: (a -> a -> a) -> Prerequisite a -> a

toList :: Prerequisite a -> [a]

null :: Prerequisite a -> Bool

length :: Prerequisite a -> Int

elem :: Eq a => a -> Prerequisite a -> Bool

maximum :: Ord a => Prerequisite a -> a

minimum :: Ord a => Prerequisite a -> a

sum :: Num a => Prerequisite a -> a

product :: Num a => Prerequisite a -> a

Functor Prerequisite

Defined in Swarm.Game.Scenario.Objective.Logic

Methods

fmap :: (a -> b) -> Prerequisite a -> Prerequisite b

(<$) :: a -> Prerequisite b -> Prerequisite a

FromJSON (Prerequisite ObjectiveLabel)

Defined in Swarm.Game.Scenario.Objective.Logic

Methods

parseJSON :: Value -> Parser (Prerequisite ObjectiveLabel)

parseJSONList :: Value -> Parser [Prerequisite ObjectiveLabel]

ToJSON (Prerequisite ObjectiveLabel)

Defined in Swarm.Game.Scenario.Objective.Logic

Methods

toJSON :: Prerequisite ObjectiveLabel -> Value

toEncoding :: Prerequisite ObjectiveLabel -> Encoding

toJSONList :: [Prerequisite ObjectiveLabel] -> Value

toEncodingList :: [Prerequisite ObjectiveLabel] -> Encoding

Generic (Prerequisite a)

Defined in Swarm.Game.Scenario.Objective.Logic

Associated Types

type Rep (Prerequisite a) :: Type -> Type

Methods

from :: Prerequisite a -> Rep (Prerequisite a) x

to :: Rep (Prerequisite a) x -> Prerequisite a

Show a => Show (Prerequisite a)

Defined in Swarm.Game.Scenario.Objective.Logic

Methods

showsPrec :: Int -> Prerequisite a -> ShowS

show :: Prerequisite a -> String

showList :: [Prerequisite a] -> ShowS

Eq a => Eq (Prerequisite a)

Defined in Swarm.Game.Scenario.Objective.Logic

Methods

(==) :: Prerequisite a -> Prerequisite a -> Bool

(/=) :: Prerequisite a -> Prerequisite a -> Bool

type Rep (Prerequisite a)

Defined in Swarm.Game.Scenario.Objective.Logic

type Rep (Prerequisite a) = D1 ('MetaData "Prerequisite" "Swarm.Game.Scenario.Objective.Logic" "swarm-0.3.0.1-EqejWKaUFCJHRV1d3nJuA2" 'False) ((C1 ('MetaCons "And" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Prerequisite a)))) :+: C1 ('MetaCons "Or" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Prerequisite a))))) :+: (C1 ('MetaCons "Not" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Prerequisite a))) :+: C1 ('MetaCons "Id" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a))))

prerequisiteOptions :: Options

toBoolExpr :: Prerequisite a -> BoolExpr a