CurryInfo: currydoc-4.0.0 / CurryDoc.Html.mainPage

 
mainPage :: (String,[BaseHtml]) -> String -> [BaseHtml] -> [[BaseHtml]]
         -> [[BaseHtml]] -> [BaseHtml] -> [BaseHtml] -> IO String
mainPage homeref title htmltitle lefttopmenu righttopmenu sidemenu maindoc = do
    time <- getLocalTime
    return $ showHtmlPage $
      bootstrapPage favIcon cssIncludes jsIncludes title homeref
                    lefttopmenu righttopmenu 3 sidemenu htmltitle maindoc
                    (curryDocFooter time)

 no demanded arguments

 deterministic operation

 
Generate the main page with the default documentation style.
@param title - the title of the page
@param htmltitle - the title in HTML format (shown as h1)
@param lefttopmenu - the menu shown at left of the top
@param righttopmenu - the menu shown at right of the top
@param sidemenu - the menu shown at the left-hand side
@param maindoc - the main contents of the page

 referentially transparent operation

 no fixity defined

 {(_,_,_,_,_,_,_) |-> _}

 mainPage

 no precedence defined

 _

 (String, [HTML.Base.BaseHtml]) -> String -> [HTML.Base.BaseHtml]
-> [[HTML.Base.BaseHtml]] -> [[HTML.Base.BaseHtml]] -> [HTML.Base.BaseHtml]
-> [HTML.Base.BaseHtml] -> Prelude.IO String

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term