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.
The URL of the home page of Curry.
The URL of Masala, the web-based system to upload and publish Curry packages.
cpmHomeURL
:: String
The URL of the home page of CPM containing a description and some documentation about CPM.
The URL of the documentation of all published packages. It contains the overview and index of all published Curry packages.
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.
curryPackageLatestURL
:: String -> String
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
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
.
The URL of the documentation of the latest version of the base libraries of Curry systems.
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.
curryPackageDocURL
:: String -> String -> String
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"
.
The URL of the API search engine.
The URL of the Curry Wiki.
The home page of the Curry system PAKCS.
The home page of the Curry system KiCS2.
The home page of the Curry system Curry2Go.