def Data.Configurator.empty : Config

The empty configuration. $$\text{empty} : \text{Config}$$

Equations

• Data.Configurator.empty = ∅

def Data.Configurator.lookup (key : String) (config : Config) : Option Value

Look up a key in the configuration. $$\text{lookup} : \text{String} \to \text{Config} \to \text{Option Value}$$

Equations

• Data.Configurator.lookup key config = Std.HashMap.get? config key

def Data.Configurator.lookupDefault (default_ : Value) (key : String) (config : Config) : Value

Look up a key with a default fallback. $$\text{lookupDefault} : \text{Value} \to \text{String} \to \text{Config} \to \text{Value}$$

Equations

• Data.Configurator.lookupDefault default_ key config = (Data.Configurator.lookup key config).getD default_

def Data.Configurator.require (key : String) (config : Config) : Except String Value

Look up a key, returning an error if not found. $$\text{require} : \text{String} \to \text{Config} \to \text{Except String Value}$$

Equations

• One or more equations did not get rendered due to their size.

def Data.Configurator.parseConfig (content : String) : Except String Config

Parse a configuration file content into a Config. $$\text{parseConfig} : \text{String} \to \text{Except String Config}$$

Parse rules:

• Lines starting with # are comments (after trimming)
• Empty lines are ignored
• key = value format
• Values can be: quoted strings, numbers, true/false
• Dotted keys: a.b.c = value creates a flat lookup under key "a.b.c"

Equations

• One or more equations did not get rendered due to their size.

def Data.Configurator.load (path : String) : IO Config

Load a configuration file from disk. $$\text{load} : \text{String} \to \text{IO Config}$$

Equations

• One or more equations did not get rendered due to their size.