Utils.Katt.Init

Init submodule providing initialization of problems and entire problem sessions.

Problems are initialized by creating a directory, configuration file, and optionally downloading all test files available. Both zip-based test data and embedded HTML tables are supported.

Problem sessions are initialized by parsing the list of problems and initializing each problem separately.

Documentation

initializeProblem :: Bool -> Bool -> KattisProblem -> ConfigEnv IO ()

Given a problem identifier, setup directory structures and optionally download test cases.

initializeSession :: Bool -> ProblemSession -> ConfigEnv IO ()

Given a problem session id, initialize all the corresponding problems.