Generate the main page with the default documentation style.
|
Operations to generate documentation in HTML format.
Author: Michael Hanus, Jan Tikovsky
Version: February 2023
generateHtmlDocs
:: DocOptions -> AnaInfo -> String -> String -> [(SourceLine,String)] -> IO String
|
attachProperties2Funcs
:: [CFuncDecl] -> [(SourceLine,String)] -> [(String,[(FuncAttachment,String,[BaseHtml])])]
|
docComment2HTML
:: DocOptions -> String -> [BaseHtml]
Translate a documentation comment to HTML and use markdown translation if necessary |
replaceIdLinks
:: DocOptions -> String -> String
|
genHtmlExportIndex
:: [String] -> [String] -> [String] -> [String] -> BaseHtml
|
tName
:: CTypeDecl -> String
|
fName
:: CFuncDecl -> String
|
cName
:: CConsDecl -> String
|
fldName
:: CFieldDecl -> String
|
isExportedType
:: CTypeDecl -> Bool
|
isExportedCons
:: CConsDecl -> Bool
|
isExportedFun
:: CFuncDecl -> Bool
|
isExportedField
:: CFieldDecl -> Bool
|
getExportedCons
:: [CTypeDecl] -> [String]
|
getExportedFields
:: [CTypeDecl] -> [String]
|
isProperty
:: CFuncDecl -> Bool
|
isSpecFunc
:: CFuncDecl -> Bool
|
genHtmlModule
:: DocOptions -> String -> [BaseHtml]
generate HTML documentation for a module: |
ulistOrEmpty
:: [[BaseHtml]] -> [BaseHtml]
|
ifNotNull
:: [a] -> ([a] -> [b]) -> [b]
|
genHtmlType
:: DocOptions -> [(SourceLine,String)] -> CTypeDecl -> [BaseHtml]
generate HTML documentation for a datatype if it is exported: |
genHtmlCons
:: DocOptions -> [(String,String)] -> String -> [(Int,String)] -> [(String,String)] -> CConsDecl -> [BaseHtml]
generate HTML documentation for a constructor if it is exported: |
genHtmlField
:: DocOptions -> [String] -> String -> [(String,String)] -> CFieldDecl -> [BaseHtml]
|
genHtmlFuncShort
:: DocOptions -> [(SourceLine,String)] -> AnaInfo -> CFuncDecl -> [[BaseHtml]]
|
genHtmlFunc
:: DocOptions -> String -> [(SourceLine,String)] -> [(String,[(FuncAttachment,String,[BaseHtml])])] -> AnaInfo -> [COpDecl] -> CFuncDecl -> BaseHtml
|
removeDash
:: String -> String
|
removeTopPar
:: [BaseHtml] -> [BaseHtml]
|
genFuncPropIcons
:: AnaInfo -> (String,String) -> [BaseHtml]
Generates icons for particular properties of functions. |
genFuncPropComments
:: AnaInfo -> (String,String) -> [CRule] -> [COpDecl] -> [[BaseHtml]]
Generates further textual infos about particular properties of a function. |
genFixityInfo
:: (String,String) -> [COpDecl] -> [BaseHtml]
Generates a comment about the associativity and precedence if the name is defined as an infix operator. |
showQualType
:: DocOptions -> String -> CQualTypeExpr -> String
|
showContext
:: DocOptions -> String -> CContext -> String
|
showConstraint
:: DocOptions -> String -> ((String,String),CTypeExpr) -> String
Pretty-print a single class constraint. |
showType
:: DocOptions -> String -> Bool -> CTypeExpr -> String
|
showTConsType
:: DocOptions -> String -> Bool -> (String,String) -> [CTypeExpr] -> String
|
showTypeCons
:: DocOptions -> String -> (String,String) -> String
|
urlOfEntity
:: DocOptions -> String -> (String,String) -> String
|
translateSource2ColoredHtml
:: String -> String -> IO ()
|
translateSource2AnchoredHtml
:: String -> String -> IO ()
|
addFuncAnchors
:: [String] -> [String] -> String
|
genMainIndexPage
:: DocOptions -> String -> [String] -> IO ()
|
allConsFuncsMenu
:: [[BaseHtml]]
|
indexPage
:: [String] -> [BaseHtml]
|
explainIcons
:: BaseHtml
|
genFunctionIndexPage
:: (String,[BaseHtml]) -> DocOptions -> String -> [FuncDecl] -> IO ()
|
htmlFuncIndex
:: DocOptions -> [(String,String)] -> [BaseHtml]
|
showModNameRef
:: DocOptions -> (String,String) -> (String,[BaseHtml])
|
sortNames
:: [(a,String)] -> [(a,String)]
|
genConsIndexPage
:: (String,[BaseHtml]) -> DocOptions -> String -> [TypeDecl] -> IO ()
|
htmlConsIndex
:: DocOptions -> [(String,String)] -> [BaseHtml]
|
genSystemLibsPage
:: String -> [Category] -> [[(Category,String,String)]] -> IO ()
|
syslibsLeftTopMenu
:: [[BaseHtml]]
|
syslibsRightTopMenu
:: [[BaseHtml]]
|
syslibsSideMenu
:: [Category] -> [BaseHtml]
|
infoTxt
:: BaseHtml
|
genCatLink
:: Category -> String
|
genHtmlLibCats
:: [[(Category,String,String)]] -> [BaseHtml]
|
genHtmlLibCat
:: [(Category,String,String)] -> [BaseHtml]
|
mainPage
:: (String,[BaseHtml]) -> String -> [BaseHtml] -> [[BaseHtml]] -> [[BaseHtml]] -> [BaseHtml] -> [BaseHtml] -> IO String
Generate the main page with the default documentation style. |
favIcon
:: String
|
cssIncludes
:: [String]
|
jsIncludes
:: [String]
|
showPageWithDocStyle
:: String -> [BaseHtml] -> String
Generate a page with the default documentation style. |
rightTopMenu
:: [[BaseHtml]]
The standard right top menu. |
detIcon
:: BaseHtml
|
nondetIcon
:: BaseHtml
|
addTitle
:: BaseHtml -> String -> BaseHtml
|
:: CalendarTime -> [BaseHtml]
|
curryHomeItem
:: [BaseHtml]
|
simplePage
:: (String,[BaseHtml]) -> String -> Maybe [BaseHtml] -> [[BaseHtml]] -> [BaseHtml] -> IO String
Generate a simple page with the default documentation style. |
anchoredSection
:: String -> [BaseHtml] -> BaseHtml
An anchored section in the document: |
anchored
:: String -> [BaseHtml] -> BaseHtml
An anchored element in the document: |
anchoredDiv
:: String -> [BaseHtml] -> BaseHtml
An anchored element in the document: |
borderedTable
:: [[[BaseHtml]]] -> BaseHtml
A bordered table: |
ehref
:: String -> [BaseHtml] -> BaseHtml
An external reference |
leqList
:: Eq a => (a -> a -> Bool) -> [a] -> [a] -> Bool
Less-or-equal on lists. |
leqCharIgnoreCase
:: Char -> Char -> Bool
Less-or-equal on characters ignoring case considerations. |
leqStringIgnoreCase
:: String -> String -> Bool
Less-or-equal on strings ignoring case considerations. |
stripSpaces
:: String -> String
|
explainCat
:: String -> BaseHtml
|
opnameDoc
:: [BaseHtml] -> BaseHtml
|
sortStrings
:: [String] -> [String]
|
firstSentence
:: String -> String
|
firstPassage
:: String -> String
|
Constructors:
Property
:: FuncAttachment
PreCond
:: FuncAttachment
PostCond
:: FuncAttachment
SpecFun
:: FuncAttachment
|
|
Translate a documentation comment to HTML and use markdown translation if necessary
|
|
|
|
|
|
|
|
|
|
|
|
generate HTML documentation for a module: |
|
|
generate HTML documentation for a datatype if it is exported: |
generate HTML documentation for a constructor if it is exported: |
|
|
|
|
|
Generates icons for particular properties of functions. |
Generates further textual infos about particular properties of a function. The result is a list of HTML expressions to be formatted (if not empty) as some HTML list. |
Generates a comment about the associativity and precedence if the name is defined as an infix operator. |
|
|
Pretty-print a single class constraint. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Generate the main page with the default documentation style.
|
|
|
|
Generate a page with the default documentation style.
|
The standard right top menu. |
|
|
Generate a simple page with the default documentation style.
|
An anchored section in the document: |
An anchored element in the document: |
A bordered table: |
Less-or-equal on lists. |
Less-or-equal on characters ignoring case considerations. |
Less-or-equal on strings ignoring case considerations. |
|
|
|
|
|