Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all operations
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
A
addAttr
(
HTML.Base
)
addAttrs
(
HTML.Base
)
addClass
(
HTML.Base
)
addCookies
(
HTML.Base
)
addHttpHeader
(
HTML.Base
)
addPageParam
(
HTML.Base
)
address
(
HTML.Base
)
anchor
(
HTML.Base
)
answerEncText
(
HTML.Base
)
answerText
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
B
blink
(
HTML.Base
)
block
(
HTML.Base
)
blockstyle
(
HTML.Base
)
bold
(
HTML.Base
)
bootstrapPage
(
HTML.Styles.Bootstrap3
)
bootstrapPage
(
HTML.Styles.Bootstrap4
)
bootstrapPage2
(
HTML.Styles.Bootstrap4
)
breakline
(
HTML.Base
)
button
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
C
categorizeByItemKey
(
HTML.CategorizedList
)
center
(
HTML.Base
)
checkBox
(
HTML.Base
)
checkedBox
(
HTML.Base
)
code
(
HTML.Base
)
coordinates
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
D
defaultButton
(
HTML.Styles.Bootstrap3
)
defaultEncoding
(
HTML.Base
)
dlist
(
HTML.Base
)
doesSessionExist
(
HTML.Session
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
E
ehref
(
HTML.Styles.Bootstrap4
)
ehrefDangBadge
(
HTML.Styles.Bootstrap4
)
ehrefDarkBadge
(
HTML.Styles.Bootstrap4
)
ehrefInfoBadge
(
HTML.Styles.Bootstrap4
)
ehrefLightBadge
(
HTML.Styles.Bootstrap4
)
ehrefNav
(
HTML.Styles.Bootstrap4
)
ehrefPrimBadge
(
HTML.Styles.Bootstrap4
)
ehrefScndBadge
(
HTML.Styles.Bootstrap4
)
ehrefSuccBadge
(
HTML.Styles.Bootstrap4
)
ehrefWarnBadge
(
HTML.Styles.Bootstrap4
)
emphasize
(
HTML.Base
)
emptySessionStore
(
HTML.Session
)
eTarget
(
HTML.Styles.Bootstrap4
)
expires
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
F
footer
(
HTML.Base
)
formatCookie
(
HTML.Base
)
formDef
(
HTML.Base
)
formDefId
(
HTML.Base
)
formDefRead
(
HTML.Base
)
formDefView
(
HTML.Base
)
formDefWithID
(
HTML.Base
)
formElem
(
HTML.Base
)
fromFormReader
(
HTML.Base
)
fromHtmlExp
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
G
germanLatexDoc
(
HTML.LaTeX
)
getCookies
(
HTML.Base
)
getSessionData
(
HTML.Session
)
getSessionMaybeData
(
HTML.Session
)
getUrlParameter
(
HTML.Base
)
glyphicon
(
HTML.Styles.Bootstrap3
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
H
h1
(
HTML.Base
)
h2
(
HTML.Base
)
h3
(
HTML.Base
)
h4
(
HTML.Base
)
h5
(
HTML.Base
)
h6
(
HTML.Base
)
headedTable
(
HTML.Base
)
header
(
HTML.Base
)
headerPage
(
HTML.Base
)
hempty
(
HTML.Base
)
hiddenField
(
HTML.Base
)
homeIcon
(
HTML.Styles.Bootstrap3
)
href
(
HTML.Base
)
hrefBlock
(
HTML.Styles.Bootstrap3
)
hrefButton
(
HTML.Styles.Bootstrap3
)
hrefDangBadge
(
HTML.Styles.Bootstrap4
)
hrefDangButton
(
HTML.Styles.Bootstrap4
)
hrefDangerButton
(
HTML.Styles.Bootstrap3
)
hrefDangSmButton
(
HTML.Styles.Bootstrap4
)
hrefDarkBadge
(
HTML.Styles.Bootstrap4
)
hrefDarkButton
(
HTML.Styles.Bootstrap4
)
hrefDarkSmButton
(
HTML.Styles.Bootstrap4
)
hrefDefaultButton
(
HTML.Styles.Bootstrap3
)
hrefInfoBadge
(
HTML.Styles.Bootstrap4
)
hrefInfoBlock
(
HTML.Styles.Bootstrap3
)
hrefInfoBlock
(
HTML.Styles.Bootstrap4
)
hrefInfoButton
(
HTML.Styles.Bootstrap3
)
hrefInfoButton
(
HTML.Styles.Bootstrap4
)
hrefInfoSmBlock
(
HTML.Styles.Bootstrap4
)
hrefInfoSmButton
(
HTML.Styles.Bootstrap4
)
hrefLightBadge
(
HTML.Styles.Bootstrap4
)
hrefLightButton
(
HTML.Styles.Bootstrap4
)
hrefLightSmButton
(
HTML.Styles.Bootstrap4
)
hrefNav
(
HTML.Styles.Bootstrap4
)
hrefNavActive
(
HTML.Styles.Bootstrap4
)
hrefPrimBadge
(
HTML.Styles.Bootstrap4
)
hrefPrimBlock
(
HTML.Styles.Bootstrap4
)
hrefPrimButton
(
HTML.Styles.Bootstrap3
)
hrefPrimButton
(
HTML.Styles.Bootstrap4
)
hrefPrimSmBlock
(
HTML.Styles.Bootstrap4
)
hrefPrimSmButton
(
HTML.Styles.Bootstrap4
)
hrefScndBadge
(
HTML.Styles.Bootstrap4
)
hrefScndBlock
(
HTML.Styles.Bootstrap4
)
hrefScndButton
(
HTML.Styles.Bootstrap4
)
hrefScndSmBlock
(
HTML.Styles.Bootstrap4
)
hrefScndSmButton
(
HTML.Styles.Bootstrap4
)
hrefSmallButton
(
HTML.Styles.Bootstrap3
)
hrefSuccBadge
(
HTML.Styles.Bootstrap4
)
hrefSuccButton
(
HTML.Styles.Bootstrap4
)
hrefSuccessButton
(
HTML.Styles.Bootstrap3
)
hrefSuccSmButton
(
HTML.Styles.Bootstrap4
)
hrefWarnBadge
(
HTML.Styles.Bootstrap4
)
hrefWarnButton
(
HTML.Styles.Bootstrap4
)
hrefWarningButton
(
HTML.Styles.Bootstrap3
)
hrefWarnSmButton
(
HTML.Styles.Bootstrap4
)
hrule
(
HTML.Base
)
hStruct
(
HTML.Base
)
htmlIsoUmlauts
(
HTML.Base
)
htmlPrelude
(
HTML.Base
)
htmlQuote
(
HTML.Base
)
htmlSpecialChars2tex
(
HTML.LaTeX
)
htmlStruct
(
HTML.Base
)
htmlTagAttrs
(
HTML.Base
)
htmlText
(
HTML.Base
)
htxt
(
HTML.Base
)
htxts
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
I
idOfHtmlRef
(
HTML.Base
)
image
(
HTML.Base
)
imageButton
(
HTML.Base
)
infoButton
(
HTML.Styles.Bootstrap4
)
infoSmButton
(
HTML.Styles.Bootstrap4
)
inline
(
HTML.Base
)
instHtmlRefs
(
HTML.Base
)
inSessionDataDir
(
HTML.Session
)
italic
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
K
kbdInput
(
HTML.Styles.Bootstrap4
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
L
list2CategorizedHtml
(
HTML.CategorizedList
)
litem
(
HTML.Base
)
loginIcon
(
HTML.Styles.Bootstrap3
)
logoutIcon
(
HTML.Styles.Bootstrap3
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
M
modifySessionData
(
HTML.Session
)
multipleSelection
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
N
nav
(
HTML.Base
)
nbsp
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
O
olist
(
HTML.Base
)
olistWithClass
(
HTML.Base
)
olistWithItemClass
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
P
page
(
HTML.Base
)
pageBodyAttr
(
HTML.Base
)
pageCookie
(
HTML.Base
)
pageCSS
(
HTML.Base
)
pageEnc
(
HTML.Base
)
pageLinkInfo
(
HTML.Base
)
pageMetaInfo
(
HTML.Base
)
par
(
HTML.Base
)
parseHtmlString
(
HTML.Parser
)
password
(
HTML.Base
)
pre
(
HTML.Base
)
primButton
(
HTML.Styles.Bootstrap3
)
primButton
(
HTML.Styles.Bootstrap4
)
primSmButton
(
HTML.Styles.Bootstrap4
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
R
radioMain
(
HTML.Base
)
radioMainOff
(
HTML.Base
)
radioOther
(
HTML.Base
)
readHtmlFile
(
HTML.Parser
)
redirectPage
(
HTML.Base
)
removeSessionData
(
HTML.Session
)
resetButton
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
S
scndButton
(
HTML.Styles.Bootstrap4
)
scndSmButton
(
HTML.Styles.Bootstrap4
)
section
(
HTML.Base
)
selection
(
HTML.Base
)
selectionInitial
(
HTML.Base
)
sessionCookie
(
HTML.Session
)
sessionDataDir
(
HTML.Session
)
setFormDefId
(
HTML.Base
)
showBaseHtml
(
HTML.Base
)
showBaseHtmls
(
HTML.Base
)
showHtmlPage
(
HTML.Base
)
showLatexDoc
(
HTML.LaTeX
)
showLatexDocs
(
HTML.LaTeX
)
showLatexDocsWithPackages
(
HTML.LaTeX
)
showLatexDocWithPackages
(
HTML.LaTeX
)
showLatexExp
(
HTML.LaTeX
)
showLatexExps
(
HTML.LaTeX
)
simpleFormDef
(
HTML.Base
)
simpleFormDefWithID
(
HTML.Base
)
smallButton
(
HTML.Styles.Bootstrap3
)
string2urlencoded
(
HTML.Base
)
stringList2ItemList
(
HTML.CategorizedList
)
strong
(
HTML.Base
)
style
(
HTML.Base
)
styleSheet
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
T
table
(
HTML.Base
)
tableWithClass
(
HTML.Base
)
teletype
(
HTML.Base
)
textArea
(
HTML.Base
)
textField
(
HTML.Base
)
textOf
(
HTML.Base
)
textstyle
(
HTML.Base
)
titledSideMenu
(
HTML.Styles.Bootstrap3
)
titledSideMenu
(
HTML.Styles.Bootstrap4
)
toBaseHtml
(
HTML.Base
)
toFormReader
(
HTML.Base
)
toHtmlExp
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
U
ulist
(
HTML.Base
)
ulistWithClass
(
HTML.Base
)
ulistWithItemClass
(
HTML.Base
)
updAttrs
(
HTML.Base
)
urlencoded2string
(
HTML.Base
)
userIcon
(
HTML.Styles.Bootstrap3
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
V
verbatim
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
W
withSessionCookie
(
HTML.Session
)
withSessionCookieInfo
(
HTML.Session
)
writeSessionData
(
HTML.Session
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_
_
_def#htmlStruct#HTML.Base.HTML
(
HTML.Base
)
_def#htmlText#HTML.Base.HTML
(
HTML.Base
)
_def#toBaseHtml#HTML.Base.HTML
(
HTML.Base
)
_def#updAttrs#HTML.Base.HTML
(
HTML.Base
)
_impl#/=#Prelude.Eq#HTML.Session.SessionId
(
HTML.Session
)
_impl#==#Prelude.Eq#HTML.Session.SessionId
(
HTML.Session
)
_impl#>>#Prelude.Monad#HTML.Base.FormReader
(
HTML.Base
)
_impl#>>=#Prelude.Monad#HTML.Base.FormReader
(
HTML.Base
)
_impl#fail#Prelude.Monad#HTML.Base.FormReader
(
HTML.Base
)
_impl#htmlStruct#HTML.Base.HTML#HTML.Base.BaseHtml
(
HTML.Base
)
_impl#htmlStruct#HTML.Base.HTML#HTML.Base.HtmlExp
(
HTML.Base
)
_impl#htmlText#HTML.Base.HTML#HTML.Base.BaseHtml
(
HTML.Base
)
_impl#htmlText#HTML.Base.HTML#HTML.Base.HtmlExp
(
HTML.Base
)
_impl#return#Prelude.Monad#HTML.Base.FormReader
(
HTML.Base
)
_impl#toBaseHtml#HTML.Base.HTML#HTML.Base.BaseHtml
(
HTML.Base
)
_impl#toBaseHtml#HTML.Base.HTML#HTML.Base.HtmlExp
(
HTML.Base
)
_impl#updAttrs#HTML.Base.HTML#HTML.Base.BaseHtml
(
HTML.Base
)
_impl#updAttrs#HTML.Base.HTML#HTML.Base.HtmlExp
(
HTML.Base
)
_inst#HTML.Base.HTML#HTML.Base.BaseHtml
(
HTML.Base
)
_inst#HTML.Base.HTML#HTML.Base.HtmlExp
(
HTML.Base
)
_inst#Prelude.Eq#HTML.Session.SessionId
(
HTML.Session
)
_inst#Prelude.Monad#HTML.Base.FormReader
(
HTML.Base
)
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
_