Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
A
M
R
T
W
A
adaptWSpec
(
WUI
)
adaptWSpec
(
WUIjs
)
A
M
R
T
W
M
mainWUI
(
WUI
)
mainWUI
(
WUIjs
)
A
M
R
T
W
R
renderList
(
WUI
)
renderList
(
WUIjs
)
renderTaggedTuple
(
WUI
)
renderTaggedTuple
(
WUIjs
)
renderTuple
(
WUI
)
renderTuple
(
WUIjs
)
A
M
R
T
W
T
transformWSpec
(
WUI
)
transformWSpec
(
WUIjs
)
A
M
R
T
W
W
w10Tuple
(
WUI
)
w10Tuple
(
WUIjs
)
w11Tuple
(
WUI
)
w11Tuple
(
WUIjs
)
w12Tuple
(
WUI
)
w12Tuple
(
WUIjs
)
w4Tuple
(
WUI
)
w4Tuple
(
WUIjs
)
w5Tuple
(
WUI
)
w5Tuple
(
WUIjs
)
w6Tuple
(
WUI
)
w6Tuple
(
WUIjs
)
w7Tuple
(
WUI
)
w7Tuple
(
WUIjs
)
w8Tuple
(
WUI
)
w8Tuple
(
WUIjs
)
w9Tuple
(
WUI
)
w9Tuple
(
WUIjs
)
wCheckBool
(
WUI
)
wCheckBool
(
WUIjs
)
wCheckMaybe
(
WUI
)
wCheckMaybe
(
WUIjs
)
wCons10
(
WUI
)
wCons10
(
WUIjs
)
wCons10JS
(
WUIjs
)
wCons11
(
WUI
)
wCons11
(
WUIjs
)
wCons11JS
(
WUIjs
)
wCons12
(
WUI
)
wCons12
(
WUIjs
)
wCons12JS
(
WUIjs
)
wCons2
(
WUI
)
wCons2
(
WUIjs
)
wCons2JS
(
WUIjs
)
wCons3
(
WUI
)
wCons3
(
WUIjs
)
wCons3JS
(
WUIjs
)
wCons4
(
WUI
)
wCons4
(
WUIjs
)
wCons4JS
(
WUIjs
)
wCons5
(
WUI
)
wCons5
(
WUIjs
)
wCons5JS
(
WUIjs
)
wCons6
(
WUI
)
wCons6
(
WUIjs
)
wCons6JS
(
WUIjs
)
wCons7
(
WUI
)
wCons7
(
WUIjs
)
wCons7JS
(
WUIjs
)
wCons8
(
WUI
)
wCons8
(
WUIjs
)
wCons8JS
(
WUIjs
)
wCons9
(
WUI
)
wCons9
(
WUIjs
)
wCons9JS
(
WUIjs
)
wConstant
(
WUI
)
wConstant
(
WUIjs
)
wEither
(
WUI
)
wEither
(
WUIjs
)
wHidden
(
WUI
)
wHidden
(
WUIjs
)
wHList
(
WUI
)
wHList
(
WUIjs
)
withCondition
(
WUI
)
withCondition
(
WUIjs
)
withConditionJS
(
WUIjs
)
withConditionJSName
(
WUIjs
)
withError
(
WUI
)
withError
(
WUIjs
)
withRendering
(
WUI
)
wInt
(
WUI
)
withRendering
(
WUIjs
)
wInt
(
WUIjs
)
wJoinTuple
(
WUI
)
wJoinTuple
(
WUIjs
)
wList
(
WUI
)
wList
(
WUIjs
)
wListWithHeadings
(
WUI
)
wListWithHeadings
(
WUIjs
)
wMatrix
(
WUI
)
wMatrix
(
WUIjs
)
wMaybe
(
WUI
)
wMaybe
(
WUIjs
)
wMultiCheckSelect
(
WUI
)
wMultiCheckSelect
(
WUIjs
)
wPair
(
WUI
)
wPair
(
WUIjs
)
wRadioBool
(
WUI
)
wRadioBool
(
WUIjs
)
wRadioMaybe
(
WUI
)
wRadioMaybe
(
WUIjs
)
wRadioSelect
(
WUI
)
wRadioSelect
(
WUIjs
)
wRequiredString
(
WUI
)
wRequiredString
(
WUIjs
)
wRequiredStringSize
(
WUI
)
wRequiredStringSize
(
WUIjs
)
wSelect
(
WUI
)
wSelect
(
WUIjs
)
wSelectBool
(
WUI
)
wSelectBool
(
WUIjs
)
wSelectInt
(
WUI
)
wSelectInt
(
WUIjs
)
wString
(
WUI
)
wString
(
WUIjs
)
wStringSize
(
WUI
)
wStringSize
(
WUIjs
)
wTextArea
(
WUI
)
wTextArea
(
WUIjs
)
wTree
(
WUI
)
wTree
(
WUIjs
)
wTriple
(
WUI
)
wTriple
(
WUIjs
)
wui2html
(
WUI
)
wui2html
(
WUIjs
)
wuiHandler2button
(
WUI
)
wuiHandler2button
(
WUIjs
)
wuiInForm
(
WUI
)
wuiInForm
(
WUIjs
)
wuiWithErrorForm
(
WUI
)
wuiWithErrorForm
(
WUIjs
)
A
M
R
T
W