| definition: |
formDefWithID :: String -> FormReader a -> (a -> [HtmlExp]) -> HtmlFormDef a formDefWithID = HtmlFormDef |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- A definition of a form with a unique identifier (usually, --- the qualified name of the operation defining the form). --- A form contains a `FormReader` action and a mapping from data --- into an HTML expression (which usually contains event handlers --- to produce the form answers). --- It is assumed that the `FormReader` action reads only data and does not --- change it, since it is applied twice when executing a form. |
| failfree: |
() |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {HtmlFormDef}}
|
| name: |
formDefWithID |
| precedence: |
no precedence defined |
| result-values: |
{HtmlFormDef}
|
| signature: |
String -> FormReader a -> (a -> [HtmlExp]) -> HtmlFormDef a |
| solution-complete: |
operationally complete operation |
| terminating: |
yes |
| totally-defined: |
reducible on all ground data terms |