CurryInfo: wui2-3.1.0 / HTML.WUI.wui2FormDef

definition: 
 
wui2FormDef :: (Read a, Show a) =>
               String
            -> WuiSessionStore a
            -> WuiSpec a
            -> (a -> IO [BaseHtml])
            -> (HtmlExp -> (HtmlEnv -> IO [BaseHtml]) -> [HtmlExp])
            -> HtmlFormDef (WuiStore a)
wui2FormDef formqname wuistore wuispec storepage renderwui =
  let wuiformdef = formDefWithID formqname (getWuiStore wuistore)
                                 (formHtml wuiformdef)
  in wuiformdef
 where
  formHtml iform sdata =
    wui2HtmlExp wuistore wuispec storepage renderwui iform sdata
demand: 
 no demanded arguments
deterministic: 
 deterministic operation
documentation: 
 
Generates an HTML form definition from a string (the qualified name
of the top-level operation corresponding to this form),
a session data store containing the data to be edited,
a WUI specification,
an action to store the updated data and returning an HTML answer,
an operation to render the WUI (e.g., `wuiSimpleRenderer`), and
which is used when input errors must be corrected,
from the HTML WUI expression and submit handler.
failfree: 
 <FAILING>
indeterministic: 
 might be indeterministic
infix: 
 no fixity defined
iotype: 
 {(_,_,_,_,_,_,_) |-> _}
name: 
 wui2FormDef
precedence: 
 no precedence defined
result-values: 
 _
signature: 
 (Prelude.Read a, Prelude.Show a) => String
-> Data.Global.GlobalP (HTML.Session.SessionData (Prelude.Bool, Prelude.Maybe a))
-> WuiSpec a -> (a -> Prelude.IO [HTML.Base.BaseHtml]) -> (HTML.Base.HtmlExp
-> ((HTML.Base.HtmlRef -> String) -> Prelude.IO [HTML.Base.BaseHtml])
-> [HTML.Base.HtmlExp]) -> HTML.Base.HtmlFormDef (Prelude.Bool, Prelude.Maybe a)
solution-complete: 
 operation might suspend on free variables
terminating: 
 possibly non-terminating
totally-defined: 
 possibly non-reducible on same data term