This module contains some operations to generate HTML representations of packages.
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. |
:: 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
|
Generate HTML page string for a given package. |
|
Renders information about a package as HTML description list. |
|
|
|
Standard HTML page for generated package descriptions. |
A small muted text (used in the title): |
The URL of the Curry homepage
|
The URL of CPM
|
|
|
|
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) |
The standard right top menu. |
A bordered table: |
A bordered headed table: |
Headed table with a header row and a matrix of items. Each item is a list of HTML expressions. |
|