Module CPM.Package.HTML

This module contains some operations to generate HTML representations of packages.

Summary of exported operations:

packageToHTML :: [[Package]] -> [Package] -> Package -> IO String   
Generate HTML page string for a given package.
getTestResults :: String -> IO (Maybe String)   
manualURL :: Package -> Maybe String   
Manual URL of a package (if specified in package).
packageInfoAsHTML :: [[Package]] -> [Package] -> Package -> Maybe String -> [(String,[HtmlExp])]   
Renders information about a package as HTML description list.
hitems :: [HtmlExp] -> [HtmlExp]   
Horizontal placement of HTML expressions separated by blanks.
vitems :: [HtmlExp] -> [HtmlExp]   
Vertical placement of HTML expressions.
showPkgVersion :: Package -> (Int,Int,Int,Maybe String) -> HtmlExp   
showPkgSource :: Package -> [(String,[HtmlExp])]   
showCompilerReq :: CompilerCompatibility -> HtmlExp   
showConstraintBadge :: String -> HtmlExp   
showURL :: String -> HtmlExp   
cpmPackagePage :: String -> [HtmlExp] -> [[HtmlExp]] -> [HtmlExp] -> IO String   
Standard HTML page for generated package descriptions.
smallMutedText :: String -> HtmlExp   
A small muted text (used in the title):
curryHomeURL :: String   
The URL of the Curry homepage
cpmHomeURL :: String   
The URL of CPM
favIcon :: String -> String   
cssIncludes :: String -> [String]   
jsIncludes :: String -> [String]   
homeBrand :: (String,[HtmlExp])   
leftTopMenu :: Bool -> Int -> [[HtmlExp]]   
The standard left top menu.
rightTopMenu :: [[HtmlExp]]   
The standard right top menu.
curryDocFooter :: CalendarTime -> [HtmlExp]   
borderedTable :: [[[HtmlExp]]] -> HtmlExp   
A bordered table:
borderedHeadedTable :: [[HtmlExp]] -> [[[HtmlExp]]] -> HtmlExp   
A bordered headed table:
headedTable :: [[HtmlExp]] -> [[[HtmlExp]]] -> HtmlExp   
Headed table with a header row and a matrix of items.
strip :: String -> String   

Exported operations:

packageToHTML :: [[Package]] -> [Package] -> Package -> IO String   

Generate HTML page string for a given package.

getTestResults :: String -> IO (Maybe String)   

manualURL :: Package -> Maybe String   

Manual URL of a package (if specified in package).

packageInfoAsHTML :: [[Package]] -> [Package] -> Package -> Maybe String -> [(String,[HtmlExp])]   

Renders information about a package as HTML description list.

hitems :: [HtmlExp] -> [HtmlExp]   

Horizontal placement of HTML expressions separated by blanks.

vitems :: [HtmlExp] -> [HtmlExp]   

Vertical placement of HTML expressions.

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

showPkgVersion :: Package -> (Int,Int,Int,Maybe String) -> HtmlExp   

showPkgSource :: Package -> [(String,[HtmlExp])]   

showConstraintBadge :: String -> HtmlExp   

showURL :: String -> HtmlExp   

cpmPackagePage :: String -> [HtmlExp] -> [[HtmlExp]] -> [HtmlExp] -> IO String   

Standard HTML page for generated package descriptions.

smallMutedText :: String -> HtmlExp   

A small muted text (used in the title):

curryHomeURL :: String   

The URL of the Curry homepage

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

cpmHomeURL :: String   

The URL of CPM

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

favIcon :: String -> String   

cssIncludes :: String -> [String]   

jsIncludes :: String -> [String]   

homeBrand :: (String,[HtmlExp])   

leftTopMenu :: Bool -> Int -> [[HtmlExp]]   

The standard left top menu. The first argument is true if we are inside a package documentation. The second argument indicates the index of the active link (negative value = no active link)

rightTopMenu :: [[HtmlExp]]   

The standard right top menu.

borderedTable :: [[[HtmlExp]]] -> HtmlExp   

A bordered table:

borderedHeadedTable :: [[HtmlExp]] -> [[[HtmlExp]]] -> HtmlExp   

A bordered headed table:

headedTable :: [[HtmlExp]] -> [[[HtmlExp]]] -> HtmlExp   

Headed table with a header row and a matrix of items. Each item is a list of HTML expressions.

strip :: String -> String