Safe Haskell	None
Language	Haskell98

Reflex.Dom.Builder.Immediate

Contents

Attributes for controlling hydration
Internal

Description

This is a builder to be used on the client side. It can be run in two modes:

in "hydration mode", reusing DOM nodes already in the page (as produced by renderStatic)
in "immediate mode", creating and appending DOM nodes as required

In "hydration mode", the preexisting DOM must contain what the builder will expect at switchover time (the time at which parity with the static renderer is reached, and the time after which the page is "live").

For example, displaying the current time as text should be done inside prerender to ensure that we don't attempt to hydrate the incorrect text. The server will prerender a text node with time A, and the client will expect a text node with time B. Barring a miracle, time A and time B will not match, and hydration will fail.

Synopsis

newtype HydrationDomBuilderT s t m a = HydrationDomBuilderT {
- unHydrationDomBuilderT :: ReaderT (HydrationDomBuilderEnv t m) (DomRenderHookT t m) a
}
data HydrationDomBuilderEnv t m = HydrationDomBuilderEnv {
- _hydrationDomBuilderEnv_document :: !Document
- _hydrationDomBuilderEnv_parent :: !(Either Node (IORef Node))
- _hydrationDomBuilderEnv_unreadyChildren :: !(IORef Word)
- _hydrationDomBuilderEnv_commitAction :: !(JSM ())
- _hydrationDomBuilderEnv_hydrationMode :: !(IORef HydrationMode)
- _hydrationDomBuilderEnv_switchover :: !(Event t ())
- _hydrationDomBuilderEnv_delayed :: !(IORef (HydrationRunnerT t m ()))
}
data HydrationMode
- = HydrationMode_Hydrating
- | HydrationMode_Immediate
newtype HydrationRunnerT t m a = HydrationRunnerT {
- unHydrationRunnerT :: StateT HydrationState (ReaderT Node (DomRenderHookT t m)) a
}
runHydrationRunnerT :: (MonadRef m, Ref m ~ IORef, Monad m, PerformEvent t m, MonadFix m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m)) => HydrationRunnerT t m a -> Maybe Node -> Node -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a
runHydrationRunnerTWithFailure :: (MonadRef m, Ref m ~ IORef, Monad m, PerformEvent t m, MonadFix m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m)) => HydrationRunnerT t m a -> IO () -> Maybe Node -> Node -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a
type ImmediateDomBuilderT = HydrationDomBuilderT GhcjsDomSpace
runHydrationDomBuilderT :: (MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m), MonadRef m, Ref m ~ IORef) => HydrationDomBuilderT s t m a -> HydrationDomBuilderEnv t m -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a
getHydrationMode :: MonadIO m => HydrationDomBuilderT s t m HydrationMode
addHydrationStep :: MonadIO m => HydrationRunnerT t m () -> HydrationDomBuilderT s t m ()
addHydrationStepWithSetup :: MonadIO m => m a -> (a -> HydrationRunnerT t m ()) -> HydrationDomBuilderT s t m ()
setPreviousNode :: Monad m => Maybe Node -> HydrationRunnerT t m ()
insertAfterPreviousNode :: (Monad m, MonadJSM m) => IsNode node => node -> HydrationRunnerT t m ()
hydrateComment :: (MonadJSM m, Reflex t, MonadFix m) => Document -> Text -> Maybe (Event t Text) -> HydrationRunnerT t m Comment
askParent :: Monad m => HydrationRunnerT t m Node
askEvents :: Monad m => HydrationDomBuilderT s t m (Chan [DSum (EventTriggerRef t) TriggerInvocation])
append :: MonadJSM m => Node -> HydrationDomBuilderT s t m ()
textNodeInternal :: (Adjustable t m, MonadHold t m, MonadJSM m, MonadFix m, Reflex t) => TextNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (TextNode HydrationDomSpace t)
removeSubsequentNodes :: (MonadJSM m, IsNode n) => n -> m ()
deleteBetweenExclusive :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m ()
extractBetweenExclusive :: (MonadJSM m, IsNode start, IsNode end) => DocumentFragment -> start -> end -> m ()
deleteUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m ()
extractUpTo :: (MonadJSM m, IsNode start, IsNode end) => DocumentFragment -> start -> end -> m ()
type SupportsHydrationDomBuilder t m = (Reflex t, MonadJSM m, MonadHold t m, MonadFix m, MonadReflexCreateTrigger t m, MonadRef m, Ref m ~ Ref JSM, Adjustable t m, PrimMonad m, PerformEvent t m, MonadJSM (Performable m))
collectUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m DocumentFragment
collectUpToGivenParent :: (MonadJSM m, IsNode parent, IsNode start, IsNode end) => parent -> start -> end -> m DocumentFragment
newtype EventTriggerRef t a = EventTriggerRef {
- unEventTriggerRef :: IORef (Maybe (EventTrigger t a))
}
newtype EventFilterTriggerRef t er (en :: EventTag) = EventFilterTriggerRef (IORef (Maybe (EventTrigger t (er en))))
wrap :: forall s m er t. (Reflex t, MonadJSM m, MonadReflexCreateTrigger t m, DomRenderHook t m, EventSpec s ~ GhcjsEventSpec) => Chan [DSum (EventTriggerRef t) TriggerInvocation] -> Element -> RawElementConfig er t s -> m (DMap EventName (EventFilterTriggerRef t er))
elementInternal :: (MonadJSM m, Reflex t, MonadReflexCreateTrigger t m, MonadFix m) => Text -> ElementConfig er t HydrationDomSpace -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (Element er HydrationDomSpace t, a)
data HydrationDomSpace
data GhcjsDomSpace
newtype GhcjsDomHandler a b = GhcjsDomHandler {
- unGhcjsDomHandler :: a -> JSM b
}
newtype GhcjsDomHandler1 a b = GhcjsDomHandler1 {
- unGhcjsDomHandler1 :: forall (x :: EventTag). a x -> JSM (b x)
}
newtype GhcjsDomEvent en = GhcjsDomEvent {
- unGhcjsDomEvent :: EventType en
}
newtype GhcjsEventFilter er en = GhcjsEventFilter (GhcjsDomEvent en -> JSM (EventFlags, JSM (Maybe (er en))))
data Pair1 (f :: k -> *) (g :: k -> *) (a :: k) = Pair1 (f a) (g a)
data Maybe1 f a
- = Nothing1
- | Just1 (f a)
data GhcjsEventSpec er = GhcjsEventSpec {
- _ghcjsEventSpec_filters :: DMap EventName (GhcjsEventFilter er)
- _ghcjsEventSpec_handler :: GhcjsEventHandler er
}
class Monad m => HasDocument m where
- askDocument :: m (RawDocument (DomBuilderSpace m))
ghcjsEventSpec_filters :: forall er. Lens' (GhcjsEventSpec er) (DMap EventName (GhcjsEventFilter er))
ghcjsEventSpec_handler :: forall er. Lens' (GhcjsEventSpec er) (GhcjsEventHandler er)
newtype GhcjsEventHandler er = GhcjsEventHandler {
- unGhcjsEventHandler :: forall en. (EventName en, GhcjsDomEvent en) -> JSM (Maybe (er en))
}
drawChildUpdate :: (MonadJSM m, Reflex t) => HydrationDomBuilderEnv t m -> (IORef (ChildReadyState k) -> JSM ()) -> HydrationDomBuilderT s t m (f a) -> DomRenderHookT t m (Compose (TraverseChild t m k) f a)
data ChildReadyState a
- = ChildReadyState_Ready
- | ChildReadyState_Unready !(Maybe a)
mkHasFocus :: (HasDocument m, MonadJSM m, IsNode (RawElement d), MonadHold t m, Reflex t, IsDocumentOrShadowRoot (RawDocument (DomBuilderSpace m))) => Element er d t -> m (Dynamic t Bool)
insertBefore :: (MonadJSM m, IsNode new, IsNode existing) => new -> existing -> m ()
type family EventType en where ...
defaultDomEventHandler :: IsElement e => e -> EventName en -> EventM e (EventType en) (Maybe (EventResult en))
defaultDomWindowEventHandler :: Window -> EventName en -> EventM Window (EventType en) (Maybe (EventResult en))
withIsEvent :: EventName en -> (IsEvent (EventType en) => r) -> r
showEventName :: EventName en -> String
elementOnEventName :: IsElement e => EventName en -> e -> EventM e (EventType en) () -> JSM (JSM ())
windowOnEventName :: EventName en -> Window -> EventM Window (EventType en) () -> JSM (JSM ())
wrapDomEvent :: (TriggerEvent t m, MonadJSM m) => e -> (e -> EventM e event () -> JSM (JSM ())) -> EventM e event a -> m (Event t a)
subscribeDomEvent :: (EventM e event () -> JSM (JSM ())) -> EventM e event (Maybe a) -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> EventTrigger t a -> JSM (JSM ())
wrapDomEventMaybe :: (TriggerEvent t m, MonadJSM m) => e -> (e -> EventM e event () -> JSM (JSM ())) -> EventM e event (Maybe a) -> m (Event t a)
wrapDomEventsMaybe :: (MonadJSM m, MonadReflexCreateTrigger t m) => e -> (forall en. IsEvent (EventType en) => EventName en -> EventM e (EventType en) (Maybe (f en))) -> (forall en. EventName en -> e -> EventM e (EventType en) () -> JSM (JSM ())) -> ImmediateDomBuilderT t m (EventSelector t (WrapArg f EventName))
getKeyEvent :: EventM e KeyboardEvent Word
getMouseEventCoords :: EventM e MouseEvent (Int, Int)
getTouchEvent :: EventM e TouchEvent TouchEventResult
data WindowConfig t = WindowConfig
data Window t = Window {
- _window_events :: EventSelector t (WrapArg EventResult EventName)
- _window_raw :: Window
}
wrapWindow :: (MonadJSM m, MonadReflexCreateTrigger t m) => Window -> WindowConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (Window t)
hydratableAttribute :: IsString s => s
skipHydrationAttribute :: IsString s => s
traverseDMapWithKeyWithAdjust' :: forall s t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadJSM m, PrimMonad m, GCompare k, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document) => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> HydrationDomBuilderT s t m (DMap k v', Event t (PatchDMap k v'))
hoistTraverseWithKeyWithAdjust :: (Adjustable t m, MonadHold t m, GCompare k, MonadIO m, MonadJSM m, PrimMonad m, MonadFix m, Patch (p k v), Patch (p k (Constant Int)), PatchTarget (p k (Constant Int)) ~ DMap k (Constant Int), Patch (p k (Compose (TraverseChild t m (Some k)) v')), PatchTarget (p k (Compose (TraverseChild t m (Some k)) v')) ~ DMap k (Compose (TraverseChild t m (Some k)) v'), Monoid (p k (Compose (TraverseChild t m (Some k)) v')), RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document) => (forall vv vv'. (forall a. k a -> vv a -> DomRenderHookT t m (vv' a)) -> DMap k vv -> Event t (p k vv) -> DomRenderHookT t m (DMap k vv', Event t (p k vv'))) -> (forall vv vv'. (forall a. vv a -> vv' a) -> p k vv -> p k vv') -> (p k (Compose (TraverseChild t m (Some k)) v') -> DMap k (Constant (IORef (ChildReadyState (Some k)))) -> IO (DMap k (Constant (IORef (ChildReadyState (Some k)))))) -> (IORef (Map (Some k) Text) -> Text -> p k (Compose (TraverseChild t m (Some k)) v') -> JSM ()) -> (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a)) -> DMap k v -> Event t (p k v) -> HydrationDomBuilderT s t m (DMap k v', Event t (p k v'))
traverseIntMapWithKeyWithAdjust' :: forall s t m v v'. (Adjustable t m, MonadJSM m, MonadFix m, PrimMonad m, MonadHold t m, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document) => (Key -> v -> HydrationDomBuilderT s t m v') -> IntMap v -> Event t (PatchIntMap v) -> HydrationDomBuilderT s t m (IntMap v', Event t (PatchIntMap v'))
hoistTraverseIntMapWithKeyWithAdjust :: (Adjustable t m, MonadHold t m, MonadJSM m, MonadFix m, PrimMonad m, Monoid (p (TraverseChild t m Int v')), Functor p, PatchTarget (p (HydrationRunnerT t m ())) ~ IntMap (HydrationRunnerT t m ()), PatchTarget (p (TraverseChild t m Int v')) ~ IntMap (TraverseChild t m Int v'), Patch (p (HydrationRunnerT t m ())), Patch (p (TraverseChild t m Int v')), RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document) => ((Key -> v -> DomRenderHookT t m (TraverseChild t m Int v')) -> IntMap v -> Event t (p v) -> DomRenderHookT t m (IntMap (TraverseChild t m Int v'), Event t (p (TraverseChild t m Int v')))) -> (p (TraverseChild t m Int v') -> IntMap (IORef (ChildReadyState Int)) -> IO (IntMap (IORef (ChildReadyState Int)))) -> (IORef (IntMap Text) -> Text -> p (TraverseChild t m Int v') -> JSM ()) -> (Key -> v -> HydrationDomBuilderT s t m v') -> IntMap v -> Event t (p v) -> HydrationDomBuilderT s t m (IntMap v', Event t (p v'))

Documentation

newtype HydrationDomBuilderT s t m a Source #

A monad for DomBuilder which just gets the results of children and pushes work into an action that is delayed until after postBuild (to match the static builder). The action runs in HydrationRunnerT, which performs the DOM takeover and sets up the events, after which point this monad will continue in the vein of ImmediateDomBuilderT.

Constructors

HydrationDomBuilderT
Fields unHydrationDomBuilderT :: ReaderT (HydrationDomBuilderEnv t m) (DomRenderHookT t m) a

Instances

SupportsHydrationDomBuilder t m => NotReady t (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods notReadyUntil :: Event t a -> HydrationDomBuilderT s t m () Source # notReady :: HydrationDomBuilderT s t m () Source #
PerformEvent t m => PerformEvent t (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type Performable (HydrationDomBuilderT s t m) :: Type -> Type Source # Methods performEvent :: Event t (Performable (HydrationDomBuilderT s t m) a) -> HydrationDomBuilderT s t m (Event t a) Source # performEvent_ :: Event t (Performable (HydrationDomBuilderT s t m) ()) -> HydrationDomBuilderT s t m () Source #
(Monad m, MonadRef m, Ref m ~ Ref IO, MonadReflexCreateTrigger t m) => TriggerEvent t (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods newTriggerEvent :: HydrationDomBuilderT s t m (Event t a, a -> IO ()) Source # newTriggerEventWithOnComplete :: HydrationDomBuilderT s t m (Event t a, a -> IO () -> IO ()) Source # newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> HydrationDomBuilderT s t m (Event t a) Source #
PostBuild t m => PostBuild t (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods getPostBuild :: HydrationDomBuilderT s t m (Event t ()) Source #
MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> HydrationDomBuilderT s t m (Event t a) Source # newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> HydrationDomBuilderT s t m (EventSelector t k) Source #
(Adjustable t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document) => Adjustable t (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods runWithReplace :: HydrationDomBuilderT s t m a -> Event t (HydrationDomBuilderT s t m b) -> HydrationDomBuilderT s t m (a, Event t b) Source # traverseIntMapWithKeyWithAdjust :: (Key -> v -> HydrationDomBuilderT s t m v') -> IntMap v -> Event t (PatchIntMap v) -> HydrationDomBuilderT s t m (IntMap v', Event t (PatchIntMap v')) Source # traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> HydrationDomBuilderT s t m (DMap k v', Event t (PatchDMap k v')) Source # traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> HydrationDomBuilderT s t m (DMap k v', Event t (PatchDMapWithMove k v')) Source #
SupportsHydrationDomBuilder t m => MountableDomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) :: Type Source # Methods buildDomFragment :: HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m), a) Source # mountDomFragment :: DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) -> Event t (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m () Source #
SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) :: Type Source # Methods textNode :: TextNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # commentNode :: CommentNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # element :: Text -> ElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t, a) Source # inputElement :: InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # selectElement :: SelectElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (SelectElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t, a) Source # placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m () Source # wrapRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> RawElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source #
SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) :: Type Source # Methods textNode :: TextNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # commentNode :: CommentNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # element :: Text -> ElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t, a) Source # inputElement :: InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # selectElement :: SelectElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (SelectElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t, a) Source # placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m () Source # wrapRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> RawElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source #
(Adjustable t m, PrerenderBaseConstraints t m, ReflexHost t) => Prerender t (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Prerender Associated Types type Client (HydrationDomBuilderT HydrationDomSpace t m) :: Type -> Type Source # Methods prerender :: HydrationDomBuilderT HydrationDomSpace t m a -> Client (HydrationDomBuilderT HydrationDomSpace t m) a -> HydrationDomBuilderT HydrationDomSpace t m (Dynamic t a) Source #
(ReflexHost t, Adjustable t m, PrerenderBaseConstraints t m) => Prerender t (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Prerender Associated Types type Client (HydrationDomBuilderT GhcjsDomSpace t m) :: Type -> Type Source # Methods prerender :: HydrationDomBuilderT GhcjsDomSpace t m a -> Client (HydrationDomBuilderT GhcjsDomSpace t m) a -> HydrationDomBuilderT GhcjsDomSpace t m (Dynamic t a) Source #
MonadSample t m => MonadSample (t :: Type) (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods sample :: Behavior t a -> HydrationDomBuilderT s t m a Source #
MonadHold t m => MonadHold (t :: Type) (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods hold :: a -> Event t a -> HydrationDomBuilderT s t m (Behavior t a) Source # holdDyn :: a -> Event t a -> HydrationDomBuilderT s t m (Dynamic t a) Source # holdIncremental :: Patch p => PatchTarget p -> Event t p -> HydrationDomBuilderT s t m (Incremental t p) Source # buildDynamic :: PushM t a -> Event t a -> HydrationDomBuilderT s t m (Dynamic t a) Source # headE :: Event t a -> HydrationDomBuilderT s t m (Event t a) Source # now :: HydrationDomBuilderT s t m (Event t ()) Source #
(Reflex t, MonadFix m) => DomRenderHook (t :: Type) (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods withRenderHook :: (forall x. JSM x -> JSM x) -> HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m a Source # requestDomAction :: Event t (JSM a) -> HydrationDomBuilderT s t m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> HydrationDomBuilderT s t m () Source #
MonadTrans (HydrationDomBuilderT s t) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods lift :: Monad m => m a -> HydrationDomBuilderT s t m a Source #
Monad m => Monad (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods (>>=) :: HydrationDomBuilderT s t m a -> (a -> HydrationDomBuilderT s t m b) -> HydrationDomBuilderT s t m b Source # (>>) :: HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m b -> HydrationDomBuilderT s t m b Source # return :: a -> HydrationDomBuilderT s t m a Source # fail :: String -> HydrationDomBuilderT s t m a Source #
Functor m => Functor (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods fmap :: (a -> b) -> HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m b Source # (<$) :: a -> HydrationDomBuilderT s t m b -> HydrationDomBuilderT s t m a Source #
MonadFix m => MonadFix (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods mfix :: (a -> HydrationDomBuilderT s t m a) -> HydrationDomBuilderT s t m a Source #
Monad m => Applicative (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods pure :: a -> HydrationDomBuilderT s t m a Source # (<>) :: HydrationDomBuilderT s t m (a -> b) -> HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m b Source # liftA2 :: (a -> b -> c) -> HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m b -> HydrationDomBuilderT s t m c Source # (>) :: HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m b -> HydrationDomBuilderT s t m b Source # (<*) :: HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m b -> HydrationDomBuilderT s t m a Source #
MonadIO m => MonadIO (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods liftIO :: IO a -> HydrationDomBuilderT s t m a Source #
MonadException m => MonadException (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods throw :: Exception e => e -> HydrationDomBuilderT s t m a Source # catch :: Exception e => HydrationDomBuilderT s t m a -> (e -> HydrationDomBuilderT s t m a) -> HydrationDomBuilderT s t m a Source # finally :: HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m b -> HydrationDomBuilderT s t m a Source #
MonadAsyncException m => MonadAsyncException (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods mask :: ((forall a. HydrationDomBuilderT s t m a -> HydrationDomBuilderT s t m a) -> HydrationDomBuilderT s t m b) -> HydrationDomBuilderT s t m b Source #
MonadJSM m => MonadJSM (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods liftJSM' :: JSM a -> HydrationDomBuilderT s t m a Source #
PrimMonad m => PrimMonad (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type PrimState (HydrationDomBuilderT s t m) :: Type Source # Methods primitive :: (State# (PrimState (HydrationDomBuilderT s t m)) -> (#State# (PrimState (HydrationDomBuilderT s t m)), a#)) -> HydrationDomBuilderT s t m a Source #
MonadRef m => MonadRef (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type Ref (HydrationDomBuilderT s t m) :: Type -> Type Source # Methods newRef :: a -> HydrationDomBuilderT s t m (Ref (HydrationDomBuilderT s t m) a) Source # readRef :: Ref (HydrationDomBuilderT s t m) a -> HydrationDomBuilderT s t m a Source # writeRef :: Ref (HydrationDomBuilderT s t m) a -> a -> HydrationDomBuilderT s t m () Source # modifyRef :: Ref (HydrationDomBuilderT s t m) a -> (a -> a) -> HydrationDomBuilderT s t m () Source # modifyRef' :: Ref (HydrationDomBuilderT s t m) a -> (a -> a) -> HydrationDomBuilderT s t m () Source #
MonadAtomicRef m => MonadAtomicRef (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods atomicModifyRef :: Ref (HydrationDomBuilderT s t m) a -> (a -> (a, b)) -> HydrationDomBuilderT s t m b Source # atomicModifyRef' :: Ref (HydrationDomBuilderT s t m) a -> (a -> (a, b)) -> HydrationDomBuilderT s t m b Source #
(RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document, Monad m) => HasDocument (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods askDocument :: HydrationDomBuilderT s t m (RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m))) Source #
type PrimState (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type PrimState (HydrationDomBuilderT s t m) = PrimState m
type Ref (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type Ref (HydrationDomBuilderT s t m) = Ref m
type Performable (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type Performable (HydrationDomBuilderT s t m) = Performable m
type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)
type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) = HydrationDomSpace
type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) = GhcjsDomSpace
type Client (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Prerender type Client (HydrationDomBuilderT HydrationDomSpace t m) = PostBuildT t (HydrationDomBuilderT GhcjsDomSpace t m)
type Client (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Prerender type Client (HydrationDomBuilderT GhcjsDomSpace t m) = HydrationDomBuilderT GhcjsDomSpace t m

data HydrationDomBuilderEnv t m Source #

Constructors

HydrationDomBuilderEnv

Fields

_hydrationDomBuilderEnv_document :: !Document
Reference to the document
_hydrationDomBuilderEnv_parent :: !(Either Node (IORef Node))
This is in an IORef because in the time up to hydration we can't actually know what the parent is - we populate this reference during the DOM traversal at hydration time
_hydrationDomBuilderEnv_unreadyChildren :: !(IORef Word)
Number of children who still aren't fully rendered
_hydrationDomBuilderEnv_commitAction :: !(JSM ())
Action to take when all children are ready --TODO: we should probably get rid of this once we invoke it
_hydrationDomBuilderEnv_hydrationMode :: !(IORef HydrationMode)
In hydration mode? Should be switched to HydrationMode_Immediate after hydration is finished
_hydrationDomBuilderEnv_switchover :: !(Event t ())
_hydrationDomBuilderEnv_delayed :: !(IORef (HydrationRunnerT t m ()))

data HydrationMode Source #

Constructors

HydrationMode_Hydrating	The time from initial load to parity with static builder
HydrationMode_Immediate	After hydration

Instances

Eq HydrationMode Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods (==) :: HydrationMode -> HydrationMode -> Bool Source # (/=) :: HydrationMode -> HydrationMode -> Bool Source #
Ord HydrationMode Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods compare :: HydrationMode -> HydrationMode -> Ordering Source # (<) :: HydrationMode -> HydrationMode -> Bool Source # (<=) :: HydrationMode -> HydrationMode -> Bool Source # (>) :: HydrationMode -> HydrationMode -> Bool Source # (>=) :: HydrationMode -> HydrationMode -> Bool Source # max :: HydrationMode -> HydrationMode -> HydrationMode Source # min :: HydrationMode -> HydrationMode -> HydrationMode Source #
Show HydrationMode Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods showsPrec :: Int -> HydrationMode -> ShowS Source # show :: HydrationMode -> String Source # showList :: [HydrationMode] -> ShowS Source #

newtype HydrationRunnerT t m a Source #

The monad which performs the delayed actions to reuse prerendered nodes and set up events. State contains reference to the previous node sibling, if any, and the reader contains reference to the parent node.

Constructors

HydrationRunnerT
Fields unHydrationRunnerT :: StateT HydrationState (ReaderT Node (DomRenderHookT t m)) a

Instances

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> HydrationRunnerT t m (Event t a) Source # newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> HydrationRunnerT t m (EventSelector t k) Source #
MonadTrans (HydrationRunnerT t) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods lift :: Monad m => m a -> HydrationRunnerT t m a Source #
MonadSample t m => MonadSample (t :: Type) (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods sample :: Behavior t a -> HydrationRunnerT t m a Source #
(Reflex t, MonadFix m) => DomRenderHook (t :: Type) (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods withRenderHook :: (forall x. JSM x -> JSM x) -> HydrationRunnerT t m a -> HydrationRunnerT t m a Source # requestDomAction :: Event t (JSM a) -> HydrationRunnerT t m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> HydrationRunnerT t m () Source #
Monad m => Monad (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods (>>=) :: HydrationRunnerT t m a -> (a -> HydrationRunnerT t m b) -> HydrationRunnerT t m b Source # (>>) :: HydrationRunnerT t m a -> HydrationRunnerT t m b -> HydrationRunnerT t m b Source # return :: a -> HydrationRunnerT t m a Source # fail :: String -> HydrationRunnerT t m a Source #
Functor m => Functor (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods fmap :: (a -> b) -> HydrationRunnerT t m a -> HydrationRunnerT t m b Source # (<$) :: a -> HydrationRunnerT t m b -> HydrationRunnerT t m a Source #
MonadFix m => MonadFix (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods mfix :: (a -> HydrationRunnerT t m a) -> HydrationRunnerT t m a Source #
Monad m => Applicative (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods pure :: a -> HydrationRunnerT t m a Source # (<>) :: HydrationRunnerT t m (a -> b) -> HydrationRunnerT t m a -> HydrationRunnerT t m b Source # liftA2 :: (a -> b -> c) -> HydrationRunnerT t m a -> HydrationRunnerT t m b -> HydrationRunnerT t m c Source # (>) :: HydrationRunnerT t m a -> HydrationRunnerT t m b -> HydrationRunnerT t m b Source # (<*) :: HydrationRunnerT t m a -> HydrationRunnerT t m b -> HydrationRunnerT t m a Source #
MonadIO m => MonadIO (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods liftIO :: IO a -> HydrationRunnerT t m a Source #
MonadException m => MonadException (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods throw :: Exception e => e -> HydrationRunnerT t m a Source # catch :: Exception e => HydrationRunnerT t m a -> (e -> HydrationRunnerT t m a) -> HydrationRunnerT t m a Source # finally :: HydrationRunnerT t m a -> HydrationRunnerT t m b -> HydrationRunnerT t m a Source #
MonadAsyncException m => MonadAsyncException (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods mask :: ((forall a. HydrationRunnerT t m a -> HydrationRunnerT t m a) -> HydrationRunnerT t m b) -> HydrationRunnerT t m b Source #
MonadJSM m => MonadJSM (HydrationRunnerT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods liftJSM' :: JSM a -> HydrationRunnerT t m a Source #

runHydrationRunnerT :: (MonadRef m, Ref m ~ IORef, Monad m, PerformEvent t m, MonadFix m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m)) => HydrationRunnerT t m a -> Maybe Node -> Node -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a Source #

runHydrationRunnerTWithFailure :: (MonadRef m, Ref m ~ IORef, Monad m, PerformEvent t m, MonadFix m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m)) => HydrationRunnerT t m a -> IO () -> Maybe Node -> Node -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a Source #

type ImmediateDomBuilderT = HydrationDomBuilderT GhcjsDomSpace Source #

runHydrationDomBuilderT :: (MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m), MonadRef m, Ref m ~ IORef) => HydrationDomBuilderT s t m a -> HydrationDomBuilderEnv t m -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a Source #

getHydrationMode :: MonadIO m => HydrationDomBuilderT s t m HydrationMode Source #

addHydrationStep :: MonadIO m => HydrationRunnerT t m () -> HydrationDomBuilderT s t m () Source #

Add a hydration step

addHydrationStepWithSetup :: MonadIO m => m a -> (a -> HydrationRunnerT t m ()) -> HydrationDomBuilderT s t m () Source #

Add a hydration step which depends on some computation that should only be done *before* the switchover to immediate mode - this is most likely some form of hold which we want to remove after hydration is done

setPreviousNode :: Monad m => Maybe Node -> HydrationRunnerT t m () Source #

insertAfterPreviousNode :: (Monad m, MonadJSM m) => IsNode node => node -> HydrationRunnerT t m () Source #

hydrateComment :: (MonadJSM m, Reflex t, MonadFix m) => Document -> Text -> Maybe (Event t Text) -> HydrationRunnerT t m Comment Source #

askParent :: Monad m => HydrationRunnerT t m Node Source #

askEvents :: Monad m => HydrationDomBuilderT s t m (Chan [DSum (EventTriggerRef t) TriggerInvocation]) Source #

append :: MonadJSM m => Node -> HydrationDomBuilderT s t m () Source #

textNodeInternal :: (Adjustable t m, MonadHold t m, MonadJSM m, MonadFix m, Reflex t) => TextNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (TextNode HydrationDomSpace t) Source #

removeSubsequentNodes :: (MonadJSM m, IsNode n) => n -> m () Source #

Remove all nodes after given node

deleteBetweenExclusive :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m () Source #

s and e must both be children of the same node and s must precede e; all nodes between s and e will be removed, but s and e will not be removed

extractBetweenExclusive :: (MonadJSM m, IsNode start, IsNode end) => DocumentFragment -> start -> end -> m () Source #

s and e must both be children of the same node and s must precede e; all nodes between s and e will be moved into the given DocumentFragment, but s and e will not be moved

deleteUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m () Source #

s and e must both be children of the same node and s must precede e; s and all nodes between s and e will be removed, but e will not be removed

extractUpTo :: (MonadJSM m, IsNode start, IsNode end) => DocumentFragment -> start -> end -> m () Source #

type SupportsHydrationDomBuilder t m = (Reflex t, MonadJSM m, MonadHold t m, MonadFix m, MonadReflexCreateTrigger t m, MonadRef m, Ref m ~ Ref JSM, Adjustable t m, PrimMonad m, PerformEvent t m, MonadJSM (Performable m)) Source #

collectUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m DocumentFragment Source #

collectUpToGivenParent :: (MonadJSM m, IsNode parent, IsNode start, IsNode end) => parent -> start -> end -> m DocumentFragment Source #

newtype EventTriggerRef t a Source #

A reference to an EventTrigger suitable for firing with TriggerEventT.

Constructors

EventTriggerRef
Fields unEventTriggerRef :: IORef (Maybe (EventTrigger t a))

newtype EventFilterTriggerRef t er (en :: EventTag) Source #

Constructors

EventFilterTriggerRef (IORef (Maybe (EventTrigger t (er en))))

wrap :: forall s m er t. (Reflex t, MonadJSM m, MonadReflexCreateTrigger t m, DomRenderHook t m, EventSpec s ~ GhcjsEventSpec) => Chan [DSum (EventTriggerRef t) TriggerInvocation] -> Element -> RawElementConfig er t s -> m (DMap EventName (EventFilterTriggerRef t er)) Source #

This wrap is only partial: it doesn't create the EventSelector itself

elementInternal :: (MonadJSM m, Reflex t, MonadReflexCreateTrigger t m, MonadFix m) => Text -> ElementConfig er t HydrationDomSpace -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (Element er HydrationDomSpace t, a) Source #

data HydrationDomSpace Source #

Instances

SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) :: Type Source # Methods textNode :: TextNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # commentNode :: CommentNodeConfig t -> HydrationDomBuilderT HydrationDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # element :: Text -> ElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t, a) Source # inputElement :: InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source # selectElement :: SelectElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m a -> HydrationDomBuilderT HydrationDomSpace t m (SelectElement er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t, a) Source # placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m () Source # wrapRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> RawElementConfig er t (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) -> HydrationDomBuilderT HydrationDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m)) t) Source #
(Adjustable t m, PrerenderBaseConstraints t m, ReflexHost t) => Prerender t (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Prerender Associated Types type Client (HydrationDomBuilderT HydrationDomSpace t m) :: Type -> Type Source # Methods prerender :: HydrationDomBuilderT HydrationDomSpace t m a -> Client (HydrationDomBuilderT HydrationDomSpace t m) a -> HydrationDomBuilderT HydrationDomSpace t m (Dynamic t a) Source #
DomSpace HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type EventSpec HydrationDomSpace :: (EventTag -> Type) -> Type Source # type RawDocument HydrationDomSpace :: Type Source # type RawTextNode HydrationDomSpace :: Type Source # type RawCommentNode HydrationDomSpace :: Type Source # type RawElement HydrationDomSpace :: Type Source # type RawInputElement HydrationDomSpace :: Type Source # type RawTextAreaElement HydrationDomSpace :: Type Source # type RawSelectElement HydrationDomSpace :: Type Source # Methods addEventSpecFlags :: proxy HydrationDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec HydrationDomSpace er -> EventSpec HydrationDomSpace er Source #
type EventSpec HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type EventSpec HydrationDomSpace = GhcjsEventSpec
type RawDocument HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawDocument HydrationDomSpace = Document
type RawTextNode HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextNode HydrationDomSpace = ()
type RawCommentNode HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawCommentNode HydrationDomSpace = ()
type RawElement HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawElement HydrationDomSpace = ()
type RawInputElement HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawInputElement HydrationDomSpace = ()
type RawTextAreaElement HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextAreaElement HydrationDomSpace = ()
type RawSelectElement HydrationDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawSelectElement HydrationDomSpace = ()
type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomBuilderSpace (HydrationDomBuilderT HydrationDomSpace t m) = HydrationDomSpace
type Client (HydrationDomBuilderT HydrationDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Prerender type Client (HydrationDomBuilderT HydrationDomSpace t m) = PostBuildT t (HydrationDomBuilderT GhcjsDomSpace t m)

data GhcjsDomSpace Source #

Instances

SupportsHydrationDomBuilder t m => MountableDomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) :: Type Source # Methods buildDomFragment :: HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m), a) Source # mountDomFragment :: DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) -> Event t (DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m () Source #
SupportsHydrationDomBuilder t m => DomBuilder t (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) :: Type Source # Methods textNode :: TextNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (TextNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # commentNode :: CommentNodeConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (CommentNode (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # element :: Text -> ElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t, a) Source # inputElement :: InputElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (InputElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (TextAreaElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source # selectElement :: SelectElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m a -> HydrationDomBuilderT GhcjsDomSpace t m (SelectElement er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t, a) Source # placeRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m () Source # wrapRawElement :: RawElement (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> RawElementConfig er t (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) -> HydrationDomBuilderT GhcjsDomSpace t m (Element er (DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m)) t) Source #
(ReflexHost t, Adjustable t m, PrerenderBaseConstraints t m) => Prerender t (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Prerender Associated Types type Client (HydrationDomBuilderT GhcjsDomSpace t m) :: Type -> Type Source # Methods prerender :: HydrationDomBuilderT GhcjsDomSpace t m a -> Client (HydrationDomBuilderT GhcjsDomSpace t m) a -> HydrationDomBuilderT GhcjsDomSpace t m (Dynamic t a) Source #
DomSpace GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type EventSpec GhcjsDomSpace :: (EventTag -> Type) -> Type Source # type RawDocument GhcjsDomSpace :: Type Source # type RawTextNode GhcjsDomSpace :: Type Source # type RawCommentNode GhcjsDomSpace :: Type Source # type RawElement GhcjsDomSpace :: Type Source # type RawInputElement GhcjsDomSpace :: Type Source # type RawTextAreaElement GhcjsDomSpace :: Type Source # type RawSelectElement GhcjsDomSpace :: Type Source # Methods addEventSpecFlags :: proxy GhcjsDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec GhcjsDomSpace er -> EventSpec GhcjsDomSpace er Source #
type EventSpec GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type EventSpec GhcjsDomSpace = GhcjsEventSpec
type RawDocument GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawDocument GhcjsDomSpace = Document
type RawTextNode GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextNode GhcjsDomSpace = Text
type RawCommentNode GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawCommentNode GhcjsDomSpace = Comment
type RawElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawElement GhcjsDomSpace = Element
type RawInputElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawInputElement GhcjsDomSpace = HTMLInputElement
type RawTextAreaElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextAreaElement GhcjsDomSpace = HTMLTextAreaElement
type RawSelectElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawSelectElement GhcjsDomSpace = HTMLSelectElement
type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomFragment (HydrationDomBuilderT GhcjsDomSpace t m)
type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomBuilderSpace (HydrationDomBuilderT GhcjsDomSpace t m) = GhcjsDomSpace
type Client (HydrationDomBuilderT GhcjsDomSpace t m) Source #
Instance details Defined in Reflex.Dom.Prerender type Client (HydrationDomBuilderT GhcjsDomSpace t m) = HydrationDomBuilderT GhcjsDomSpace t m

newtype GhcjsDomHandler a b Source #

Constructors

GhcjsDomHandler
Fields unGhcjsDomHandler :: a -> JSM b

newtype GhcjsDomHandler1 a b Source #

Constructors

GhcjsDomHandler1
Fields unGhcjsDomHandler1 :: forall (x :: EventTag). a x -> JSM (b x)

newtype GhcjsDomEvent en Source #

Constructors

GhcjsDomEvent
Fields unGhcjsDomEvent :: EventType en

newtype GhcjsEventFilter er en Source #

Constructors

GhcjsEventFilter (GhcjsDomEvent en -> JSM (EventFlags, JSM (Maybe (er en))))

data Pair1 (f :: k -> *) (g :: k -> *) (a :: k) Source #

Constructors

Pair1 (f a) (g a)

data Maybe1 f a Source #

Constructors

Nothing1
Just1 (f a)

data GhcjsEventSpec er Source #

Constructors

GhcjsEventSpec
Fields _ghcjsEventSpec_filters :: DMap EventName (GhcjsEventFilter er) _ghcjsEventSpec_handler :: GhcjsEventHandler er

Instances

er ~ EventResult => Default (GhcjsEventSpec er) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods def :: GhcjsEventSpec er Source #

class Monad m => HasDocument m where Source #

Minimal complete definition

Nothing

Methods

askDocument :: m (RawDocument (DomBuilderSpace m)) Source #

askDocument :: (m ~ f m', RawDocument (DomBuilderSpace m) ~ RawDocument (DomBuilderSpace m'), MonadTrans f, Monad m', HasDocument m') => m (RawDocument (DomBuilderSpace m)) Source #

Instances

HasDocument m => HasDocument (HydratableT m) Source #
Instance details Defined in Reflex.Dom.Builder.Hydratable Methods askDocument :: HydratableT m (RawDocument (DomBuilderSpace (HydratableT m))) Source #
HasDocument m => HasDocument (InputDisabledT m) Source #
Instance details Defined in Reflex.Dom.Builder.InputDisabled Methods askDocument :: InputDisabledT m (RawDocument (DomBuilderSpace (InputDisabledT m))) Source #
HasDocument m => HasDocument (ReaderT r m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: ReaderT r m (RawDocument (DomBuilderSpace (ReaderT r m))) Source #
HasDocument m => HasDocument (PostBuildT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: PostBuildT t m (RawDocument (DomBuilderSpace (PostBuildT t m))) Source #
HasDocument m => HasDocument (DynamicWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: DynamicWriterT t w m (RawDocument (DomBuilderSpace (DynamicWriterT t w m))) Source #
HasDocument m => HasDocument (QueryT t q m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: QueryT t q m (RawDocument (DomBuilderSpace (QueryT t q m))) Source #
HasDocument m => HasDocument (EventWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: EventWriterT t w m (RawDocument (DomBuilderSpace (EventWriterT t w m))) Source #
(SupportsStaticDomBuilder t m, Monad m) => HasDocument (StaticDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Static Methods askDocument :: StaticDomBuilderT t m (RawDocument (DomBuilderSpace (StaticDomBuilderT t m))) Source #
HasDocument m => HasDocument (RequesterT t request response m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: RequesterT t request response m (RawDocument (DomBuilderSpace (RequesterT t request response m))) Source #
(RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document, Monad m) => HasDocument (HydrationDomBuilderT s t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods askDocument :: HydrationDomBuilderT s t m (RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m))) Source #

ghcjsEventSpec_filters :: forall er. Lens' (GhcjsEventSpec er) (DMap EventName (GhcjsEventFilter er)) Source #

ghcjsEventSpec_handler :: forall er. Lens' (GhcjsEventSpec er) (GhcjsEventHandler er) Source #

newtype GhcjsEventHandler er Source #

Constructors

GhcjsEventHandler
Fields unGhcjsEventHandler :: forall en. (EventName en, GhcjsDomEvent en) -> JSM (Maybe (er en))

drawChildUpdate :: (MonadJSM m, Reflex t) => HydrationDomBuilderEnv t m -> (IORef (ChildReadyState k) -> JSM ()) -> HydrationDomBuilderT s t m (f a) -> DomRenderHookT t m (Compose (TraverseChild t m k) f a) Source #

data ChildReadyState a Source #

Constructors

ChildReadyState_Ready
ChildReadyState_Unready !(Maybe a)

Instances

Eq a => Eq (ChildReadyState a) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods (==) :: ChildReadyState a -> ChildReadyState a -> Bool Source # (/=) :: ChildReadyState a -> ChildReadyState a -> Bool Source #
Ord a => Ord (ChildReadyState a) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods compare :: ChildReadyState a -> ChildReadyState a -> Ordering Source # (<) :: ChildReadyState a -> ChildReadyState a -> Bool Source # (<=) :: ChildReadyState a -> ChildReadyState a -> Bool Source # (>) :: ChildReadyState a -> ChildReadyState a -> Bool Source # (>=) :: ChildReadyState a -> ChildReadyState a -> Bool Source # max :: ChildReadyState a -> ChildReadyState a -> ChildReadyState a Source # min :: ChildReadyState a -> ChildReadyState a -> ChildReadyState a Source #
Read a => Read (ChildReadyState a) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods readsPrec :: Int -> ReadS (ChildReadyState a) Source # readList :: ReadS [ChildReadyState a] Source # readPrec :: ReadPrec (ChildReadyState a) Source # readListPrec :: ReadPrec [ChildReadyState a] Source #
Show a => Show (ChildReadyState a) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods showsPrec :: Int -> ChildReadyState a -> ShowS Source # show :: ChildReadyState a -> String Source # showList :: [ChildReadyState a] -> ShowS Source #

mkHasFocus :: (HasDocument m, MonadJSM m, IsNode (RawElement d), MonadHold t m, Reflex t, IsDocumentOrShadowRoot (RawDocument (DomBuilderSpace m))) => Element er d t -> m (Dynamic t Bool) Source #

insertBefore :: (MonadJSM m, IsNode new, IsNode existing) => new -> existing -> m () Source #

type family EventType en where ... Source #

Equations

EventType AbortTag = UIEvent
EventType BlurTag = FocusEvent
EventType ChangeTag = Event
EventType ClickTag = MouseEvent
EventType ContextmenuTag = MouseEvent
EventType DblclickTag = MouseEvent
EventType DragTag = MouseEvent
EventType DragendTag = MouseEvent
EventType DragenterTag = MouseEvent
EventType DragleaveTag = MouseEvent
EventType DragoverTag = MouseEvent
EventType DragstartTag = MouseEvent
EventType DropTag = MouseEvent
EventType ErrorTag = UIEvent
EventType FocusTag = FocusEvent
EventType InputTag = Event
EventType InvalidTag = Event
EventType KeydownTag = KeyboardEvent
EventType KeypressTag = KeyboardEvent
EventType KeyupTag = KeyboardEvent
EventType LoadTag = UIEvent
EventType MousedownTag = MouseEvent
EventType MouseenterTag = MouseEvent
EventType MouseleaveTag = MouseEvent
EventType MousemoveTag = MouseEvent
EventType MouseoutTag = MouseEvent
EventType MouseoverTag = MouseEvent
EventType MouseupTag = MouseEvent
EventType MousewheelTag = MouseEvent
EventType ScrollTag = UIEvent
EventType SelectTag = UIEvent
EventType SubmitTag = Event
EventType WheelTag = WheelEvent
EventType BeforecutTag = ClipboardEvent
EventType CutTag = ClipboardEvent
EventType BeforecopyTag = ClipboardEvent
EventType CopyTag = ClipboardEvent
EventType BeforepasteTag = ClipboardEvent
EventType PasteTag = ClipboardEvent
EventType ResetTag = Event
EventType SearchTag = Event
EventType SelectstartTag = Event
EventType TouchstartTag = TouchEvent
EventType TouchmoveTag = TouchEvent
EventType TouchendTag = TouchEvent
EventType TouchcancelTag = TouchEvent

defaultDomEventHandler :: IsElement e => e -> EventName en -> EventM e (EventType en) (Maybe (EventResult en)) Source #

defaultDomWindowEventHandler :: Window -> EventName en -> EventM Window (EventType en) (Maybe (EventResult en)) Source #

withIsEvent :: EventName en -> (IsEvent (EventType en) => r) -> r Source #

showEventName :: EventName en -> String Source #

elementOnEventName :: IsElement e => EventName en -> e -> EventM e (EventType en) () -> JSM (JSM ()) Source #

windowOnEventName :: EventName en -> Window -> EventM Window (EventType en) () -> JSM (JSM ()) Source #

wrapDomEvent :: (TriggerEvent t m, MonadJSM m) => e -> (e -> EventM e event () -> JSM (JSM ())) -> EventM e event a -> m (Event t a) Source #

subscribeDomEvent :: (EventM e event () -> JSM (JSM ())) -> EventM e event (Maybe a) -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> EventTrigger t a -> JSM (JSM ()) Source #

wrapDomEventMaybe :: (TriggerEvent t m, MonadJSM m) => e -> (e -> EventM e event () -> JSM (JSM ())) -> EventM e event (Maybe a) -> m (Event t a) Source #

wrapDomEventsMaybe :: (MonadJSM m, MonadReflexCreateTrigger t m) => e -> (forall en. IsEvent (EventType en) => EventName en -> EventM e (EventType en) (Maybe (f en))) -> (forall en. EventName en -> e -> EventM e (EventType en) () -> JSM (JSM ())) -> ImmediateDomBuilderT t m (EventSelector t (WrapArg f EventName)) Source #

getKeyEvent :: EventM e KeyboardEvent Word Source #

getMouseEventCoords :: EventM e MouseEvent (Int, Int) Source #

getTouchEvent :: EventM e TouchEvent TouchEventResult Source #

data WindowConfig t Source #

Constructors

WindowConfig

Instances

Default (WindowConfig t) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods def :: WindowConfig t Source #

data Window t Source #

Constructors

Window
Fields _window_events :: EventSelector t (WrapArg EventResult EventName) _window_raw :: Window

wrapWindow :: (MonadJSM m, MonadReflexCreateTrigger t m) => Window -> WindowConfig t -> HydrationDomBuilderT GhcjsDomSpace t m (Window t) Source #

Attributes for controlling hydration

hydratableAttribute :: IsString s => s Source #

An attribute which signals that an element should be hydrated.

skipHydrationAttribute :: IsString s => s Source #

An attribute which causes hydration to skip over an element completely.

Internal

traverseDMapWithKeyWithAdjust' :: forall s t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadJSM m, PrimMonad m, GCompare k, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document) => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> HydrationDomBuilderT s t m (DMap k v', Event t (PatchDMap k v')) Source #

hoistTraverseWithKeyWithAdjust Source #

Arguments

:: (Adjustable t m, MonadHold t m, GCompare k, MonadIO m, MonadJSM m, PrimMonad m, MonadFix m, Patch (p k v), Patch (p k (Constant Int)), PatchTarget (p k (Constant Int)) ~ DMap k (Constant Int), Patch (p k (Compose (TraverseChild t m (Some k)) v')), PatchTarget (p k (Compose (TraverseChild t m (Some k)) v')) ~ DMap k (Compose (TraverseChild t m (Some k)) v'), Monoid (p k (Compose (TraverseChild t m (Some k)) v')), RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document)
=> (forall vv vv'. (forall a. k a -> vv a -> DomRenderHookT t m (vv' a)) -> DMap k vv -> Event t (p k vv) -> DomRenderHookT t m (DMap k vv', Event t (p k vv')))	The base monad's traversal
-> (forall vv vv'. (forall a. vv a -> vv' a) -> p k vv -> p k vv')	A way of mapping over the patch type
-> (p k (Compose (TraverseChild t m (Some k)) v') -> DMap k (Constant (IORef (ChildReadyState (Some k)))) -> IO (DMap k (Constant (IORef (ChildReadyState (Some k))))))	Given a patch for the children DOM elements, produce a patch for the childrens' unreadiness state
-> (IORef (Map (Some k) Text) -> Text -> p k (Compose (TraverseChild t m (Some k)) v') -> JSM ())	Apply a patch to the DOM
-> (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
-> DMap k v
-> Event t (p k v)
-> HydrationDomBuilderT s t m (DMap k v', Event t (p k v'))

traverseIntMapWithKeyWithAdjust' :: forall s t m v v'. (Adjustable t m, MonadJSM m, MonadFix m, PrimMonad m, MonadHold t m, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document) => (Key -> v -> HydrationDomBuilderT s t m v') -> IntMap v -> Event t (PatchIntMap v) -> HydrationDomBuilderT s t m (IntMap v', Event t (PatchIntMap v')) Source #

hoistTraverseIntMapWithKeyWithAdjust Source #

Arguments

:: (Adjustable t m, MonadHold t m, MonadJSM m, MonadFix m, PrimMonad m, Monoid (p (TraverseChild t m Int v')), Functor p, PatchTarget (p (HydrationRunnerT t m ())) ~ IntMap (HydrationRunnerT t m ()), PatchTarget (p (TraverseChild t m Int v')) ~ IntMap (TraverseChild t m Int v'), Patch (p (HydrationRunnerT t m ())), Patch (p (TraverseChild t m Int v')), RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document)
=> ((Key -> v -> DomRenderHookT t m (TraverseChild t m Int v')) -> IntMap v -> Event t (p v) -> DomRenderHookT t m (IntMap (TraverseChild t m Int v'), Event t (p (TraverseChild t m Int v'))))	The base monad's traversal
-> (p (TraverseChild t m Int v') -> IntMap (IORef (ChildReadyState Int)) -> IO (IntMap (IORef (ChildReadyState Int))))	Given a patch for the children DOM elements, produce a patch for the childrens' unreadiness state
-> (IORef (IntMap Text) -> Text -> p (TraverseChild t m Int v') -> JSM ())	Apply a patch to the DOM
-> (Key -> v -> HydrationDomBuilderT s t m v')
-> IntMap v
-> Event t (p v)
-> HydrationDomBuilderT s t m (IntMap v', Event t (p v'))