Module CurryDoc.Config

This module contains some configuration parameters for the CurryDoc tool.

Author: Michael Hanus, Jan Tikovsky

Version: May 2018

Summary of exported operations:

currydocVersion :: String   
Version of currydoc
styleBaseURL :: String   
The URL of the base directory containing the styles, images, etc.
currySystemURL :: String   
The URL of the base directory containing the styles, images, etc.
currySystem :: String   
The name of this Curry system.
currygleURL :: String   
The URL of the API search
curryHomeURL :: String   
The URL of the Curry homepage

Exported operations:

currydocVersion :: String   

Version of currydoc

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

styleBaseURL :: String   

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

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

currySystemURL :: String   

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

currySystem :: String   

The name of this Curry system.

currygleURL :: String   

The URL of the API search

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

curryHomeURL :: String   

The URL of the Curry homepage

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