Module HTML.Styles.Bootstrap3

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

Author: Michael Hanus

Version: September 2020

Summary of exported operations:

bootstrapPage :: String -> [String] -> String -> (String,[BaseHtml]) -> [[BaseHtml]] -> [[BaseHtml]] -> Int -> [BaseHtml] -> [BaseHtml] -> [BaseHtml] -> [BaseHtml] -> HtmlPage  Deterministic 
An HTML page rendered with bootstrap.
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 

Exported operations:

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

An HTML page rendered with bootstrap.

Example call:
(bootstrapPage rootdir styles title columns sidemenu header contents footer)
Parameters:
  • rootdir : 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)
  • styles : the style files to be included (typically, bootstrap and bootstrap-responsive), stored in rootdir/css with suffix .css)
  • title : the title of the form
  • columns : number of columns for the left-side menu (if columns==0, then the left-side menu is omitted)
  • sidemenu : the menu shown at the left-side of the main document (maybe created with titledSideMenu)
  • header : the main header (rendered with jumbotron style)
  • contents : the main contents of the document
  • footer : the footer of the document

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