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,[BaseHtml])]   
Renders information about a package as HTML description list.
hitems :: [BaseHtml] -> [BaseHtml]   
Horizontal placement of HTML expressions separated by blanks.
vitems :: [BaseHtml] -> [BaseHtml]   
Vertical placement of HTML expressions.
showPkgVersion :: Package -> (Int,Int,Int,Maybe String) -> BaseHtml   
showPkgSource :: Package -> [(String,[BaseHtml])]   
showCompilerReq :: CompilerCompatibility -> BaseHtml   
showConstraintBadge :: String -> BaseHtml   
showURL :: String -> BaseHtml   
cpmPackagePage :: String -> [BaseHtml] -> [[BaseHtml]] -> [BaseHtml] -> IO String   
Standard HTML page for generated package descriptions.
smallMutedText :: String -> BaseHtml   
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,[BaseHtml])   
leftTopMenu :: Bool -> Int -> [[BaseHtml]]   
The standard left top menu.
rightTopMenu :: [[BaseHtml]]   
The standard right top menu.
curryDocFooter :: CalendarTime -> [BaseHtml]   
borderedTable :: [[[BaseHtml]]] -> BaseHtml   
A bordered table:
borderedHeadedTable :: [[BaseHtml]] -> [[[BaseHtml]]] -> BaseHtml   
A bordered headed table:
headedTable :: [[BaseHtml]] -> [[[BaseHtml]]] -> BaseHtml   
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,[BaseHtml])]   

Renders information about a package as HTML description list.

hitems :: [BaseHtml] -> [BaseHtml]   

Horizontal placement of HTML expressions separated by blanks.

vitems :: [BaseHtml] -> [BaseHtml]   

Vertical placement of HTML expressions.

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

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

showConstraintBadge :: String -> BaseHtml   

showURL :: String -> BaseHtml   

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

Standard HTML page for generated package descriptions.

smallMutedText :: String -> BaseHtml   

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,[BaseHtml])   

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

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 :: [[BaseHtml]]   

The standard right top menu.

borderedTable :: [[[BaseHtml]]] -> BaseHtml   

A bordered table:

borderedHeadedTable :: [[BaseHtml]] -> [[[BaseHtml]]] -> BaseHtml   

A bordered headed table:

headedTable :: [[BaseHtml]] -> [[[BaseHtml]]] -> BaseHtml   

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

strip :: String -> String