License	BSD-3-Clause
Safe Haskell	Safe-Inferred
Language	Haskell2010

Swarm.Game.Scenario.Scoring.Best

Contents

Some orphan ZonedTime instances
High scores by various criteria
High scores by various criteria
Orphan instances

Description

Types and records for updating and retrieving the best scores for a scenario.

Synopsis

data BestByCriteria
- = BestByTime
- | BestByTicks
- | BestByCharCount
- | BestByAstSize
describeCriteria :: BestByCriteria -> Text
data ProgressStats = ProgressStats {
- _scenarioStarted :: ZonedTime
- _scenarioAttemptMetrics :: AttemptMetrics
}
scenarioStarted :: Lens' ProgressStats ZonedTime
scenarioAttemptMetrics :: Lens' ProgressStats AttemptMetrics
type ProgressMetric = Metric ProgressStats
data BestRecords = BestRecords {
}
emptyBest :: ZonedTime -> BestRecords
updateBest :: ProgressMetric -> BestRecords -> BestRecords
scenarioBestByTime :: Lens' BestRecords ProgressMetric
scenarioBestByTicks :: Lens' BestRecords ProgressMetric
scenarioBestByCharCount :: Lens' BestRecords ProgressMetric
scenarioBestByAstSize :: Lens' BestRecords ProgressMetric
getBestGroups :: BestRecords -> [(Metric ProgressStats, NonEmpty BestByCriteria)]

Some orphan ZonedTime instances

High scores by various criteria

data BestByCriteria Source #

Constructors

BestByTime
BestByTicks
BestByCharCount
BestByAstSize

Instances

Instances details

Bounded BestByCriteria Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods minBound :: BestByCriteria # maxBound :: BestByCriteria #
Enum BestByCriteria Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods succ :: BestByCriteria -> BestByCriteria # pred :: BestByCriteria -> BestByCriteria # toEnum :: Int -> BestByCriteria # fromEnum :: BestByCriteria -> Int # enumFrom :: BestByCriteria -> [BestByCriteria] # enumFromThen :: BestByCriteria -> BestByCriteria -> [BestByCriteria] # enumFromTo :: BestByCriteria -> BestByCriteria -> [BestByCriteria] # enumFromThenTo :: BestByCriteria -> BestByCriteria -> BestByCriteria -> [BestByCriteria] #
Show BestByCriteria Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods showsPrec :: Int -> BestByCriteria -> ShowS # show :: BestByCriteria -> String # showList :: [BestByCriteria] -> ShowS #
Eq BestByCriteria Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods (==) :: BestByCriteria -> BestByCriteria -> Bool # (/=) :: BestByCriteria -> BestByCriteria -> Bool #
Ord BestByCriteria Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods compare :: BestByCriteria -> BestByCriteria -> Ordering # (<) :: BestByCriteria -> BestByCriteria -> Bool # (<=) :: BestByCriteria -> BestByCriteria -> Bool # (>) :: BestByCriteria -> BestByCriteria -> Bool # (>=) :: BestByCriteria -> BestByCriteria -> Bool # max :: BestByCriteria -> BestByCriteria -> BestByCriteria # min :: BestByCriteria -> BestByCriteria -> BestByCriteria #

describeCriteria :: BestByCriteria -> Text Source #

data ProgressStats Source #

Constructors

ProgressStats
Fields _scenarioStarted :: ZonedTime Time when the scenario was started including time zone. _scenarioAttemptMetrics :: AttemptMetrics

Instances

Instances details

FromJSON ProgressStats Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods parseJSON :: Value -> Parser ProgressStats # parseJSONList :: Value -> Parser [ProgressStats] #
ToJSON ProgressStats Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods toJSON :: ProgressStats -> Value # toEncoding :: ProgressStats -> Encoding # toJSONList :: [ProgressStats] -> Value # toEncodingList :: [ProgressStats] -> Encoding #
Generic ProgressStats Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Associated Types type Rep ProgressStats :: Type -> Type # Methods from :: ProgressStats -> Rep ProgressStats x # to :: Rep ProgressStats x -> ProgressStats #
Read ProgressStats Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods readsPrec :: Int -> ReadS ProgressStats # readList :: ReadS [ProgressStats] # readPrec :: ReadPrec ProgressStats # readListPrec :: ReadPrec [ProgressStats] #
Show ProgressStats Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods showsPrec :: Int -> ProgressStats -> ShowS # show :: ProgressStats -> String # showList :: [ProgressStats] -> ShowS #
Eq ProgressStats Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods (==) :: ProgressStats -> ProgressStats -> Bool # (/=) :: ProgressStats -> ProgressStats -> Bool #
Ord ProgressStats Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods compare :: ProgressStats -> ProgressStats -> Ordering # (<) :: ProgressStats -> ProgressStats -> Bool # (<=) :: ProgressStats -> ProgressStats -> Bool # (>) :: ProgressStats -> ProgressStats -> Bool # (>=) :: ProgressStats -> ProgressStats -> Bool # max :: ProgressStats -> ProgressStats -> ProgressStats # min :: ProgressStats -> ProgressStats -> ProgressStats #
type Rep ProgressStats Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best type Rep ProgressStats = D1 ('MetaData "ProgressStats" "Swarm.Game.Scenario.Scoring.Best" "swarm-0.5.0.0-6qXEbhCmuXA4wRndqqhBu" 'False) (C1 ('MetaCons "ProgressStats" 'PrefixI 'True) (S1 ('MetaSel ('Just "_scenarioStarted") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ZonedTime) :*: S1 ('MetaSel ('Just "_scenarioAttemptMetrics") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AttemptMetrics)))

scenarioStarted :: Lens' ProgressStats ZonedTime Source #

scenarioAttemptMetrics :: Lens' ProgressStats AttemptMetrics Source #

type ProgressMetric = Metric ProgressStats Source #

High scores by various criteria

data BestRecords Source #

Constructors

BestRecords
Fields _scenarioBestByTime :: ProgressMetric _scenarioBestByTicks :: ProgressMetric _scenarioBestByCharCount :: ProgressMetric _scenarioBestByAstSize :: ProgressMetric

Instances

Instances details

FromJSON BestRecords Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods parseJSON :: Value -> Parser BestRecords # parseJSONList :: Value -> Parser [BestRecords] #
ToJSON BestRecords Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods toJSON :: BestRecords -> Value # toEncoding :: BestRecords -> Encoding # toJSONList :: [BestRecords] -> Value # toEncodingList :: [BestRecords] -> Encoding #
Generic BestRecords Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Associated Types type Rep BestRecords :: Type -> Type # Methods from :: BestRecords -> Rep BestRecords x # to :: Rep BestRecords x -> BestRecords #
Read BestRecords Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods readsPrec :: Int -> ReadS BestRecords # readList :: ReadS [BestRecords] # readPrec :: ReadPrec BestRecords # readListPrec :: ReadPrec [BestRecords] #
Show BestRecords Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods showsPrec :: Int -> BestRecords -> ShowS # show :: BestRecords -> String # showList :: [BestRecords] -> ShowS #
Eq BestRecords Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods (==) :: BestRecords -> BestRecords -> Bool # (/=) :: BestRecords -> BestRecords -> Bool #
Ord BestRecords Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best Methods compare :: BestRecords -> BestRecords -> Ordering # (<) :: BestRecords -> BestRecords -> Bool # (<=) :: BestRecords -> BestRecords -> Bool # (>) :: BestRecords -> BestRecords -> Bool # (>=) :: BestRecords -> BestRecords -> Bool # max :: BestRecords -> BestRecords -> BestRecords # min :: BestRecords -> BestRecords -> BestRecords #
type Rep BestRecords Source #
Instance details Defined in Swarm.Game.Scenario.Scoring.Best type Rep BestRecords = D1 ('MetaData "BestRecords" "Swarm.Game.Scenario.Scoring.Best" "swarm-0.5.0.0-6qXEbhCmuXA4wRndqqhBu" 'False) (C1 ('MetaCons "BestRecords" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_scenarioBestByTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProgressMetric) :: S1 ('MetaSel ('Just "_scenarioBestByTicks") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProgressMetric)) :: (S1 ('MetaSel ('Just "_scenarioBestByCharCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProgressMetric) :*: S1 ('MetaSel ('Just "_scenarioBestByAstSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProgressMetric))))

emptyBest :: ZonedTime -> BestRecords Source #

updateBest :: ProgressMetric -> BestRecords -> BestRecords Source #

scenarioBestByTime :: Lens' BestRecords ProgressMetric Source #

The best status of the scenario, measured in real world time.

scenarioBestByTicks :: Lens' BestRecords ProgressMetric Source #

The best status of the scenario, measured in game ticks.

scenarioBestByCharCount :: Lens' BestRecords ProgressMetric Source #

The best code size of the scenario, measured in character count.

scenarioBestByAstSize :: Lens' BestRecords ProgressMetric Source #

The best code size of the scenario, measured in AST size.

getBestGroups :: BestRecords -> [(Metric ProgressStats, NonEmpty BestByCriteria)] Source #

Uses the start time of the play-attempt to de-dupe records that are from the same game. The start time should be sufficient to uniquely identify a game.

Orphan instances

Eq ZonedTime Source #
Instance details Methods (==) :: ZonedTime -> ZonedTime -> Bool # (/=) :: ZonedTime -> ZonedTime -> Bool #
Ord ZonedTime Source #
Instance details Methods compare :: ZonedTime -> ZonedTime -> Ordering # (<) :: ZonedTime -> ZonedTime -> Bool # (<=) :: ZonedTime -> ZonedTime -> Bool # (>) :: ZonedTime -> ZonedTime -> Bool # (>=) :: ZonedTime -> ZonedTime -> Bool # max :: ZonedTime -> ZonedTime -> ZonedTime # min :: ZonedTime -> ZonedTime -> ZonedTime #