Agda.Utils.Environment

Expand environment variables in strings

Documentation

type EnvVars = [(String, String)]

List of environment variable bindings.

expandEnvironmentVariables :: String -> IO String

expandEnvVarTelescope :: String -> EnvVars -> EnvVars

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