type Rep Day
Instance details Defined in Advent.Types type Rep Day = D1 ('MetaData "Day" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" 'True) (C1 ('MetaCons "Day" 'PrefixI 'True) (S1 ('MetaSel ('Just "dayFinite") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Finite 25))))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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] #

omittedField :: Maybe 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 #

omitField :: Part -> Bool #

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
Instance details Defined in Advent.Types type Rep Part = D1 ('MetaData "Part" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" 'False) (C1 ('MetaCons "Part1" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Part2" 'PrefixI 'False) (U1 :: 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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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

Instance details

Defined in Advent.Types

type Rep SubmitInfo = D1 ('MetaData "SubmitInfo" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" 'False) (C1 ('MetaCons "SubmitInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "siLevel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Part) :*: S1 ('MetaSel ('Just "siAnswer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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

Instance details

Defined in Advent.Types

type Rep SubmitRes = D1 ('MetaData "SubmitRes" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" '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)))))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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
Instance details Defined in Advent.Types type Rep PublicCode = D1 ('MetaData "PublicCode" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" 'True) (C1 ('MetaCons "PublicCode" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPublicCode") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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] #

omittedField :: Maybe Leaderboard #

Generic Leaderboard Source #

Instance details

Defined in Advent.Types

Associated Types

type Rep Leaderboard

Instance details

Defined in Advent.Types

type Rep Leaderboard = D1 ('MetaData "Leaderboard" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" '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)))))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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 :: Maybe 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] #

omittedField :: Maybe LeaderboardMember #

Generic LeaderboardMember Source #

Instance details

Defined in Advent.Types

Associated Types

type Rep LeaderboardMember

Instance details

Defined in Advent.Types

type Rep LeaderboardMember = D1 ('MetaData "LeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" 'False) (C1 ('MetaCons "LBM" 'PrefixI 'True) ((S1 ('MetaSel ('Just "lbmGlobalScore") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe 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)))))))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" 'False) (C1 ('MetaCons "LBM" 'PrefixI 'True) ((S1 ('MetaSel ('Just "lbmGlobalScore") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe 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] #

omittedField :: Maybe 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 #

omitField :: Rank -> Bool #

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
Instance details Defined in Advent.Types type Rep Rank = D1 ('MetaData "Rank" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" 'True) (C1 ('MetaCons "Rank" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRank") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Finite 100))))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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] #

omittedField :: Maybe DailyLeaderboard #

ToJSON DailyLeaderboard Source #

Instance details

Defined in Advent.Types

Methods

toJSON :: DailyLeaderboard -> Value #

toEncoding :: DailyLeaderboard -> Encoding #

toJSONList :: [DailyLeaderboard] -> Value #

toEncodingList :: [DailyLeaderboard] -> Encoding #

omitField :: DailyLeaderboard -> Bool #

Generic DailyLeaderboard Source #

Instance details

Defined in Advent.Types

Associated Types

type Rep DailyLeaderboard

Instance details

Defined in Advent.Types

type Rep DailyLeaderboard = D1 ('MetaData "DailyLeaderboard" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" '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))))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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] #

omittedField :: Maybe DailyLeaderboardMember #

ToJSON DailyLeaderboardMember Source #

Instance details

Defined in Advent.Types

Methods

toJSON :: DailyLeaderboardMember -> Value #

toEncoding :: DailyLeaderboardMember -> Encoding #

toJSONList :: [DailyLeaderboardMember] -> Value #

toEncodingList :: [DailyLeaderboardMember] -> Encoding #

omitField :: DailyLeaderboardMember -> Bool #

Generic DailyLeaderboardMember Source #

Instance details

Defined in Advent.Types

Associated Types

type Rep DailyLeaderboardMember

Instance details

Defined in Advent.Types

type Rep DailyLeaderboardMember = D1 ('MetaData "DailyLeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" '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)))))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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] #

omittedField :: Maybe GlobalLeaderboard #

ToJSON GlobalLeaderboard Source #

Instance details

Defined in Advent.Types

Methods

toJSON :: GlobalLeaderboard -> Value #

toEncoding :: GlobalLeaderboard -> Encoding #

toJSONList :: [GlobalLeaderboard] -> Value #

toEncodingList :: [GlobalLeaderboard] -> Encoding #

omitField :: GlobalLeaderboard -> Bool #

Generic GlobalLeaderboard Source #

Instance details

Defined in Advent.Types

Associated Types

type Rep GlobalLeaderboard
Instance details Defined in Advent.Types type Rep GlobalLeaderboard = D1 ('MetaData "GlobalLeaderboard" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" 'True) (C1 ('MetaCons "GLB" 'PrefixI 'True) (S1 ('MetaSel ('Just "glbMap") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Rank (Integer, NonEmpty GlobalLeaderboardMember)))))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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] #

omittedField :: Maybe GlobalLeaderboardMember #

ToJSON GlobalLeaderboardMember Source #

Instance details

Defined in Advent.Types

Methods

toJSON :: GlobalLeaderboardMember -> Value #

toEncoding :: GlobalLeaderboardMember -> Encoding #

toJSONList :: [GlobalLeaderboardMember] -> Value #

toEncodingList :: [GlobalLeaderboardMember] -> Encoding #

omitField :: GlobalLeaderboardMember -> Bool #

Generic GlobalLeaderboardMember Source #

Instance details

Defined in Advent.Types

Associated Types

type Rep GlobalLeaderboardMember

Instance details

Defined in Advent.Types

type Rep GlobalLeaderboardMember = D1 ('MetaData "GlobalLeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" '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)))))

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

type Rep GlobalLeaderboardMember Source #

Instance details

Defined in Advent.Types

type Rep GlobalLeaderboardMember = D1 ('MetaData "GlobalLeaderboardMember" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" '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

Instance details

Defined in Advent.Types

type Rep NextDayTime = D1 ('MetaData "NextDayTime" "Advent.Types" "advent-of-code-api-0.2.10.0-GDpGQWnuigY7hDWzYKT21Q" '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))

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.10.0-GDpGQWnuigY7hDWzYKT21Q" '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.