| definition: |
formElem :: HtmlFormDef a -> BaseHtml formElem formspec = formElemWithAttrs formspec [] |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- A form embedded in an HTML expression. --- The parameter is a form defined as an exported top-level operation --- in the CGI program so that it can be accessed by the main program. --- The URL of the generated form is the same as the main page, i.e., --- the current URL parameter is passed to the form (which is --- useful for REST-based programming with URL parameters). --- The form uses a hidden field named `FORMID` to identify the form --- in the submitted form controller. --- --- Since form elements can not be nested, see --- [HTML](https://html.spec.whatwg.org/multipage/forms.html#the-form-element), --- the form element itself is a static HTML expression. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> {BaseAction}}
|
| name: |
formElem |
| precedence: |
no precedence defined |
| result-values: |
{BaseAction}
|
| signature: |
HtmlFormDef a -> BaseHtml |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |