Moduleeffectful-2.7.1.0GHC2021

Effectful.Environment

Effect

1 declaration

datadata Environment (a :: Type -> Type) b

An effect for querying and modifying the system environment.

Instances2DispatchOf, StaticRep

type DispatchOf Environment = 'Static 'WithSideEffectsDefined in effectful-2.7.1.0 · Effectful.Environment
data StaticRep Environment
- Environment
Defined in effectful-2.7.1.0 · Effectful.Environment

valuerunEnvironment

Run the Environment effect.

6 declarations

valuegetArgs :: Environment :> es => Eff es [String]

Lifted getArgs.

valuegetProgName :: Environment :> es => Eff es String

valuegetExecutablePath :: Environment :> es => Eff es FilePath

valuegetEnv :: Environment :> es => String -> Eff es String

Lifted getEnv.

valuegetEnvironment :: Environment :> es => Eff es [(String, String)]

valuelookupEnv :: Environment :> es => String -> Eff es (Maybe String)

4 declarations

valuesetEnv :: Environment :> es => String -> String -> Eff es ()

Lifted setEnv.

valueunsetEnv :: Environment :> es => String -> Eff es ()

valuewithArgs :: Environment :> es => [String] -> Eff es a -> Eff es a

valuewithProgName :: Environment :> es => String -> Eff es a -> Eff es a