Copyright	(c) Justin Le 2019
License	BSD3
Maintainer	justin@jle.im
Stability	experimental
Portability	non-portable
Safe Haskell	Safe-Inferred
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
- dlbmDecTime :: NominalDiffTime
- 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
}
data NextDayTime
- = NextDayTime Day Int
- | NoNextDayTime
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
dlbmCompleteTime :: Integer -> Day -> NominalDiffTime -> ZonedTime
dlbmTime :: Day -> NominalDiffTime -> NominalDiffTime
challengeReleaseTime :: Integer -> Day -> ZonedTime
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

Instances details

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] #
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] #
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] #
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 #
Show Day Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> Day -> ShowS # show :: Day -> String # showList :: [Day] -> ShowS #
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 #
ToHttpApiData Day Source #
Instance details Defined in Advent.Types Methods toUrlPiece :: Day -> Text # toEncodedUrlPiece :: Day -> Builder # toHeader :: Day -> ByteString # toQueryParam :: Day -> Text # toEncodedQueryParam :: Day -> Builder #
type Rep Day Source #
Instance details Defined in Advent.Types type Rep Day = D1 ('MetaData "Day" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

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] #
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] #
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] #
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 #
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 #
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 #
ToHttpApiData Part Source #
Instance details Defined in Advent.Types Methods toUrlPiece :: Part -> Text # toEncodedUrlPiece :: Part -> Builder # toHeader :: Part -> ByteString # toQueryParam :: Part -> Text # toEncodedQueryParam :: Part -> Builder #
type Rep Part Source #
Instance details Defined in Advent.Types type Rep Part = D1 ('MetaData "Part" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

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 #
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 #
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 #
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.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

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 #
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 #
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 #
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.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

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 #
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 #
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 #
ToHttpApiData PublicCode Source #
Instance details Defined in Advent.Types Methods toUrlPiece :: PublicCode -> Text # toEncodedUrlPiece :: PublicCode -> Builder # toHeader :: PublicCode -> ByteString # toQueryParam :: PublicCode -> Text # toEncodedQueryParam :: PublicCode -> Builder #
type Rep PublicCode Source #
Instance details Defined in Advent.Types type Rep PublicCode = D1 ('MetaData "PublicCode" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

FromJSON Leaderboard Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser Leaderboard # parseJSONList :: Value -> Parser [Leaderboard] #
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 #
Show Leaderboard Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> Leaderboard -> ShowS # show :: Leaderboard -> String # showList :: [Leaderboard] -> ShowS #
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 #
type Rep Leaderboard Source #
Instance details Defined in Advent.Types type Rep Leaderboard = D1 ('MetaData "Leaderboard" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

FromJSON LeaderboardMember Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser LeaderboardMember # parseJSONList :: Value -> Parser [LeaderboardMember] #
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 #
Show LeaderboardMember Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> LeaderboardMember -> ShowS # show :: LeaderboardMember -> String # showList :: [LeaderboardMember] -> ShowS #
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 #
type Rep LeaderboardMember Source #
Instance details Defined in Advent.Types type Rep LeaderboardMember = D1 ('MetaData "LeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

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] #
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] #
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 #
Show Rank Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> Rank -> ShowS # show :: Rank -> String # showList :: [Rank] -> ShowS #
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 #
type Rep Rank Source #
Instance details Defined in Advent.Types type Rep Rank = D1 ('MetaData "Rank" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

FromJSON DailyLeaderboard Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser DailyLeaderboard # parseJSONList :: Value -> Parser [DailyLeaderboard] #
ToJSON DailyLeaderboard Source #
Instance details Defined in Advent.Types Methods toJSON :: DailyLeaderboard -> Value # toEncoding :: DailyLeaderboard -> Encoding # toJSONList :: [DailyLeaderboard] -> Value # toEncodingList :: [DailyLeaderboard] -> Encoding #
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 #
Show DailyLeaderboard Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> DailyLeaderboard -> ShowS # show :: DailyLeaderboard -> String # showList :: [DailyLeaderboard] -> ShowS #
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 #
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.8.5-FaFBzvb1hJk3a2yu8byIsn" '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 dlbmDecTime :: NominalDiffTime Time from midnight EST of December 1st for that event. Use `dlbmCompleteTime` to convert to an actual time for event completion, and `dlbmTime` to get the time it took to solve. Since: 0.2.7.0 dlbmUser :: Either Integer Text dlbmLink :: Maybe Text dlbmImage :: Maybe Text dlbmSupporter :: Bool

Instances

Instances details

FromJSON DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser DailyLeaderboardMember # parseJSONList :: Value -> Parser [DailyLeaderboardMember] #
ToJSON DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Methods toJSON :: DailyLeaderboardMember -> Value # toEncoding :: DailyLeaderboardMember -> Encoding # toJSONList :: [DailyLeaderboardMember] -> Value # toEncodingList :: [DailyLeaderboardMember] -> Encoding #
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 #
Show DailyLeaderboardMember Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> DailyLeaderboardMember -> ShowS # show :: DailyLeaderboardMember -> String # showList :: [DailyLeaderboardMember] -> ShowS #
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 #
type Rep DailyLeaderboardMember Source #
Instance details Defined in Advent.Types type Rep DailyLeaderboardMember = D1 ('MetaData "DailyLeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" 'False) (C1 ('MetaCons "DLBM" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dlbmRank") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rank) :: (S1 ('MetaSel ('Just "dlbmDecTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalDiffTime) :: 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

Instances details

FromJSON GlobalLeaderboard Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser GlobalLeaderboard # parseJSONList :: Value -> Parser [GlobalLeaderboard] #
ToJSON GlobalLeaderboard Source #
Instance details Defined in Advent.Types Methods toJSON :: GlobalLeaderboard -> Value # toEncoding :: GlobalLeaderboard -> Encoding # toJSONList :: [GlobalLeaderboard] -> Value # toEncodingList :: [GlobalLeaderboard] -> Encoding #
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 #
Show GlobalLeaderboard Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> GlobalLeaderboard -> ShowS # show :: GlobalLeaderboard -> String # showList :: [GlobalLeaderboard] -> ShowS #
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 #
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.8.5-FaFBzvb1hJk3a2yu8byIsn" '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

Instances details

FromJSON GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Methods parseJSON :: Value -> Parser GlobalLeaderboardMember # parseJSONList :: Value -> Parser [GlobalLeaderboardMember] #
ToJSON GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Methods toJSON :: GlobalLeaderboardMember -> Value # toEncoding :: GlobalLeaderboardMember -> Encoding # toJSONList :: [GlobalLeaderboardMember] -> Value # toEncodingList :: [GlobalLeaderboardMember] -> Encoding #
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 #
Show GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> GlobalLeaderboardMember -> ShowS # show :: GlobalLeaderboardMember -> String # showList :: [GlobalLeaderboardMember] -> ShowS #
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 #
type Rep GlobalLeaderboardMember Source #
Instance details Defined in Advent.Types type Rep GlobalLeaderboardMember = D1 ('MetaData "GlobalLeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" '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)))))

data NextDayTime Source #

The next day for a challenge in a given year, and also the number of seconds until the challenge is released.

Since: 0.2.8.0

Constructors

NextDayTime Day Int
NoNextDayTime

Instances

Instances details

Generic NextDayTime Source #
Instance details Defined in Advent.Types Associated Types type Rep NextDayTime :: Type -> Type # Methods from :: NextDayTime -> Rep NextDayTime x # to :: Rep NextDayTime x -> NextDayTime #
Show NextDayTime Source #
Instance details Defined in Advent.Types Methods showsPrec :: Int -> NextDayTime -> ShowS # show :: NextDayTime -> String # showList :: [NextDayTime] -> ShowS #
Eq NextDayTime Source #
Instance details Defined in Advent.Types Methods (==) :: NextDayTime -> NextDayTime -> Bool # (/=) :: NextDayTime -> NextDayTime -> Bool #
Ord NextDayTime Source #
Instance details Defined in Advent.Types Methods compare :: NextDayTime -> NextDayTime -> Ordering # (<) :: NextDayTime -> NextDayTime -> Bool # (<=) :: NextDayTime -> NextDayTime -> Bool # (>) :: NextDayTime -> NextDayTime -> Bool # (>=) :: NextDayTime -> NextDayTime -> Bool # max :: NextDayTime -> NextDayTime -> NextDayTime # min :: NextDayTime -> NextDayTime -> NextDayTime #
FromTags "script" NextDayTime Source #
Instance details Defined in Advent.API Methods fromTags :: p "script" -> [Text] -> Maybe NextDayTime Source #
type Rep NextDayTime Source #
Instance details Defined in Advent.Types type Rep NextDayTime = D1 ('MetaData "NextDayTime" "Advent.Types" "advent-of-code-api-0.2.8.5-FaFBzvb1hJk3a2yu8byIsn" 'False) (C1 ('MetaCons "NextDayTime" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Day) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "NoNextDayTime" 'PrefixI 'False) (U1 :: Type -> Type))

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

dlbmCompleteTime :: Integer -> Day -> NominalDiffTime -> ZonedTime Source #

Turn a dlbmDecTime field into a ZonedTime for the actual completion of the puzzle, based on the year and day of event.

Since: 0.2.7.0

dlbmTime :: Day -> NominalDiffTime -> NominalDiffTime Source #

Turn a dlbmDecTime field into a NominalDiffTime representing the actual amount of time taken to complete the puzzle.

Since: 0.2.7.0

challengeReleaseTime Source #

Arguments

:: Integer	year
-> Day	day
-> ZonedTime

Prompt release time.

Changed from UTCTime to ZonedTime in v0.2.7.0. To use as a UTCTime, use zonedTimeToUTC.

Internal

parseSubmitRes :: Text -> SubmitRes Source #

Parse Text into a SubmitRes.