Copyright | (c) Justin Le 2018 |
---|---|
License | BSD3 |
Maintainer | justin@jle.im |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
AOC.Run.Load
Contents
Description
Loading challenge data and prompts.
Synopsis
- data ChallengePaths = CP {}
- challengePaths :: Integer -> ChallengeSpec -> ChallengePaths
- data ChallengeData = CD {}
- challengeData :: Maybe String -> Integer -> ChallengeSpec -> IO ChallengeData
- newtype Day = Day {}
- countdownConsole :: MonadIO m => Integer -> Day -> m a -> m a
- countdownWithPrint :: MonadIO m => m NominalDiffTime -> Int -> String -> m a -> m a
- timeToRelease :: Integer -> Day -> IO NominalDiffTime
- showNominalDiffTime :: NominalDiffTime -> String
- charPart :: Char -> Maybe Part
- showAoCError :: AoCError -> [String]
- htmlToMarkdown :: Bool -> Text -> Either [String] Text
- mkDay :: Integer -> Maybe Day
- mkDay_ :: Integer -> Day
- dayInt :: Day -> Integer
- data TestMeta = TM {}
- parseMeta :: Parser TestMeta
- parseTests :: Parser [(String, TestMeta)]
Documentation
data ChallengePaths Source #
A record of paths corresponding to a specific challenge.
Constructors
CP | |
Instances
Show ChallengePaths Source # | |
Defined in AOC.Run.Load Methods showsPrec :: Int -> ChallengePaths -> ShowS # show :: ChallengePaths -> String # showList :: [ChallengePaths] -> ShowS # |
challengePaths :: Integer -> ChallengeSpec -> ChallengePaths Source #
Generate a ChallengePaths
from a specification of a challenge.
data ChallengeData Source #
A record of data (test inputs, answers) corresponding to a specific challenge.
Arguments
:: Maybe String | session key |
-> Integer | year |
-> ChallengeSpec | |
-> IO ChallengeData |
Load data associated with a challenge from a given specification. Will fetch answers online and cache if required (and if giten a session token).
Instances
Bounded Day | |
Enum Day | |
Eq Day | |
Ord Day | |
Show Day | |
Generic Day | |
FromJSON Day | |
Defined in Advent.Types | |
ToJSON Day | |
Defined in Advent.Types | |
FromJSONKey Day | |
Defined in Advent.Types | |
ToJSONKey Day | |
Defined in Advent.Types | |
ToHttpApiData Day | |
Defined in Advent.Types Methods toUrlPiece :: Day -> Text toEncodedUrlPiece :: Day -> Builder toHeader :: Day -> ByteString toQueryParam :: Day -> Text | |
type Rep Day | |
Defined in Advent.Types |
Arguments
:: MonadIO m | |
=> Integer | year of challenge |
-> Day | day to count down to |
-> m a | callback on release |
-> m a |
Run a countdown on the console.
countdownWithPrint :: MonadIO m => m NominalDiffTime -> Int -> String -> m a -> m a Source #
timeToRelease :: Integer -> Day -> IO NominalDiffTime #
showNominalDiffTime :: NominalDiffTime -> String Source #
Pretty-print a NominalDiffTime
showAoCError :: AoCError -> [String] Source #
Parsers
parseTests :: Parser [(String, TestMeta)] Source #