Module HTML.Styles.Bootstrap3

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

Author: Michael Hanus

Version: October 2019

Summary of exported operations:

bootstrapPage :: String -> [String] -> String -> (String,[HtmlExp]) -> [[HtmlExp]] -> [[HtmlExp]] -> Int -> [HtmlExp] -> [HtmlExp] -> [HtmlExp] -> [HtmlExp] -> HtmlPage   
An HTML page rendered with bootstrap.
titledSideMenu :: String -> [[HtmlExp]] -> [HtmlExp]   
defaultButton :: String -> ((CgiRef -> String) -> IO HtmlPage) -> HtmlExp   
Default input button.
smallButton :: String -> ((CgiRef -> String) -> IO HtmlPage) -> HtmlExp   
Small input button.
primButton :: String -> ((CgiRef -> String) -> IO HtmlPage) -> HtmlExp   
Primary input button.
hrefDefaultButton :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as a default button.
hrefSmallButton :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as a small button.
hrefButton :: String -> [HtmlExp] -> HtmlExp   
hrefPrimButton :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as a primary button.
hrefInfoButton :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as an info button.
hrefSuccessButton :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as a success button.
hrefWarningButton :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as a warning button.
hrefDangerButton :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as a danger button.
hrefBlock :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as a block level button.
hrefInfoBlock :: String -> [HtmlExp] -> HtmlExp   
Hypertext reference rendered as an info block level button.
glyphicon :: String -> HtmlExp   
homeIcon :: HtmlExp   
userIcon :: HtmlExp   
loginIcon :: HtmlExp   
logoutIcon :: HtmlExp   

Exported operations:

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

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 :: String -> [[HtmlExp]] -> [HtmlExp]   

defaultButton :: String -> ((CgiRef -> String) -> IO HtmlPage) -> HtmlExp   

Default input button.

smallButton :: String -> ((CgiRef -> String) -> IO HtmlPage) -> HtmlExp   

Small input button.

primButton :: String -> ((CgiRef -> String) -> IO HtmlPage) -> HtmlExp   

Primary input button.

hrefDefaultButton :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as a default button.

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefSmallButton :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as a small button.

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefButton :: String -> [HtmlExp] -> HtmlExp   

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefPrimButton :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as a primary button.

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefInfoButton :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as an info button.

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefSuccessButton :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as a success button.

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefWarningButton :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as a warning button.

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefDangerButton :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as a danger button.

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefBlock :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as a block level button.

Further infos:
  • solution complete, i.e., able to compute all solutions

hrefInfoBlock :: String -> [HtmlExp] -> HtmlExp   

Hypertext reference rendered as an info block level button.

Further infos:
  • solution complete, i.e., able to compute all solutions

glyphicon :: String -> HtmlExp   

homeIcon :: HtmlExp   

userIcon :: HtmlExp   

loginIcon :: HtmlExp   

logoutIcon :: HtmlExp