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 x w b a. (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 :: Type -> Type -> Type

Instances

• Functor (Graft a)
• Bifunctor Graft

data GraftX a a' w w'

Constructors

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

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

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

runGraft :: forall w' a'. 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