Swarm.TUI.Model.Achievement.Attainment

Documentation

data Attainment

Constructors

Attainment

Fields

• _achievement :: CategorizedAchievement
• _maybeScenarioPath :: Maybe FilePath

  from which scenario was it obtained?

• _obtainedAt :: ZonedTime

Instances

FromJSON Attainment

Defined in Swarm.TUI.Model.Achievement.Attainment

Methods

parseJSON :: Value -> Parser Attainment

parseJSONList :: Value -> Parser [Attainment]

ToJSON Attainment

Defined in Swarm.TUI.Model.Achievement.Attainment

Methods

toJSON :: Attainment -> Value

toEncoding :: Attainment -> Encoding

toJSONList :: [Attainment] -> Value

toEncodingList :: [Attainment] -> Encoding

Semigroup Attainment

Defined in Swarm.TUI.Model.Achievement.Attainment

Methods

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

sconcat :: NonEmpty Attainment -> Attainment

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

Generic Attainment

Defined in Swarm.TUI.Model.Achievement.Attainment

Associated Types

type Rep Attainment :: Type -> Type

Methods

from :: Attainment -> Rep Attainment x

to :: Rep Attainment x -> Attainment

Eq Attainment

Defined in Swarm.TUI.Model.Achievement.Attainment

Methods

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

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

Ord Attainment

Defined in Swarm.TUI.Model.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

Defined in Swarm.TUI.Model.Achievement.Attainment

type Rep Attainment = D1 ('MetaData "Attainment" "Swarm.TUI.Model.Achievement.Attainment" "swarm-0.3.0.1-EqejWKaUFCJHRV1d3nJuA2" '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))))

obtainedAt :: Lens' Attainment ZonedTime

maybeScenarioPath :: Lens' Attainment (Maybe FilePath)

achievement :: Lens' Attainment CategorizedAchievement

achievementJsonOptions :: Options