Module CPM.Manage.Config

Some configurations used by cpm-manage.

Author: Michael Hanus

Version: April 2025

Summary of exported operations:

curryInfoHtmlBase :: IO String  Deterministic 
The base directory of the CurryInfo HTML pages.
curryInfoHtmlURL :: String  Deterministic 
The base URL of the CurryInfo HTML pages.
cpmManageFooter :: CalendarTime -> [BaseHtml]  Deterministic 

Exported operations:

curryInfoHtmlBase :: IO String  Deterministic 

The base directory of the CurryInfo HTML pages.

curryInfoHtmlURL :: String  Deterministic 

The base URL of the CurryInfo HTML pages.

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