CurryInfo: wui2-3.1.0 / HTML.WUI.wStringSize

definition: Info
 
wStringSize :: Int -> WuiSpec String
wStringSize size = wStringAttrs [("size",show size)]
demand: Info
 no demanded arguments
deterministic: Info
 possibly non-deterministic operation
documentation: Info
 
A widget for editing string values with a size attribute.
failfree: Info
 <FAILING>
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_) |-> {WuiSpec}}
name: Info
 wStringSize
precedence: Info
 no precedence defined
result-values: Info
 {WuiSpec}
signature: Info
 Prelude.Int -> WuiSpec String
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term