This library contains some operations to generate web pages rendered with Bootstrap version 4.
Author: Michael Hanus
Version: January 2024
bootstrapPage
:: String -> [String] -> [String] -> String -> (String,[BaseHtml]) -> [[BaseHtml]] -> [[BaseHtml]] -> Int -> [BaseHtml] -> [BaseHtml] -> [BaseHtml] -> [BaseHtml] -> HtmlPage
An HTML page rendered with bootstrap with a fixed top navigation bar. |
bootstrapPage2
:: String -> [String] -> [String] -> String -> (String,[BaseHtml]) -> [(String,[BaseHtml])] -> [(String,[BaseHtml])] -> Int -> [BaseHtml] -> [BaseHtml] -> [BaseHtml] -> [BaseHtml] -> HtmlPage
An HTML page rendered with bootstrap with a fixed top navigation bar and individual classes for the top menu items. |
titledSideMenu
:: HTML a => String -> [[a]] -> [a]
Create a side menu containing a title and a list of items: |
primButton
:: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp
Primary input button. |
primSmButton
:: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp
Small primary input button. |
scndButton
:: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp
Secondary input button. |
scndSmButton
:: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp
Small secondary input button. |
infoButton
:: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp
Info input button. |
infoSmButton
:: String -> ((HtmlRef -> String) -> IO HtmlPage) -> HtmlExp
Small info input button. |
hrefPrimButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a primary button. |
hrefPrimSmButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a small primary button. |
hrefScndButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a secondary button. |
hrefScndSmButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a small secondary button. |
hrefInfoButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as an info button. |
hrefInfoSmButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a small secondary button. |
hrefSuccButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a success button. |
hrefSuccSmButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a small success button. |
hrefWarnButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a warning button. |
hrefWarnSmButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a small warning button. |
hrefDangButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a danger button. |
hrefDangSmButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a small danger button. |
hrefLightButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a light button. |
hrefLightSmButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a small light button. |
hrefDarkButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a dark button. |
hrefDarkSmButton
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a small dark button. |
hrefPrimBlock
:: HTML a => String -> [a] -> a
|
hrefScndBlock
:: HTML a => String -> [a] -> a
|
hrefInfoBlock
:: HTML a => String -> [a] -> a
Hypertext reference rendered as an info block button. |
hrefPrimSmBlock
:: HTML a => String -> [a] -> a
|
hrefScndSmBlock
:: HTML a => String -> [a] -> a
|
hrefInfoSmBlock
:: HTML a => String -> [a] -> a
|
hrefPrimBadge
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a primary badge. |
hrefScndBadge
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a secondary badge. |
hrefSuccBadge
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a success badge. |
hrefInfoBadge
:: HTML a => String -> [a] -> a
Hypertext reference rendered as an info badge. |
hrefWarnBadge
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a warning badge. |
hrefDangBadge
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a danger badge. |
hrefLightBadge
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a light badge. |
hrefDarkBadge
:: HTML a => String -> [a] -> a
Hypertext reference rendered as a dark badge. |
ehrefPrimBadge
:: HTML a => String -> [a] -> a
External hypertext reference rendered as a primary badge. |
ehrefScndBadge
:: HTML a => String -> [a] -> a
External hypertext reference rendered as a secondary badge. |
ehrefSuccBadge
:: HTML a => String -> [a] -> a
External hypertext reference rendered as a success badge. |
ehrefInfoBadge
:: HTML a => String -> [a] -> a
External hypertext reference rendered as an info badge. |
ehrefWarnBadge
:: HTML a => String -> [a] -> a
External hypertext reference rendered as a warning badge. |
ehrefDangBadge
:: HTML a => String -> [a] -> a
External hypertext reference rendered as a danger badge. |
ehrefLightBadge
:: HTML a => String -> [a] -> a
External hypertext reference rendered as a light badge. |
ehrefDarkBadge
:: HTML a => String -> [a] -> a
External hypertext reference rendered as a dark badge. |
:: HTML a => String -> [a] -> a
Hypertext reference in navigations. |
:: HTML a => String -> [a] -> a
Active hypertext reference in navigations. |
:: HTML a => String -> [a] -> a
External hypertext reference in navigations. |
ehref
:: HTML a => String -> [a] -> a
An external hypertext reference which opens on a new page. |
eTarget
:: HTML a => a -> a
Transforms a hypertext reference into an external one which opens on a new page. |
kbdInput
:: HTML a => [a] -> a
Render an HTML expression as keyboard or user input. |
staticButton
:: HTML a => [a] -> a
|
stdModal
:: HTML a => Bool -> String -> [a] -> [a] -> [a] -> a
Defining a modal dialog where a modal id, the title, body, and footer HTML expressions are provided. |
modalLaunchPrimButton
:: HTML a => String -> String -> a
A primary button to launch a modal dialog where the modal id and the button text are provided. |
modalClosePrimButton
:: HTML a => String -> a
A primary button to close a modal dialog to be used inside the modal definition. |
scriptShowModal
:: String -> [BaseHtml]
A JavaScript element which can be put at the end of the page body in order to show a modal defined in the page after the page is loaded. |
An HTML page rendered with bootstrap with a fixed top navigation bar.
|
An HTML page rendered with bootstrap with a fixed top navigation bar and individual classes for the top menu items.
|
Create a side menu containing a title and a list of items: |
Primary input button. |
Small primary input button. |
Secondary input button. |
Small secondary input button. |
Info input button. |
Small info input button. |
Hypertext reference rendered as a primary button. |
Hypertext reference rendered as a small primary button. |
Hypertext reference rendered as a secondary button. |
Hypertext reference rendered as a small secondary button. |
Hypertext reference rendered as an info button. |
Hypertext reference rendered as a small secondary button. |
Hypertext reference rendered as a success button. |
Hypertext reference rendered as a small success button. |
Hypertext reference rendered as a warning button. |
Hypertext reference rendered as a small warning button. |
Hypertext reference rendered as a danger button. |
Hypertext reference rendered as a small danger button. |
Hypertext reference rendered as a light button. |
Hypertext reference rendered as a small light button. |
Hypertext reference rendered as a dark button. |
Hypertext reference rendered as a small dark button. |
|
|
Hypertext reference rendered as an info block button. |
|
|
|
Hypertext reference rendered as a primary badge. |
Hypertext reference rendered as a secondary badge. |
Hypertext reference rendered as a success badge. |
Hypertext reference rendered as an info badge. |
Hypertext reference rendered as a warning badge. |
Hypertext reference rendered as a danger badge. |
Hypertext reference rendered as a light badge. |
Hypertext reference rendered as a dark badge. |
External hypertext reference rendered as a primary badge. |
External hypertext reference rendered as a secondary badge. |
External hypertext reference rendered as a success badge. |
External hypertext reference rendered as an info badge. |
External hypertext reference rendered as a warning badge. |
External hypertext reference rendered as a danger badge. |
External hypertext reference rendered as a light badge. |
External hypertext reference rendered as a dark badge. |
Transforms a hypertext reference into an external one
which opens on a new page.
Basically, the attribute |
|
Defining a modal dialog where a modal id, the title, body, and footer
HTML expressions are provided.
If the first argument is |
A primary button to launch a modal dialog where the modal id and the button text are provided. |
A primary button to close a modal dialog to be used inside the modal definition. The argument is the button text. |
A JavaScript element which can be put at the end of the page body in order to show a modal defined in the page after the page is loaded. |