A Haskell-land wrapper around the name of a configuration option. Developers are encouraged to define and use ConfigOption values to avoid two classes of errors: typos in configuration option names; and dynamic type-cast failures. Both classes of errors can be lifted to statically-checkable failures (missing symbols and type-checking, respectively) by consistently using ConfigOption values.

The following example indicates the suggested usage

  asdfFrob :: ConfigOption BaseRealType
  asdfFrob = configOption BaseRealRepr "asdf.frob"

  asdfMaxBound :: ConfigOption BaseIntegerType
  asdfMaxBound = configOption BaseIntegerRepr "asdf.max_bound"

Construct a ConfigOption from a string name. Idiomatic usage is to define a single top-level ConfigOption value in the module where the option is defined to consistently fix its name and type for all subsequent uses.

Retrieve the run-time type representation of tp.

Reconstruct the original string name of this option.

Reconstruct the original string name of this option.

Get the individual dot-separated segments of an option's name.

An OptionSetting gives the direct ability to query or set the current value of an option. The getOption field is an action that, when executed, fetches the current value of the option, if it is set. The setOption method attempts to set the value of the option. If the associated opt_onset validation method rejects the option, it will retain its previous value; otherwise it will be set to the given value. In either case, the generated OptionSetResult will be returned.

A utility class for making working with option settings easier. The tp argument is a BaseType, and the a argument is an associcated Haskell type.

An option defines some metadata about how a configuration option behaves. It contains a base type representation, which defines the runtime type that is expected for setting and querying this option at runtime.

Update the opt_default_value field.

Update the opt_onset field.

When setting the value of an option, a validation function is called (as defined by the associated OptionStyle). The result of the validation function is an OptionSetResult. If the option value given is invalid for some reason, an error should be returned. Additionally, warning messages may be returned, which will be passed through to the eventual call site attempting to alter the option setting.

Accept the new option value with no errors or warnings.

Accept the given option value, but report a warning message.

Reject the new option value with an error message.

Throw an exception if the given OptionSetResult indidcates an error. Otherwise, return any generated warnings.

An inclusive or exclusive bound.

Standard option style for boolean-valued configuration options

Standard option style for integral-valued configuration options

Standard option style for real-valued configuration options

Option style for real-valued options with upper and lower bounds

Option style for real-valued options with a lower bound

Option style for real-valued options with an upper bound

Option style for integer-valued options with upper and lower bounds

Option style for integer-valued options with a lower bound

Option style for integer-valued options with an upper bound

A configuration style for options that must be one of a fixed set of text values

A configuration syle for options that must be one of a fixed set of text values. Associated with each string is a validation/callback action that will be run whenever the named string option is selected.

A configuration style for options that are expected to be paths to an executable image. Configuration options with this style generate a warning message if set to a value that cannot be resolved to an absolute path to an executable file in the current OS environment.

A ConfigDesc describes a configuration option before it is installed into a Config object. It consists of a ConfigOption name for the option, an OptionStyle describing the sort of option it is, and an optional help message describing the semantics of this option.

The most general method for constructing a normal ConfigDesc.

Construct an option using a default style with a given initial value

Construct an option using a default style with a given initial value. Also provide a validation function to check new values as they are set.

Construct an option using a default style with no initial value.

Construct an option using a default style with no initial value. Also provide a validation function to check new values as they are set.

The main configuration datatype. It consists of an MVar containing the actual configuration data.

Construct a new configuration from the given configuration descriptions.

Extend an existing configuration with new options. An error will be raised if any of the given options clash with options that already exists.

Given a ConfigOption name, produce an OptionSetting object for accessing and setting the value of that option.

An exception is thrown if the named option cannot be found the Config object, or if a type mismatch occurs.

Given a text name, produce an OptionSetting object for accessing and setting the value of that option.

An exception is thrown if the named option cannot be found.

A ConfigValue bundles together the name of an option with its current value.

Given the name of a subtree, return all the currently-set configurtion values in that subtree.

If the subtree name is empty, the entire tree will be traversed.

Given the name of a subtree, compute help text for all the options avaliable in that subtree.

If the subtree name is empty, the entire tree will be traversed.

Verbosity of the simulator. This option controls how much informational and debugging output is generated. 0 yields low information output; 5 is extremely chatty.

Return an operation that will consult the current value of the verbosity option, and will print a string to the given Handle if the provided int is smaller than the current verbosity setting.