Utils.Katt.Configuration

Implements loading and saving of global and local configurations. All configurations are stored in the ConfigFile format, which is fully compatible with the official Kattis configuration file.

The global configuration file corresponds to kattisrc, which holds information regarding authentication and hosts.

The local configuration holds project-specific information and is created by the Init submodule. Currently only the problem name is stored.

Documentation

loadGlobalConfig :: IO (Either ErrorDesc ConfigState)

Load global configuration file and parse the configuration state. Ensures that all fields are present and validates the URLs.

projectConfigExists :: IO Bool

Check if a project-specific configuration file exists and can be read.

loadProjectConfig :: ConfigEnv IO ()

Load a project-specific configuration based on the current directory.

saveProjectConfig :: ConfigEnv IO ()

Save a project-specific configuration file to disk.