Env

eff EnvSource

Effect for accessing the system environment.

Effect for accessing the system environment, and its functions.

Default Handler

runWithIO

def getArgs(): List[String] \ Env§ Source

Returns the arguments passed to the program via the command line.

def getCurrentWorkingDirectory(): Option[String] \ Env§ Source

Returns the user's current working directory

def getEnv(): Map[String, String] \ Env§ Source

Returns an map of the current system environment.

def getFileSeparator(): String \ Env§ Source

Returns the file separator

def getLineSeparator(): String \ Env§ Source

Returns the system line separator

def getOsArch(): Option[String] \ Env§ Source

Returns the operating system architecture

def getOsName(): Option[String] \ Env§ Source

Returns the operating system name

def getOsVersion(): Option[String] \ Env§ Source

Returns the operating system version

def getPathSeparator(): String \ Env§ Source

Returns the path separator

def getProp(name: String): Option[String] \ Env§ Source

Returns the system property by name.

def getTemporaryDirectory(): Option[String] \ Env§ Source

Returns the default temp file path

def getUserHomeDirectory(): Option[String] \ Env§ Source

Returns the user's home directory

def getUserName(): Option[String] \ Env§ Source

Returns the user's account name

def getVar(name: String): Option[String] \ Env§ Source

Returns the value of the specified environment variable.

def getVirtualProcessors(): Int32 \ Env§ Source

Returns the number of virtual processors available to the JVM.

The returned value is never less than one.

def handle(f: a -> b \ ef): a -> b \ (ef - Env) + IO§ Source

Handles the Env effect of the given function f.

In other words, re-interprets the Env effect using the IO effect.

@DefaultHandler

def runWithIO(f: Unit -> a \ ef): a \ (ef - Env) + IO§ Source

Runs the Env effect of the given function f.

In other words, re-interprets the Env effect using the IO effect.