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