Copyright	(c) Justin Le 2019
License	BSD3
Maintainer	justin@jle.im
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Advent.Types

Contents

Types
Util
Internal

Description

Data types used for the underlying API.

Since: 0.2.3.0

Synopsis

newtype Day = Day {
- dayFinite :: Finite 25
}
data Part
- = Part1
- | Part2
data SubmitInfo = SubmitInfo {
- siLevel :: Part
- siAnswer :: String
}
data SubmitRes
- = SubCorrect (Maybe Integer)
- | SubIncorrect Int (Maybe String)
- | SubWait Int
- | SubInvalid
- | SubUnknown String
showSubmitRes :: SubmitRes -> String
newtype PublicCode = PublicCode {
- getPublicCode :: Integer
}
data Leaderboard = LB {
- lbEvent :: Integer
- lbOwnerId :: Integer
- lbMembers :: Map Integer LeaderboardMember
}
data LeaderboardMember = LBM {
- lbmGlobalScore :: Integer
- lbmName :: Maybe Text
- lbmLocalScore :: Integer
- lbmId :: Integer
- lbmLastStarTS :: Maybe UTCTime
- lbmStars :: Int
- lbmCompletion :: Map Day (Map Part UTCTime)
}
newtype Rank = Rank {
- getRank :: Finite 100
}
data DailyLeaderboard = DLB {
- dlbStar1 :: Map Rank DailyLeaderboardMember
- dlbStar2 :: Map Rank DailyLeaderboardMember
}
data DailyLeaderboardMember = DLBM {
- dlbmRank :: Rank
- dlbmTime :: UTCTime
- dlbmUser :: Either Integer Text
- dlbmLink :: Maybe Text
- dlbmImage :: Maybe Text
- dlbmSupporter :: Bool
}
newtype GlobalLeaderboard = GLB {
- glbMap :: Map Rank (Integer, NonEmpty GlobalLeaderboardMember)
}
data GlobalLeaderboardMember = GLBM {
- glbmRank :: Rank
- glbmScore :: Integer
- glbmUser :: Either Integer Text
- glbmLink :: Maybe Text
- glbmImage :: Maybe Text
- glbmSupporter :: Bool
}
mkDay :: Integer -> Maybe Day
mkDay_ :: Integer -> Day
dayInt :: Day -> Integer
_DayInt :: (Choice p, Applicative f) => p Day (f Day) -> p Integer (f Integer)
pattern DayInt :: Day -> Integer
partInt :: Part -> Int
partChar :: Part -> Char
fullDailyBoard :: DailyLeaderboard -> Bool
parseSubmitRes :: Text -> SubmitRes

Types

newtype Day Source #

Describes the day: a number between 1 and 25 inclusive.

Represented by a Finite ranging from 0 to 24 inclusive; you should probably make one using the smart constructor mkDay.

Constructors

Day
Fields dayFinite :: Finite 25

Instances

Bounded Day Source #
Instance details Defined in Advent.Types Methods minBound :: Day # maxBound :: Day #
Enum Day Source #
Instance details Defined in Advent.Types Methods succ :: Day -> Day # pred :: Day -> Day # toEnum :: Int -> Day # fromEnum :: Day -> Int # enumFrom :: Day -> [Day] # enumFromThen :: Day -> Day -> [Day] # enumFromTo :: Day -> Day -> [Day] # enumFromThenTo :: Day -> Day -> Day -> [Day] #
Eq Day Source #
Instance details Defined in Advent.Types Methods (==) :: Day -> Day -> Bool # (/=) :: Day -> Day -> Bool #
Ord Day Source #
Instance details Defined in Advent.Types Methods compare :: Day -> Day -> Ordering # (<) :: Day -> Day -> Bool # (<=) :: Day -> Day -> Bool # (>) :: Day -> Day -> Bool # (>=) :: Day -> Day -> Bool # max :: Day -> Day -> Day # min :: Day -> Day -> Day #
Show Day Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> Day -> ShowS # show :: Day -> String # showList :: [Day] -> ShowS #
Generic Day Source #
Instance details Defined in Advent.Types Associated Types type Rep Day :: Type -> Type # Methods from :: Day -> Rep Day x # to :: Rep Day x -> Day #
ToJSON Day Source #	Since: 0.2.4.2
Instance details Defined in Advent.Types Methods toJSON :: Day -> Value # toEncoding :: Day -> Encoding # toJSONList :: [Day] -> Value # toEncodingList :: [Day] -> Encoding #
ToJSONKey Day Source #	Since: 0.2.4.2
Instance details Defined in Advent.Types Methods toJSONKey :: ToJSONKeyFunction Day # toJSONKeyList :: ToJSONKeyFunction [Day] #
FromJSON Day Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser Day # parseJSONList :: Value -> Parser [Day] #
FromJSONKey Day Source #
Instance details Defined in Advent.Types Methods fromJSONKey :: FromJSONKeyFunction Day # fromJSONKeyList :: FromJSONKeyFunction [Day] #
ToHttpApiData Day Source #
Instance details Defined in Advent.Types Methods toUrlPiece :: Day -> Text # toEncodedUrlPiece :: Day -> Builder # toHeader :: Day -> ByteString # toQueryParam :: Day -> Text #
type Rep Day Source #
Instance details Defined in Advent.Types type Rep Day = D1 (MetaData "Day" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" True) (C1 (MetaCons "Day" PrefixI True) (S1 (MetaSel (Just "dayFinite") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Finite 25))))

data Part Source #

A given part of a problem. All Advent of Code challenges are two-parts.

You can usually get Part1 (if it is already released) with a nonsense session key, but Part2 always requires a valid session key.

Constructors

Part1
Part2

Instances

Bounded Part Source #
Instance details Defined in Advent.Types Methods minBound :: Part # maxBound :: Part #
Enum Part Source #
Instance details Defined in Advent.Types Methods succ :: Part -> Part # pred :: Part -> Part # toEnum :: Int -> Part # fromEnum :: Part -> Int # enumFrom :: Part -> [Part] # enumFromThen :: Part -> Part -> [Part] # enumFromTo :: Part -> Part -> [Part] # enumFromThenTo :: Part -> Part -> Part -> [Part] #
Eq Part Source #
Instance details Defined in Advent.Types Methods (==) :: Part -> Part -> Bool # (/=) :: Part -> Part -> Bool #
Ord Part Source #
Instance details Defined in Advent.Types Methods compare :: Part -> Part -> Ordering # (<) :: Part -> Part -> Bool # (<=) :: Part -> Part -> Bool # (>) :: Part -> Part -> Bool # (>=) :: Part -> Part -> Bool # max :: Part -> Part -> Part # min :: Part -> Part -> Part #
Read Part Source #
Instance details Defined in Advent.Types Methods readsPrec :: Int -> ReadS Part # readList :: ReadS [Part] # readPrec :: ReadPrec Part # readListPrec :: ReadPrec [Part] #
Show Part Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> Part -> ShowS # show :: Part -> String # showList :: [Part] -> ShowS #
Generic Part Source #
Instance details Defined in Advent.Types Associated Types type Rep Part :: Type -> Type # Methods from :: Part -> Rep Part x # to :: Rep Part x -> Part #
ToJSON Part Source #	Since: 0.2.4.2
Instance details Defined in Advent.Types Methods toJSON :: Part -> Value # toEncoding :: Part -> Encoding # toJSONList :: [Part] -> Value # toEncodingList :: [Part] -> Encoding #
ToJSONKey Part Source #	Since: 0.2.4.2
Instance details Defined in Advent.Types Methods toJSONKey :: ToJSONKeyFunction Part # toJSONKeyList :: ToJSONKeyFunction [Part] #
FromJSON Part Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser Part # parseJSONList :: Value -> Parser [Part] #
FromJSONKey Part Source #
Instance details Defined in Advent.Types Methods fromJSONKey :: FromJSONKeyFunction Part # fromJSONKeyList :: FromJSONKeyFunction [Part] #
ToHttpApiData Part Source #
Instance details Defined in Advent.Types Methods toUrlPiece :: Part -> Text # toEncodedUrlPiece :: Part -> Builder # toHeader :: Part -> ByteString # toQueryParam :: Part -> Text #
type Rep Part Source #
Instance details Defined in Advent.Types type Rep Part = D1 (MetaData "Part" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" False) (C1 (MetaCons "Part1" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Part2" PrefixI False) (U1 :: Type -> Type))

data SubmitInfo Source #

Info required to submit an answer for a part.

Constructors

SubmitInfo
Fields siLevel :: Part siAnswer :: String

Instances

Eq SubmitInfo Source #
Instance details Defined in Advent.Types Methods (==) :: SubmitInfo -> SubmitInfo -> Bool # (/=) :: SubmitInfo -> SubmitInfo -> Bool #
Ord SubmitInfo Source #
Instance details Defined in Advent.Types Methods compare :: SubmitInfo -> SubmitInfo -> Ordering # (<) :: SubmitInfo -> SubmitInfo -> Bool # (<=) :: SubmitInfo -> SubmitInfo -> Bool # (>) :: SubmitInfo -> SubmitInfo -> Bool # (>=) :: SubmitInfo -> SubmitInfo -> Bool # max :: SubmitInfo -> SubmitInfo -> SubmitInfo # min :: SubmitInfo -> SubmitInfo -> SubmitInfo #
Read SubmitInfo Source #
Instance details Defined in Advent.Types Methods readsPrec :: Int -> ReadS SubmitInfo # readList :: ReadS [SubmitInfo] # readPrec :: ReadPrec SubmitInfo # readListPrec :: ReadPrec [SubmitInfo] #
Show SubmitInfo Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> SubmitInfo -> ShowS # show :: SubmitInfo -> String # showList :: [SubmitInfo] -> ShowS #
Generic SubmitInfo Source #
Instance details Defined in Advent.Types Associated Types type Rep SubmitInfo :: Type -> Type # Methods from :: SubmitInfo -> Rep SubmitInfo x # to :: Rep SubmitInfo x -> SubmitInfo #
ToForm SubmitInfo Source #
Instance details Defined in Advent.Types Methods toForm :: SubmitInfo -> Form #
type Rep SubmitInfo Source #
Instance details Defined in Advent.Types type Rep SubmitInfo = D1 (MetaData "SubmitInfo" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" False) (C1 (MetaCons "SubmitInfo" PrefixI True) (S1 (MetaSel (Just "siLevel") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Part) :*: S1 (MetaSel (Just "siAnswer") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))

data SubmitRes Source #

The result of a submission.

Constructors

SubCorrect (Maybe Integer)	Correct submission, including global rank (if reported, which usually happens if rank is under 1000)
SubIncorrect Int (Maybe String)	Incorrect submission. Contains the number of seconds you must wait before trying again. The `Maybe` contains possible hints given by the server (usually "too low" or "too high").
SubWait Int	Submission was rejected because an incorrect submission was recently submitted. Contains the number of seconds you must wait before trying again.
SubInvalid	Submission was rejected because it was sent to an invalid question or part. Usually happens if you submit to a part you have already answered or have not yet unlocked.
SubUnknown String	Could not parse server response. Contains parse error.

Instances

Eq SubmitRes Source #
Instance details Defined in Advent.Types Methods (==) :: SubmitRes -> SubmitRes -> Bool # (/=) :: SubmitRes -> SubmitRes -> Bool #
Ord SubmitRes Source #
Instance details Defined in Advent.Types Methods compare :: SubmitRes -> SubmitRes -> Ordering # (<) :: SubmitRes -> SubmitRes -> Bool # (<=) :: SubmitRes -> SubmitRes -> Bool # (>) :: SubmitRes -> SubmitRes -> Bool # (>=) :: SubmitRes -> SubmitRes -> Bool # max :: SubmitRes -> SubmitRes -> SubmitRes # min :: SubmitRes -> SubmitRes -> SubmitRes #
Read SubmitRes Source #
Instance details Defined in Advent.Types Methods readsPrec :: Int -> ReadS SubmitRes # readList :: ReadS [SubmitRes] # readPrec :: ReadPrec SubmitRes # readListPrec :: ReadPrec [SubmitRes] #
Show SubmitRes Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> SubmitRes -> ShowS # show :: SubmitRes -> String # showList :: [SubmitRes] -> ShowS #
Generic SubmitRes Source #
Instance details Defined in Advent.Types Associated Types type Rep SubmitRes :: Type -> Type # Methods from :: SubmitRes -> Rep SubmitRes x # to :: Rep SubmitRes x -> SubmitRes #
FromTags "article" SubmitRes Source #
Instance details Defined in Advent.API Methods fromTags :: p "article" -> [Text] -> Maybe SubmitRes Source #
type Rep SubmitRes Source #
Instance details Defined in Advent.Types type Rep SubmitRes = D1 (MetaData "SubmitRes" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" False) ((C1 (MetaCons "SubCorrect" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer))) :+: C1 (MetaCons "SubIncorrect" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe String)))) :+: (C1 (MetaCons "SubWait" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "SubInvalid" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "SubUnknown" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))

showSubmitRes :: SubmitRes -> String Source #

Pretty-print a SubmitRes

newtype PublicCode Source #

Member ID of public leaderboard (the first part of the registration code, before the hyphen). It can be found as the number in the URL:

https://adventofcode.com/2019/leaderboard/private/view/12345

(the 12345 above)

Constructors

PublicCode
Fields getPublicCode :: Integer

Instances

Eq PublicCode Source #
Instance details Defined in Advent.Types Methods (==) :: PublicCode -> PublicCode -> Bool # (/=) :: PublicCode -> PublicCode -> Bool #
Ord PublicCode Source #
Instance details Defined in Advent.Types Methods compare :: PublicCode -> PublicCode -> Ordering # (<) :: PublicCode -> PublicCode -> Bool # (<=) :: PublicCode -> PublicCode -> Bool # (>) :: PublicCode -> PublicCode -> Bool # (>=) :: PublicCode -> PublicCode -> Bool # max :: PublicCode -> PublicCode -> PublicCode # min :: PublicCode -> PublicCode -> PublicCode #
Read PublicCode Source #
Instance details Defined in Advent.Types Methods readsPrec :: Int -> ReadS PublicCode # readList :: ReadS [PublicCode] # readPrec :: ReadPrec PublicCode # readListPrec :: ReadPrec [PublicCode] #
Show PublicCode Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> PublicCode -> ShowS # show :: PublicCode -> String # showList :: [PublicCode] -> ShowS #
Generic PublicCode Source #
Instance details Defined in Advent.Types Associated Types type Rep PublicCode :: Type -> Type # Methods from :: PublicCode -> Rep PublicCode x # to :: Rep PublicCode x -> PublicCode #
ToHttpApiData PublicCode Source #
Instance details Defined in Advent.Types Methods toUrlPiece :: PublicCode -> Text # toEncodedUrlPiece :: PublicCode -> Builder # toHeader :: PublicCode -> ByteString # toQueryParam :: PublicCode -> Text #
type Rep PublicCode Source #
Instance details Defined in Advent.Types type Rep PublicCode = D1 (MetaData "PublicCode" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" True) (C1 (MetaCons "PublicCode" PrefixI True) (S1 (MetaSel (Just "getPublicCode") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

data Leaderboard Source #

Leaderboard type, representing private leaderboard information.

Constructors

LB
Fields lbEvent :: Integer The year of the event lbOwnerId :: Integer The Member ID of the owner, or the public code lbMembers :: Map Integer LeaderboardMember A map from member IDs to their leaderboard info

Instances

Eq Leaderboard Source #
Instance details Defined in Advent.Types Methods (==) :: Leaderboard -> Leaderboard -> Bool # (/=) :: Leaderboard -> Leaderboard -> Bool #
Ord Leaderboard Source #
Instance details Defined in Advent.Types Methods compare :: Leaderboard -> Leaderboard -> Ordering # (<) :: Leaderboard -> Leaderboard -> Bool # (<=) :: Leaderboard -> Leaderboard -> Bool # (>) :: Leaderboard -> Leaderboard -> Bool # (>=) :: Leaderboard -> Leaderboard -> Bool # max :: Leaderboard -> Leaderboard -> Leaderboard # min :: Leaderboard -> Leaderboard -> Leaderboard #
Show Leaderboard Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> Leaderboard -> ShowS # show :: Leaderboard -> String # showList :: [Leaderboard] -> ShowS #
Generic Leaderboard Source #
Instance details Defined in Advent.Types Associated Types type Rep Leaderboard :: Type -> Type # Methods from :: Leaderboard -> Rep Leaderboard x # to :: Rep Leaderboard x -> Leaderboard #
FromJSON Leaderboard Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser Leaderboard # parseJSONList :: Value -> Parser [Leaderboard] #
type Rep Leaderboard Source #
Instance details Defined in Advent.Types type Rep Leaderboard = D1 (MetaData "Leaderboard" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" False) (C1 (MetaCons "LB" PrefixI True) (S1 (MetaSel (Just "lbEvent") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: (S1 (MetaSel (Just "lbOwnerId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "lbMembers") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Integer LeaderboardMember)))))

data LeaderboardMember Source #

Leaderboard position for a given member.

Constructors

LBM
Fields lbmGlobalScore :: Integer Global leaderboard score lbmName :: Maybe Text Username, if user specifies one lbmLocalScore :: Integer Score for this leaderboard lbmId :: Integer Member ID lbmLastStarTS :: Maybe UTCTime Time of last puzzle solved, if any lbmStars :: Int Number of stars (puzzle parts) solved lbmCompletion :: Map Day (Map Part UTCTime) Completion times of each day and puzzle part

Instances

Eq LeaderboardMember Source #
Instance details Defined in Advent.Types Methods (==) :: LeaderboardMember -> LeaderboardMember -> Bool # (/=) :: LeaderboardMember -> LeaderboardMember -> Bool #
Ord LeaderboardMember Source #
Instance details Defined in Advent.Types Methods compare :: LeaderboardMember -> LeaderboardMember -> Ordering # (<) :: LeaderboardMember -> LeaderboardMember -> Bool # (<=) :: LeaderboardMember -> LeaderboardMember -> Bool # (>) :: LeaderboardMember -> LeaderboardMember -> Bool # (>=) :: LeaderboardMember -> LeaderboardMember -> Bool # max :: LeaderboardMember -> LeaderboardMember -> LeaderboardMember # min :: LeaderboardMember -> LeaderboardMember -> LeaderboardMember #
Show LeaderboardMember Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> LeaderboardMember -> ShowS # show :: LeaderboardMember -> String # showList :: [LeaderboardMember] -> ShowS #
Generic LeaderboardMember Source #
Instance details Defined in Advent.Types Associated Types type Rep LeaderboardMember :: Type -> Type # Methods from :: LeaderboardMember -> Rep LeaderboardMember x # to :: Rep LeaderboardMember x -> LeaderboardMember #
FromJSON LeaderboardMember Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser LeaderboardMember # parseJSONList :: Value -> Parser [LeaderboardMember] #
type Rep LeaderboardMember Source #
Instance details Defined in Advent.Types type Rep LeaderboardMember = D1 (MetaData "LeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" False) (C1 (MetaCons "LBM" PrefixI True) ((S1 (MetaSel (Just "lbmGlobalScore") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: (S1 (MetaSel (Just "lbmName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: S1 (MetaSel (Just "lbmLocalScore") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))) :: ((S1 (MetaSel (Just "lbmId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "lbmLastStarTS") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe UTCTime))) :: (S1 (MetaSel (Just "lbmStars") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :: S1 (MetaSel (Just "lbmCompletion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Day (Map Part UTCTime)))))))

newtype Rank Source #

Ranking between 1 to 100, for daily and global leaderboards

Note that getRank interanlly stores a number from 0 to 99, so be sure to add or subtract accordingly if you want to display or parse it.

Since: 0.2.3.0

Constructors

Rank
Fields getRank :: Finite 100

Instances

Eq Rank Source #
Instance details Defined in Advent.Types Methods (==) :: Rank -> Rank -> Bool # (/=) :: Rank -> Rank -> Bool #
Ord Rank Source #
Instance details Defined in Advent.Types Methods compare :: Rank -> Rank -> Ordering # (<) :: Rank -> Rank -> Bool # (<=) :: Rank -> Rank -> Bool # (>) :: Rank -> Rank -> Bool # (>=) :: Rank -> Rank -> Bool # max :: Rank -> Rank -> Rank # min :: Rank -> Rank -> Rank #
Show Rank Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> Rank -> ShowS # show :: Rank -> String # showList :: [Rank] -> ShowS #
Generic Rank Source #
Instance details Defined in Advent.Types Associated Types type Rep Rank :: Type -> Type # Methods from :: Rank -> Rep Rank x # to :: Rep Rank x -> Rank #
ToJSON Rank Source #
Instance details Defined in Advent.Types Methods toJSON :: Rank -> Value # toEncoding :: Rank -> Encoding # toJSONList :: [Rank] -> Value # toEncodingList :: [Rank] -> Encoding #
ToJSONKey Rank Source #
Instance details Defined in Advent.Types Methods toJSONKey :: ToJSONKeyFunction Rank # toJSONKeyList :: ToJSONKeyFunction [Rank] #
FromJSON Rank Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser Rank # parseJSONList :: Value -> Parser [Rank] #
FromJSONKey Rank Source #
Instance details Defined in Advent.Types Methods fromJSONKey :: FromJSONKeyFunction Rank # fromJSONKeyList :: FromJSONKeyFunction [Rank] #
type Rep Rank Source #
Instance details Defined in Advent.Types type Rep Rank = D1 (MetaData "Rank" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" True) (C1 (MetaCons "Rank" PrefixI True) (S1 (MetaSel (Just "getRank") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Finite 100))))

data DailyLeaderboard Source #

Daily leaderboard, containing Star 1 and Star 2 completions

Since: 0.2.3.0

Constructors

DLB
Fields dlbStar1 :: Map Rank DailyLeaderboardMember dlbStar2 :: Map Rank DailyLeaderboardMember

Instances

Eq DailyLeaderboard Source #
Instance details Defined in Advent.Types Methods (==) :: DailyLeaderboard -> DailyLeaderboard -> Bool # (/=) :: DailyLeaderboard -> DailyLeaderboard -> Bool #
Ord DailyLeaderboard Source #
Instance details Defined in Advent.Types Methods compare :: DailyLeaderboard -> DailyLeaderboard -> Ordering # (<) :: DailyLeaderboard -> DailyLeaderboard -> Bool # (<=) :: DailyLeaderboard -> DailyLeaderboard -> Bool # (>) :: DailyLeaderboard -> DailyLeaderboard -> Bool # (>=) :: DailyLeaderboard -> DailyLeaderboard -> Bool # max :: DailyLeaderboard -> DailyLeaderboard -> DailyLeaderboard # min :: DailyLeaderboard -> DailyLeaderboard -> DailyLeaderboard #
Show DailyLeaderboard Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> DailyLeaderboard -> ShowS # show :: DailyLeaderboard -> String # showList :: [DailyLeaderboard] -> ShowS #
Generic DailyLeaderboard Source #
Instance details Defined in Advent.Types Associated Types type Rep DailyLeaderboard :: Type -> Type # Methods from :: DailyLeaderboard -> Rep DailyLeaderboard x # to :: Rep DailyLeaderboard x -> DailyLeaderboard #
ToJSON DailyLeaderboard Source #
Instance details Defined in Advent.Types Methods toJSON :: DailyLeaderboard -> Value # toEncoding :: DailyLeaderboard -> Encoding # toJSONList :: [DailyLeaderboard] -> Value # toEncodingList :: [DailyLeaderboard] -> Encoding #
FromJSON DailyLeaderboard Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser DailyLeaderboard # parseJSONList :: Value -> Parser [DailyLeaderboard] #
FromTags "div" DailyLeaderboard Source #
Instance details Defined in Advent.API Methods fromTags :: p "div" -> [Text] -> Maybe DailyLeaderboard Source #
type Rep DailyLeaderboard Source #
Instance details Defined in Advent.Types type Rep DailyLeaderboard = D1 (MetaData "DailyLeaderboard" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" False) (C1 (MetaCons "DLB" PrefixI True) (S1 (MetaSel (Just "dlbStar1") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Rank DailyLeaderboardMember)) :*: S1 (MetaSel (Just "dlbStar2") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Rank DailyLeaderboardMember))))

data DailyLeaderboardMember Source #

Single daily leaderboard position

Since: 0.2.3.0

Constructors

DLBM
Fields dlbmRank :: Rank dlbmTime :: UTCTime dlbmUser :: Either Integer Text dlbmLink :: Maybe Text dlbmImage :: Maybe Text dlbmSupporter :: Bool

Instances

Eq DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Methods (==) :: DailyLeaderboardMember -> DailyLeaderboardMember -> Bool # (/=) :: DailyLeaderboardMember -> DailyLeaderboardMember -> Bool #
Ord DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Methods compare :: DailyLeaderboardMember -> DailyLeaderboardMember -> Ordering # (<) :: DailyLeaderboardMember -> DailyLeaderboardMember -> Bool # (<=) :: DailyLeaderboardMember -> DailyLeaderboardMember -> Bool # (>) :: DailyLeaderboardMember -> DailyLeaderboardMember -> Bool # (>=) :: DailyLeaderboardMember -> DailyLeaderboardMember -> Bool # max :: DailyLeaderboardMember -> DailyLeaderboardMember -> DailyLeaderboardMember # min :: DailyLeaderboardMember -> DailyLeaderboardMember -> DailyLeaderboardMember #
Show DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> DailyLeaderboardMember -> ShowS # show :: DailyLeaderboardMember -> String # showList :: [DailyLeaderboardMember] -> ShowS #
Generic DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Associated Types type Rep DailyLeaderboardMember :: Type -> Type # Methods from :: DailyLeaderboardMember -> Rep DailyLeaderboardMember x # to :: Rep DailyLeaderboardMember x -> DailyLeaderboardMember #
ToJSON DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Methods toJSON :: DailyLeaderboardMember -> Value # toEncoding :: DailyLeaderboardMember -> Encoding # toJSONList :: [DailyLeaderboardMember] -> Value # toEncodingList :: [DailyLeaderboardMember] -> Encoding #
FromJSON DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser DailyLeaderboardMember # parseJSONList :: Value -> Parser [DailyLeaderboardMember] #
type Rep DailyLeaderboardMember Source #
Instance details Defined in Advent.Types type Rep DailyLeaderboardMember = D1 (MetaData "DailyLeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" False) (C1 (MetaCons "DLBM" PrefixI True) ((S1 (MetaSel (Just "dlbmRank") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rank) :: (S1 (MetaSel (Just "dlbmTime") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime) :: S1 (MetaSel (Just "dlbmUser") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either Integer Text)))) :: (S1 (MetaSel (Just "dlbmLink") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "dlbmImage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "dlbmSupporter") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))

newtype GlobalLeaderboard Source #

Global leaderboard for the entire event

Under each Rank is an Integer for the score at that rank, as well as a non-empty list of all members who achieved that rank and score.

Since: 0.2.3.0

Constructors

GLB
Fields glbMap :: Map Rank (Integer, NonEmpty GlobalLeaderboardMember)

Instances

Eq GlobalLeaderboard Source #
Instance details Defined in Advent.Types Methods (==) :: GlobalLeaderboard -> GlobalLeaderboard -> Bool # (/=) :: GlobalLeaderboard -> GlobalLeaderboard -> Bool #
Ord GlobalLeaderboard Source #
Instance details Defined in Advent.Types Methods compare :: GlobalLeaderboard -> GlobalLeaderboard -> Ordering # (<) :: GlobalLeaderboard -> GlobalLeaderboard -> Bool # (<=) :: GlobalLeaderboard -> GlobalLeaderboard -> Bool # (>) :: GlobalLeaderboard -> GlobalLeaderboard -> Bool # (>=) :: GlobalLeaderboard -> GlobalLeaderboard -> Bool # max :: GlobalLeaderboard -> GlobalLeaderboard -> GlobalLeaderboard # min :: GlobalLeaderboard -> GlobalLeaderboard -> GlobalLeaderboard #
Show GlobalLeaderboard Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> GlobalLeaderboard -> ShowS # show :: GlobalLeaderboard -> String # showList :: [GlobalLeaderboard] -> ShowS #
Generic GlobalLeaderboard Source #
Instance details Defined in Advent.Types Associated Types type Rep GlobalLeaderboard :: Type -> Type # Methods from :: GlobalLeaderboard -> Rep GlobalLeaderboard x # to :: Rep GlobalLeaderboard x -> GlobalLeaderboard #
ToJSON GlobalLeaderboard Source #
Instance details Defined in Advent.Types Methods toJSON :: GlobalLeaderboard -> Value # toEncoding :: GlobalLeaderboard -> Encoding # toJSONList :: [GlobalLeaderboard] -> Value # toEncodingList :: [GlobalLeaderboard] -> Encoding #
FromJSON GlobalLeaderboard Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser GlobalLeaderboard # parseJSONList :: Value -> Parser [GlobalLeaderboard] #
FromTags "div" GlobalLeaderboard Source #
Instance details Defined in Advent.API Methods fromTags :: p "div" -> [Text] -> Maybe GlobalLeaderboard Source #
type Rep GlobalLeaderboard Source #
Instance details Defined in Advent.Types type Rep GlobalLeaderboard = D1 (MetaData "GlobalLeaderboard" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" True) (C1 (MetaCons "GLB" PrefixI True) (S1 (MetaSel (Just "glbMap") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map Rank (Integer, NonEmpty GlobalLeaderboardMember)))))

data GlobalLeaderboardMember Source #

Single global leaderboard position

Since: 0.2.3.0

Constructors

GLBM
Fields glbmRank :: Rank glbmScore :: Integer glbmUser :: Either Integer Text glbmLink :: Maybe Text glbmImage :: Maybe Text glbmSupporter :: Bool

Instances

Eq GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Methods (==) :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> Bool # (/=) :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> Bool #
Ord GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Methods compare :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> Ordering # (<) :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> Bool # (<=) :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> Bool # (>) :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> Bool # (>=) :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> Bool # max :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> GlobalLeaderboardMember # min :: GlobalLeaderboardMember -> GlobalLeaderboardMember -> GlobalLeaderboardMember #
Show GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> GlobalLeaderboardMember -> ShowS # show :: GlobalLeaderboardMember -> String # showList :: [GlobalLeaderboardMember] -> ShowS #
Generic GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Associated Types type Rep GlobalLeaderboardMember :: Type -> Type # Methods from :: GlobalLeaderboardMember -> Rep GlobalLeaderboardMember x # to :: Rep GlobalLeaderboardMember x -> GlobalLeaderboardMember #
ToJSON GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Methods toJSON :: GlobalLeaderboardMember -> Value # toEncoding :: GlobalLeaderboardMember -> Encoding # toJSONList :: [GlobalLeaderboardMember] -> Value # toEncodingList :: [GlobalLeaderboardMember] -> Encoding #
FromJSON GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser GlobalLeaderboardMember # parseJSONList :: Value -> Parser [GlobalLeaderboardMember] #
type Rep GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types type Rep GlobalLeaderboardMember = D1 (MetaData "GlobalLeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.4.2-inplace" False) (C1 (MetaCons "GLBM" PrefixI True) ((S1 (MetaSel (Just "glbmRank") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Rank) :: (S1 (MetaSel (Just "glbmScore") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer) :: S1 (MetaSel (Just "glbmUser") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Either Integer Text)))) :: (S1 (MetaSel (Just "glbmLink") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :: (S1 (MetaSel (Just "glbmImage") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)) :*: S1 (MetaSel (Just "glbmSupporter") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))

Util

mkDay :: Integer -> Maybe Day Source #

Construct a Day from a day integer (1 - 25). If input is out of range, Nothing is returned. See mkDay_ for an unsafe version useful for literals.

Inverse of dayInt.

mkDay_ :: Integer -> Day Source #

Construct a Finite 25 (the type of a Day) from a day integer (1 - 25). Is undefined if input is out of range. Can be useful for compile-time literals, like mkDay_ 4

Inverse of dayInt.

dayInt :: Day -> Integer Source #

Convert a Finite 25 day into a day integer (1 - 25). Inverse of mkDay.

_DayInt :: (Choice p, Applicative f) => p Day (f Day) -> p Integer (f Integer) Source #

This is a Prism' Integer Day , to treat an Integer as if it were a Day.

Since: 0.2.4.0

pattern DayInt :: Day -> Integer Source #

Pattern synonym allowing you to match on an Integer as if it were a Day:

case myInt of
  DayInt d -> ...
  _        -> ...

Will fail if the integer is out of bounds (outside of 1-25)

Since: 0.2.4.0

partInt :: Part -> Int Source #

Convert a Part to an Int.

partChar :: Part -> Char Source #

A character associated with a given part. Part1 is associated with 'a', and Part2 is associated with 'b'

fullDailyBoard :: DailyLeaderboard -> Bool Source #

Check if a DailyLeaderboard is filled up or not.

Since: 0.2.4.0

Internal

parseSubmitRes :: Text -> SubmitRes Source #

Parse Text into a SubmitRes.