API to the core diffing algorithm. Can serve as a foundation for libraries that expose more helper functions for HTML or SVG.
Just put plain text in the DOM. It will escape the string so that it appears exactly as you specify.
text "Hello World!"Create a DOM node with a tag name, a list of HTML properties that can
include styles and event listeners, a list of CSS properties like color, and
a list of child nodes.
import Json.Encode as Json
hello : Node
hello =
node "div" [] [ text "Hello!" ]
greeting : Node
greeting =
node "div"
[ property "id" (Json.string "greeting") ]
[ text "Hello!" ]When using HTML and JS, there are two ways to specify parts of a DOM node.
Attributes — You can set things in HTML itself. So the class
in <div class="greeting"></div> is called an attribute.
Properties — You can also set things in JS. So the className
in div.className = 'greeting' is called a property.
So the class attribute corresponds to the className property. At first
glance, perhaps this distinction is defensible, but it gets much crazier.
There is not always a one-to-one mapping between attributes and properties!
Yes, that is a true fact. Sometimes an attribute exists, but there is no
corresponding property. Sometimes changing an attribute does not change the
underlying property. For example, as of this writing, the webkit-playsinline
attribute can be used in HTML, but there is no corresponding property!
Create arbitrary properties.
import JavaScript.Encode as Json
greeting : Html
greeting =
node "div" [ property "className" (Json.string "greeting") ] [
text "Hello!"
]Notice that you must give the property name, so we use className as it
would be in JavaScript, not class as it would appear in HTML.
Create arbitrary HTML attributes. Maps onto JavaScript’s setAttribute
function under the hood.
greeting : Html
greeting =
node "div" [ attribute "class" "greeting" ] [
text "Hello!"
]Notice that you must give the attribute name, so we use class as it would
be in HTML, not className as it would appear in JS.
Create a custom event listener.
import Json.Decode as Json
onClick : Signal.Address a -> Property
onClick address =
on "click" Json.value (\_ -> Signal.message address ())You first specify the name of the event in the same format as with
JavaScript’s addEventListener. Next you give a JSON decoder, which lets
you pull information out of the event object. If that decoder is successful,
the resulting value is given to a function that creates a Signal.Message.
So in our example, we will send () to the given address.
Same as on but you can set a few options.
Options for an event listener. If stopPropagation is true, it means the
event stops traveling through the DOM so it will not trigger any other event
listeners. If preventDefault is true, any built-in browser behavior related
to the event is prevented. For example, this is used with touch events when you
want to treat them as gestures of your own, not as scrolls.
Everything is False by default.
defaultOptions =
{ stopPropagation = False
, preventDefault = False
}A performance optimization that delays the building of virtual DOM nodes.
Calling (view model) will definitely build some virtual DOM, perhaps a lot of
it. Calling (lazy view model) delays the call until later. During diffing, we
can check to see if model is referentially equal to the previous value used,
and if so, we just stop. No need to build up the tree structure and diff it,
we know if the input to view is the same, the output must be the same!
Same as lazy but checks on two arguments.
Same as lazy but checks on three arguments.
Embed an Node value in Elm's rendering system. Like any other Element,
this requires a known width and height, so it is not yet clear if this can be
made more convenient in the future.
Embed an Element as Html.
An immutable chunk of data representing a DOM node. This can be HTML or SVG.