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

Exported operations:

curryCompiler :: String   

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

Further infos:
  • externally defined

curryCompilerMajorVersion :: Int   

The major version number of the Curry compiler.

Further infos:
  • externally defined

curryCompilerMinorVersion :: Int   

The minor version number of the Curry compiler.

Further infos:
  • externally defined

curryCompilerRevisionVersion :: Int   

The revision version number of the Curry compiler.

Further infos:
  • externally defined

curryRuntime :: String   

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

Further infos:
  • externally defined

curryRuntimeMajorVersion :: Int   

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

Further infos:
  • externally defined

curryRuntimeMinorVersion :: Int   

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

Further infos:
  • externally defined

baseVersion :: String   

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

Further infos:
  • externally defined

installDir :: String   

Path of the main installation directory of the Curry compiler.

Further infos:
  • externally defined

rcFileName :: IO String   

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