API package:advent-of-code-api

module Advent.API
advent-of-code-api
Raw Servant API for Advent of Code. Can be useful for building mock servers, generating documentation and other servanty things, or low-level raw requests. If you use this to make requests directly, please use responsibly: do not make automated requests more than once per day and throttle all manual requestes. See notes in Advent.
package advent-of-code-api
Uses
Advent of Code REST API bindings and servant API Haskell bindings for Advent of Code REST API and a servant API. Please use responsibly! See README.md or Advent module for an introduction and tutorial.
type AdventAPI = Header "User-Agent" AoCUserAgent :> Capture "year" Integer :> (Get '[Scripts] NextDayTime :<|> "day" :> Capture "day" Day :> (Get '[Articles] (Map Part Text) :<|> "input" :> Get '[RawText] Text :<|> "answer" :> ReqBody '[FormUrlEncoded] SubmitInfo :> Post '[Articles] (Text :<|> SubmitRes)) :<|> ("leaderboard" :> (Get '[Divs] GlobalLeaderboard :<|> "day" :> Capture "day" Day :> Get '[Divs] DailyLeaderboard :<|> "private" :> "view" :> Capture "code" PublicCode :> Get '[JSON] Leaderboard)))
advent-of-code-api Advent.API
REST API of Advent of Code. Note that most of these requests assume a "session=" cookie.
adventAPI :: Proxy AdventAPI
advent-of-code-api Advent.API
Proxy used for servant functions.
adventAPIClient :: Maybe AoCUserAgent -> Integer -> ClientM NextDayTime :<|> ((Day -> ClientM (Map Part Text) :<|> (ClientM Text :<|> (SubmitInfo -> ClientM (Text :<|> SubmitRes)))) :<|> (ClientM GlobalLeaderboard :<|> ((Day -> ClientM DailyLeaderboard) :<|> (PublicCode -> ClientM Leaderboard))))
advent-of-code-api Advent.API
ClientM requests based on AdventAPI, generated by servant.
adventAPIPuzzleClient :: Maybe AoCUserAgent -> Integer -> Day -> ClientM (Map Part Text) :<|> (ClientM Text :<|> (SubmitInfo -> ClientM (Text :<|> SubmitRes)))
advent-of-code-api Advent.API
A subset of adventAPIClient for only puzzle-related API routes, not leaderboard ones.