Agda-2.6.3.20230930: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Utils.Environment

Description

Expand environment variables in strings

Synopsis

Documentation

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).