Module Language.Curry.Resources

Definition of various URLs to resources related to Curry, like the Curry home page, the documentation site for packages, etc. These URLs can be used in Curry applications which generate documentations related to Curry, e.g., program documentations (CurryDoc), package descriptions, etc.

Summary of exported operations:

curryHomeURL :: String  Deterministic 
The URL of the home page of Curry.
cpmHomeURL :: String  Deterministic 
The URL of the home page of CPM containing a description and some documentation about CPM.
curryPackagesURL :: String  Deterministic 
The URL of the documentation of all published packages.
curryPackageBaseURL :: String  Deterministic 
The base URL of the documentation of individual published packages.
curryPackageLatestURL :: String -> String  Deterministic 
The URL of the documentation of the latest version of a published package where the name is given as the argument.
curryPackageURL :: String -> String -> String  Deterministic 
The URL of the documentation of a published package where the name and version are given as the argument, e.g., the expression curryPackageURL "flatcurry" "3.0.0" evaluates to the URL of package flatcurry in version 3.0.0.
baseLibsURL :: String  Deterministic 
The URL of the documentation of the latest version of the base libraries of Curry systems.
curryPackagesDocURL :: String  Deterministic 
The base URL of API documentations of published packages.
curryPackageDocURL :: String -> String -> String  Deterministic 
The URL of the API documentation of a package where the name and version are given as the arguments, e.g., curryPackageDocURL "flatcurry" "3.0.0".
currygleURL :: String  Deterministic 
The URL of the API search engine.
curryWikiURL :: String  Deterministic 
The URL of the Curry Wiki.
pakcsURL :: String  Deterministic 
The home page of the Curry system PAKCS.
kics2URL :: String  Deterministic 
The home page of the Curry system KiCS2.
curry2goURL :: String  Deterministic 
The home page of the Curry system Curry2Go.

Exported operations:

curryHomeURL :: String  Deterministic 

The URL of the home page of Curry.

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

cpmHomeURL :: String  Deterministic 

The URL of the home page of CPM containing a description and some documentation about CPM.

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

curryPackagesURL :: String  Deterministic 

The URL of the documentation of all published packages. It contains the overview and index of all published Curry packages.

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

curryPackageBaseURL :: String  Deterministic 

The base URL of the documentation of individual published packages.

The description of the latest version of a package with name pn can can be found at 

curryPackageBaseURL ++ pn ++ ".html"

The description of a package with name pn and version pv can can be found at 

curryPackageBaseURL ++ pn ++ "-" ++ pv ++ ".html"

See also operations curryPackageLatestURL and curryPackageURL.

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

curryPackageLatestURL :: String -> String  Deterministic 

The URL of the documentation of the latest version of a published package where the name is given as the argument.

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

curryPackageURL :: String -> String -> String  Deterministic 

The URL of the documentation of a published package where the name and version are given as the argument, e.g., the expression curryPackageURL "flatcurry" "3.0.0" evaluates to the URL of package flatcurry in version 3.0.0.

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

baseLibsURL :: String  Deterministic 

The URL of the documentation of the latest version of the base libraries of Curry systems.

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

curryPackagesDocURL :: String  Deterministic 

The base URL of API documentations of published packages. The actual API documentation of a package with name pn and version pv can be found at 

cpmPackagesDocURL ++ pn ++ "-" ++ pv

See also operation curryPackageDocURL.

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

curryPackageDocURL :: String -> String -> String  Deterministic 

The URL of the API documentation of a package where the name and version are given as the arguments, e.g., curryPackageDocURL "flatcurry" "3.0.0".

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

currygleURL :: String  Deterministic 

The URL of the API search engine.

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

curryWikiURL :: String  Deterministic 

The URL of the Curry Wiki.

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

pakcsURL :: String  Deterministic 

The home page of the Curry system PAKCS.

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

kics2URL :: String  Deterministic 

The home page of the Curry system KiCS2.

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

curry2goURL :: String  Deterministic 

The home page of the Curry system Curry2Go.

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