Page
Library
Module
Module type
Parameter
Class
Class type
Source
Vdom
SourceA "Virtual application" (or "Elm-like" application) is described by two types:
and by the following values:
Commands represents (typically) asynchronous operations, such as querying a server, or waiting for some timer.
Messages can be generated either by a VDOM tree (to encapsulate DOM events) or by commands (to notify their outcome).
type +'msg event_handler =
| Decoder : {
event_type : string;
decoder : 'a msg_options Decoder.t;
map : 'a option -> 'msg option;
} -> 'msg event_handler
| CustomEvent of Custom.event -> 'msg option
type 'msg attribute =
| Property of string * prop_val
| Style of string * string
| Handler of 'msg event_handler
| Attribute of string * string
val onmousedown :
?prevent_default:unit ->
?stop_propagation:unit ->
(mouse_event -> 'msg) ->
'msg attribute
val onmousedown_cancel :
?stop_propagation:unit ->
(mouse_event -> 'msg option) ->
'msg attribute
val onmouseup :
?prevent_default:unit ->
?stop_propagation:unit ->
(mouse_event -> 'msg) ->
'msg attribute
val onclick :
?prevent_default:unit ->
?stop_propagation:unit ->
(mouse_event -> 'msg) ->
'msg attribute
val ondblclick :
?prevent_default:unit ->
?stop_propagation:unit ->
(mouse_event -> 'msg) ->
'msg attribute
val oninput :
?prevent_default:unit ->
?stop_propagation:unit ->
(string -> 'msg) ->
'msg attribute
Pass the value
property of the event target.
val onchange_checked :
?prevent_default:unit ->
?stop_propagation:unit ->
(bool -> 'msg) ->
'msg attribute
Pass the checked
property of the event targer.
val onchange :
?prevent_default:unit ->
?stop_propagation:unit ->
(string -> 'msg) ->
'msg attribute
Pass the value
property of the event target.
val onchange_index :
?prevent_default:unit ->
?stop_propagation:unit ->
(int -> 'msg) ->
'msg attribute
Pass the selected_index
property of the event target.
val onmousemove :
?prevent_default:unit ->
?stop_propagation:unit ->
(mouse_event -> 'msg) ->
'msg attribute
val onmouseenter :
?prevent_default:unit ->
?stop_propagation:unit ->
(mouse_event -> 'msg) ->
'msg attribute
val onmouseleave :
?prevent_default:unit ->
?stop_propagation:unit ->
(mouse_event -> 'msg) ->
'msg attribute
val onmouseover :
?prevent_default:unit ->
?stop_propagation:unit ->
(mouse_event -> 'msg) ->
'msg attribute
val onpaste :
?prevent_default:unit ->
?stop_propagation:unit ->
(paste_event -> 'msg option) ->
'msg attribute
Generic DOM properties correspond to actual properties on DOM objects. The name of these properties is usually the same as the corresponding HTML attribute, but not always (e.g. "class" attribute, but "className" property).
Pseudo-attributes are interpreted in a special way by the infrastructure.
When this pseudo-attribute is first applied to an element, its parent is automatically scrolled (vertically) to show the element.
When this pseudo-attribute is first applied to an element, the element gets focused.
When this pseudo-attribute is first applied to an element, the element gets focused if the element is visible in the viewport.
When this pseudo-attribute is first applied to an element, or applied with a different counter as the previous time, the element gets focused.
When this pseudo-attribute is first applied to an input or textarea element, select the content.
When this pseudo_attribute is first applied to a form element, it will be submitted automatically.
A generic element.
A generic element in the SVG namespace.
A fragment node (not appearing in the dom).
Map attributes of a vdom element
Wrap all messages generated by a VDOM tree with the provided function.
Apply the function to generate a VDOM tree only if the function or its argument have changed (physically) from the previous synchronization.
Note that physical equality is used both for the function and its argument. In particular, this is unlikely to behave as expected if the function is defined inline (as an abstraction) or obtained by a (partial) function application. Instead, the functional argument should be a simple reference to a globally defined function.
TODO: n-ary versions
.
val custom :
?key:string ->
?a:'msg attribute list ->
?propagate_events:unit ->
Custom.t ->
'msg vdom
A custom kind of node. Usually not used directly.