CurryInfo: wui2-3.1.0 / HTML.WUI.wCheckBool
definition: 
|
wCheckBool :: [HtmlExp] -> WuiSpec Bool
wCheckBool hexps =
WuiSpec (head, "?", const True)
(checkLegalInput checkWidget)
(\wparams -> conditionOf wparams)
(\env wst -> env (state2cgiRef wst)=="True")
where
checkWidget render v = let ref free in
(render [inline ((if v then checkedBox else checkBox) ref "True" : hexps)],
cgiRef2state ref)
|
|
demand:
|
no demanded arguments |
|
deterministic:
|
possibly non-deterministic operation |
|
documentation:
|
A widget to select a Boolean value via a check box. The first argument are HTML expressions that are shown after the check box. The result is True if the box is checked. |
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_) |-> {WuiSpec}}
|
|
name:
|
wCheckBool |
|
precedence:
|
no precedence defined |
|
result-values:
|
{WuiSpec}
|
|
signature:
|
[HTML.Base.HtmlExp] -> WuiSpec Prelude.Bool |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |