Environment
eff EnvironmentSourceOperations
def getArgs(): List[String]
SourceReturns the arguments passed to the program via the command line.
def getCurrentWorkingDirectory(): Option[String]
SourceReturns the user's current working directory
def getEnv(): Map[String, String]
SourceReturns an map of the current system environment.
def getFileSeparator(): String
SourceReturns the file separator
def getLineSeparator(): String
SourceReturns the system line separator
def getOsArch(): Option[String]
SourceReturns the operating system architecture
def getOsName(): Option[String]
SourceReturns the operating system name
def getOsVersion(): Option[String]
SourceReturns the operating system version
def getPathSeparator(): String
SourceReturns the path separator
def getProp(name: String): Option[String]
SourceReturns the system property by name.
def getTemporaryDirectory(): Option[String]
SourceReturns the default temp file path
def getUserHomeDirectory(): Option[String]
SourceReturns the user's home directory
def getUserName(): Option[String]
SourceReturns the user's account name
def getVar(name: String): Option[String]
SourceReturns the value of the specified environment variable.
def getVirtualProcessors(): Int32
SourceReturns the number of virtual processors available to the JVM.
The returned value is never less than one.
Definitions
def handle(f: a -> b \ ef): a -> b \ (ef - Environment) + Sys + IO
SourceHandles the Environment effect of the given function f.
In other words, re-interprets the Environment effect using the Sys and IO effects.