Agda.Utils.Environment
Description
Expand environment variables in strings
type EnvVars = [(String, String)] Source #
List of environment variable bindings.
expandEnvironmentVariables :: String -> IO String Source #
expandEnvVarTelescope :: String -> EnvVars -> EnvVars Source #
Expand a telescope of environment variables (each value may refer to variables earlier in the list).