Module System.Environment

This package provides compatible definitions for Haskell 2010's System.Environment but mostly they do not translate to a Java environment.

getEnv can be made to work once it is wired into how main is executed (it's currently a stub and will be updated after Ingo has completed a rewrite of main / runMain).

getProgName really has no equivalent in the Java world since it is based on the UNIX idea of an executable name or the symbolic link to an executable. For now it arbitrarily returns an empty string (returning "java" or "java.exe" would be just as (in)accurate).

getEnv is specified to fail with System.IO.Error.isDoesNotExistError if no such environment variable exists, but Frege uses Java exceptions so instead we throw an IllegalArgumentException. Using the underlying (Java) System.getenv is recommended since that returns Maybe String instead

Imports

• import Java.Lang as Lang
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.util.Regex as Regexp

Table of Content

• Definitions

  getArgs ∷ IO [String]

  getProgName ∷ IO String

  getEnv ∷ String → IO String

• Functions and Values by Type

Definitions

getArgs ∷ IO [String]

getProgName ∷ IO String

getEnv ∷ String → IO String

Functions and Values by Type

String → IO String

getEnv

IO String

getProgName

IO [String]

getArgs