Agda.Utils.Environment

Expand environment variables in strings

typetype EnvVars = [(String, String)]

List of environment variable bindings.

valueexpandEnvironmentVariables :: String -> IO String

valueexpandEnvVarTelescope :: String -> EnvVars -> EnvVars

Expand a telescope of environment variables (each value may refer to variables earlier in the list).