Module HTML.Styles.Bootstrap3

This library contains some operations to generate web pages rendered with Bootstrap

Author
Michael Hanus
Version
September 2020

Exported Functions: bootstrapPage, defaultButton, glyphicon, homeIcon, hrefBlock, hrefButton, hrefDangerButton, hrefDefaultButton, hrefInfoBlock, hrefInfoButton, hrefPrimButton, hrefSmallButton, hrefSuccessButton, hrefWarningButton, loginIcon, logoutIcon, primButton, smallButton, titledSideMenu, userIcon


Exported Functions


bootstrapPage :: String -> [String] -> String -> (String, [BaseHtml]) -> [[BaseHtml]] -> [[BaseHtml]] -> Int -> [BaseHtml] -> [BaseHtml] -> [BaseHtml] -> [BaseHtml] -> HtmlPage  Deterministic 

An HTML page rendered with bootstrap. @lefttopmenu - the menu shown in the left side of the top navigation bar @righttopmenu - the menu shown in the right side of the top navigation bar (could be empty)

:: String  the root directory to find styles, fonts, scripts (in subdirectories css, fonts, js) and the favicon.ico of the root) and images (in subdirectory img of the root)
-> [String]  the style files to be included (typically, bootstrap and bootstrap-responsive), stored in rootdir/css with suffix .css)
-> String  the title of the form
-> (String, [BaseHtml])  number of columns for the left-side menu (if columns==0, then the left-side menu is omitted)
-> [[BaseHtml]]  the menu shown at the left-side of the main document (maybe created with titledSideMenu)
-> [[BaseHtml]]  the main header (rendered with jumbotron style)
-> Int  the main contents of the document
-> [BaseHtml]  the footer of the document
-> [BaseHtml] 
-> [BaseHtml] 
-> [BaseHtml] 
-> HtmlPage 

titledSideMenu :: HTML a => String -> [[a]] -> [a]  Deterministic 


defaultButton :: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp  Non-deterministic 

Default input button.


smallButton :: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp  Non-deterministic 

Small input button.


primButton :: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp  Non-deterministic 

Primary input button.


hrefDefaultButton :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as a default button.


hrefSmallButton :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as a small button.


hrefButton :: HTML a => String -> [a] -> a  Deterministic 


hrefPrimButton :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as a primary button.


hrefInfoButton :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as an info button.


hrefSuccessButton :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as a success button.


hrefWarningButton :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as a warning button.


hrefDangerButton :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as a danger button.


hrefBlock :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as a block level button.


hrefInfoBlock :: HTML a => String -> [a] -> a  Deterministic 

Hypertext reference rendered as an info block level button.


glyphicon :: HTML a => String -> a  Deterministic 


homeIcon :: HTML a => a  Deterministic 


userIcon :: HTML a => a  Deterministic 


loginIcon :: HTML a => a  Deterministic 


logoutIcon :: HTML a => a  Deterministic