Module Language.Curry.Distribution

This module contains definition of constants to obtain information concerning the current distribution of the Curry implementation, e.g., compiler version, run-time version, installation directory.

Author: Michael Hanus

Version: December 2018

Summary of exported operations:

curryCompiler :: String  Deterministic 
The name of the Curry compiler (e.g., "pakcs" or "kics2").
curryCompilerMajorVersion :: Int  Deterministic 
The major version number of the Curry compiler.
curryCompilerMinorVersion :: Int  Deterministic 
The minor version number of the Curry compiler.
curryCompilerRevisionVersion :: Int  Deterministic 
The revision version number of the Curry compiler.
curryRuntime :: String  Deterministic 
The name of the run-time environment (e.g., "sicstus", "swi", or "ghc")
curryRuntimeMajorVersion :: Int  Deterministic 
The major version number of the Curry run-time environment.
curryRuntimeMinorVersion :: Int  Deterministic 
The minor version number of the Curry run-time environment.
baseVersion :: String  Deterministic 
The version number of the base libraries (e.g., "1.0.5").
installDir :: String  Deterministic 
Path of the main installation directory of the Curry compiler.
rcFileName :: IO String  Deterministic 
The name of the file specifying configuration parameters of the current distribution.

Exported operations:

curryCompiler :: String  Deterministic 

The name of the Curry compiler (e.g., "pakcs" or "kics2").

Further infos:
  • externally defined

curryCompilerMajorVersion :: Int  Deterministic 

The major version number of the Curry compiler.

Further infos:
  • externally defined

curryCompilerMinorVersion :: Int  Deterministic 

The minor version number of the Curry compiler.

Further infos:
  • externally defined

curryCompilerRevisionVersion :: Int  Deterministic 

The revision version number of the Curry compiler.

Further infos:
  • externally defined

curryRuntime :: String  Deterministic 

The name of the run-time environment (e.g., "sicstus", "swi", or "ghc")

Further infos:
  • externally defined

curryRuntimeMajorVersion :: Int  Deterministic 

The major version number of the Curry run-time environment.

Further infos:
  • externally defined

curryRuntimeMinorVersion :: Int  Deterministic 

The minor version number of the Curry run-time environment.

Further infos:
  • externally defined

baseVersion :: String  Deterministic 

The version number of the base libraries (e.g., "1.0.5").

Further infos:
  • externally defined

installDir :: String  Deterministic 

Path of the main installation directory of the Curry compiler.

Further infos:
  • externally defined

rcFileName :: IO String  Deterministic 

The name of the file specifying configuration parameters of the current distribution. This file must have the usual format of property files.