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,[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. |
:: 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
|
Generate HTML page string for a given package. |
|
Renders information about a package as HTML description list. |
Vertical placement of HTML expressions.
|
|
|
|
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. |
|