Module CurryDoc.Config

This module contains some configuration parameters for the CurryDoc tool.

Author: Michael Hanus, Jan Tikovsky

Version: February 2023

Summary of exported operations:

currydocVersion :: String  Deterministic 
Version of currydoc
styleBaseURL :: String  Deterministic 
The URL of the base directory containing the styles, images, etc.
currySystemURL :: String  Deterministic 
The URL of the base directory containing the styles, images, etc.
currySystem :: String  Deterministic 
The name of this Curry system.
curryDocURL :: String  Deterministic 
The URL of the Curry Wiki

Exported operations:

currydocVersion :: String  Deterministic 

Version of currydoc

Further infos:
  • solution complete, i.e., able to compute all solutions

styleBaseURL :: String  Deterministic 

The URL of the base directory containing the styles, images, etc.

Further infos:
  • solution complete, i.e., able to compute all solutions

currySystemURL :: String  Deterministic 

The URL of the base directory containing the styles, images, etc.

currySystem :: String  Deterministic 

The name of this Curry system.

curryDocURL :: String  Deterministic 

The URL of the Curry Wiki

Further infos:
  • solution complete, i.e., able to compute all solutions