CurryInfo: wui2-3.1.0 / HTML.WUI.wui2FormDef

 
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

 no demanded arguments

 deterministic operation

 
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.

 <FAILING>

 might be indeterministic

 no fixity defined

 {(_,_,_,_,_,_,_) |-> _}

 wui2FormDef

 no precedence defined

 _

 (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)

 operation might suspend on free variables

 possibly non-terminating

 possibly non-reducible on same data term