swarm-0.7.0.0: 2D resource gathering game with programmable robots
LicenseBSD-3-Clause
Safe HaskellNone
LanguageHaskell2010

Swarm.Game.Achievement.Attainment

Description

Metadata about achievements that the player has obtained.

Synopsis

Documentation

data Attainment Source #

A record holding an achievement along with some metadata to record the time at which the achievement was obtained, and the scenario in which it was achieved.

Constructors

Attainment 

Fields

Instances

Instances details
FromJSON Attainment Source # 
Instance details

Defined in Swarm.Game.Achievement.Attainment

Methods

parseJSON :: Value -> Parser Attainment #

parseJSONList :: Value -> Parser [Attainment] #

omittedField :: Maybe Attainment #

ToJSON Attainment Source # 
Instance details

Defined in Swarm.Game.Achievement.Attainment

Methods

toJSON :: Attainment -> Value #

toEncoding :: Attainment -> Encoding #

toJSONList :: [Attainment] -> Value #

toEncodingList :: [Attainment] -> Encoding #

omitField :: Attainment -> Bool #

Semigroup Attainment Source # 
Instance details

Defined in Swarm.Game.Achievement.Attainment

Methods

(<>) :: Attainment -> Attainment -> Attainment #

sconcat :: NonEmpty Attainment -> Attainment #

stimes :: Integral b => b -> Attainment -> Attainment #

Generic Attainment Source # 
Instance details

Defined in Swarm.Game.Achievement.Attainment

Associated Types

type Rep Attainment 
Instance details

Defined in Swarm.Game.Achievement.Attainment

type Rep Attainment = D1 ('MetaData "Attainment" "Swarm.Game.Achievement.Attainment" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-engine" 'False) (C1 ('MetaCons "Attainment" 'PrefixI 'True) (S1 ('MetaSel ('Just "_achievement") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CategorizedAchievement) :*: (S1 ('MetaSel ('Just "_maybeScenarioPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "_obtainedAt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ZonedTime))))

Methods

from :: Attainment -> Rep Attainment x #

to :: Rep Attainment x -> Attainment #

Eq Attainment Source # 
Instance details

Defined in Swarm.Game.Achievement.Attainment

Methods

(==) :: Attainment -> Attainment -> Bool #

(/=) :: Attainment -> Attainment -> Bool #

Ord Attainment Source # 
Instance details

Defined in Swarm.Game.Achievement.Attainment

Methods

compare :: Attainment -> Attainment -> Ordering #

(<) :: Attainment -> Attainment -> Bool #

(<=) :: Attainment -> Attainment -> Bool #

(>) :: Attainment -> Attainment -> Bool #

(>=) :: Attainment -> Attainment -> Bool #

max :: Attainment -> Attainment -> Attainment #

min :: Attainment -> Attainment -> Attainment #

type Rep Attainment Source # 
Instance details

Defined in Swarm.Game.Achievement.Attainment

type Rep Attainment = D1 ('MetaData "Attainment" "Swarm.Game.Achievement.Attainment" "swarm-0.7.0.0-IuFfgHrMoE7JrptOBRVOwx-swarm-engine" 'False) (C1 ('MetaCons "Attainment" 'PrefixI 'True) (S1 ('MetaSel ('Just "_achievement") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CategorizedAchievement) :*: (S1 ('MetaSel ('Just "_maybeScenarioPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "_obtainedAt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ZonedTime))))

achievement :: Lens' Attainment CategorizedAchievement Source #

maybeScenarioPath :: Lens' Attainment (Maybe FilePath) Source #

obtainedAt :: Lens' Attainment ZonedTime Source #