Swarm.TUI.Model.Achievement.Attainment
data Attainment Source #
Constructors
Fields
from which scenario was it obtained?
Defined in Swarm.TUI.Model.Achievement.Attainment
Methods
parseJSON :: Value -> Parser Attainment #
parseJSONList :: Value -> Parser [Attainment] #
toJSON :: Attainment -> Value #
toEncoding :: Attainment -> Encoding #
toJSONList :: [Attainment] -> Value #
toEncodingList :: [Attainment] -> Encoding #
(<>) :: Attainment -> Attainment -> Attainment #
sconcat :: NonEmpty Attainment -> Attainment #
stimes :: Integral b => b -> Attainment -> Attainment #
Associated Types
type Rep Attainment :: Type -> Type #
from :: Attainment -> Rep Attainment x #
to :: Rep Attainment x -> Attainment #
(==) :: Attainment -> Attainment -> Bool #
(/=) :: Attainment -> Attainment -> Bool #
compare :: Attainment -> Attainment -> Ordering #
(<) :: Attainment -> Attainment -> Bool #
(<=) :: Attainment -> Attainment -> Bool #
(>) :: Attainment -> Attainment -> Bool #
(>=) :: Attainment -> Attainment -> Bool #
max :: Attainment -> Attainment -> Attainment #
min :: Attainment -> Attainment -> Attainment #
obtainedAt :: Lens' Attainment ZonedTime Source #
maybeScenarioPath :: Lens' Attainment (Maybe FilePath) Source #
achievement :: Lens' Attainment CategorizedAchievement Source #
achievementJsonOptions :: Options Source #