Halogen.VDom.Types

data VDom a w

The core virtual-dom tree type, where a is the type of attributes, and w is the type of "widgets". Widgets are machines that have complete control over the lifecycle of some DOM.Node.

The Grafted constructor and associated machinery enables bimap fusion using a Coyoneda-like encoding.

Constructors

• Text String
• Elem (Maybe Namespace) ElemName a (Array (VDom a w))
• Keyed (Maybe Namespace) ElemName a (Array (Tuple String (VDom a w)))
• Widget w
• Grafted (Graft a w)

Instances

• Functor (VDom a)
• Bifunctor VDom

renderWidget :: forall a b w x. (a -> b) -> (w -> VDom b x) -> VDom a w -> VDom b x

Replaces "widgets" in the VDom with the ability to turn them into other VDom nodes.

Using this function will fuse any Grafts present in the VDom.

data Graft t0 t1

Instances

• Functor (Graft a)
• Bifunctor Graft

data GraftX a a' w w'

Constructors

• Graft (a -> a') (w -> w') (VDom a w)

graft :: forall a a' w w'. GraftX a a' w w' -> Graft a' w'

unGraft :: forall a' w' r. (forall a w. GraftX a a' w w' -> r) -> Graft a' w' -> r

runGraft :: forall a' w'. Graft a' w' -> VDom a' w'

newtype ElemName

Constructors

• ElemName String

Instances

• Newtype ElemName _
• Eq ElemName
• Ord ElemName

newtype Namespace

Constructors

• Namespace String

Instances

• Newtype Namespace _
• Eq Namespace
• Ord Namespace