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 (ElemSpec a) (Array (VDom a w))
• Keyed (ElemSpec a) (Array (Tuple String (VDom a w)))
• Widget w
• Grafted (Graft a w)

Instances

• Functor (VDom a)
• Bifunctor 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'

data ElemSpec a

Constructors

• ElemSpec (Maybe Namespace) ElemName a

Instances

• (Eq a) => Eq (ElemSpec a)
• (Ord a) => Ord (ElemSpec a)
• (Generic a) => Generic (ElemSpec a)
• Functor ElemSpec

newtype ElemName

Constructors

• ElemName String

Instances

• Newtype ElemName _
• Eq ElemName
• Ord ElemName
• Generic ElemName

newtype Namespace

Constructors

• Namespace String

Instances

• Newtype Namespace _
• Eq Namespace
• Ord Namespace
• Generic Namespace