Returns a single-valued setting, wrapped in an Option.
Returns a single-valued setting, wrapped in an Option. Returns None if the key is not found, or an error occured.
If multiple values with this key are present, the first is returned.
type of the setting's value.
settings key
the first value with the appropriate key, or None on error/not found.
Returns a multi-valued setting, wrapped in an Option.
Returns a multi-valued setting, wrapped in an Option.
Returns an empty list if the key is not found, None if an error occurred.
type of the setting's value
settings key
all values for the key, or None on error.
Sets a single-valued setting.
Sets a single-valued setting.
All previous settings for the respective key are discarded and replaced by the new value.
type of the setting's value.
settings key
settings value
Failure on error, Success otherwise
Sets a multi-valued setting.
Sets a multi-valued setting.
All previous settings for the respective key are discarded and replaced by the new values.
type of the setting's values.
settings key
settings values
Failure on error, Success otherwise
High-level abstraction for storing user preferences / settings.
Settings are identified by keys, and can have one or more values. Values can be of any type, as long as a codec for that type is defined below, or in a type class provided by the user.
Applications can define their own keys; to avoid name clashes, keys should have package-like names. "common" is reserved for the keys defined in the GlobalSettings source file.