Reflex.Dom.Builder.Hydratable

Documentation

newtype HydratableT m a

A DomBuilder transformer that adds an attribute to all elements such that the hydration builder knows which bits of DOM were added by us, and which were added by external scripts.

Constructors

HydratableT

Fields

• runHydratableT :: m a

Instances

MonadTrans HydratableT

Defined in Reflex.Dom.Builder.Hydratable

Methods

lift :: Monad m => m a -> HydratableT m a

MonadTransControl HydratableT

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type StT HydratableT a :: Type

Methods

liftWith :: Monad m => (Run HydratableT -> m a) -> HydratableT m a

restoreT :: Monad m => m (StT HydratableT a) -> HydratableT m a

NotReady t m => NotReady t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

notReadyUntil :: Event t a -> HydratableT m ()

notReady :: HydratableT m ()

PerformEvent t m => PerformEvent t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type Performable (HydratableT m) :: Type -> Type

Methods

performEvent :: Event t (Performable (HydratableT m) a) -> HydratableT m (Event t a)

performEvent_ :: Event t (Performable (HydratableT m) ()) -> HydratableT m ()

TriggerEvent t m => TriggerEvent t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

newTriggerEvent :: HydratableT m (Event t a, a -> IO ())

newTriggerEventWithOnComplete :: HydratableT m (Event t a, a -> IO () -> IO ())

newEventWithLazyTriggerWithOnComplete :: ((a -> IO () -> IO ()) -> IO (IO ())) -> HydratableT m (Event t a)

PostBuild t m => PostBuild t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

getPostBuild :: HydratableT m (Event t ())

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

newEventWithTrigger :: (EventTrigger t a -> IO (IO ())) -> HydratableT m (Event t a)

newFanEventWithTrigger :: GCompare k => (forall a. k a -> EventTrigger t a -> IO (IO ())) -> HydratableT m (EventSelector t k)

Adjustable t m => Adjustable t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

runWithReplace :: HydratableT m a -> Event t (HydratableT m b) -> HydratableT m (a, Event t b)

traverseIntMapWithKeyWithAdjust :: (Key -> v -> HydratableT m v') -> IntMap v -> Event t (PatchIntMap v) -> HydratableT m (IntMap v', Event t (PatchIntMap v'))

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> HydratableT m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> HydratableT m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> HydratableT m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> HydratableT m (DMap k v', Event t (PatchDMapWithMove k v'))

DomBuilder t m => DomBuilder t (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type DomBuilderSpace (HydratableT m) :: Type

Methods

textNode :: TextNodeConfig t -> HydratableT m (TextNode (DomBuilderSpace (HydratableT m)) t)

commentNode :: CommentNodeConfig t -> HydratableT m (CommentNode (DomBuilderSpace (HydratableT m)) t)

element :: Text -> ElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m a -> HydratableT m (Element er (DomBuilderSpace (HydratableT m)) t, a)

inputElement :: InputElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (InputElement er (DomBuilderSpace (HydratableT m)) t)

textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (TextAreaElement er (DomBuilderSpace (HydratableT m)) t)

selectElement :: SelectElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m a -> HydratableT m (SelectElement er (DomBuilderSpace (HydratableT m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (HydratableT m)) -> HydratableT m ()

wrapRawElement :: RawElement (DomBuilderSpace (HydratableT m)) -> RawElementConfig er t (DomBuilderSpace (HydratableT m)) -> HydratableT m (Element er (DomBuilderSpace (HydratableT m)) t)

(Prerender t m, Monad m) => Prerender t (HydratableT m)

Defined in Reflex.Dom.Prerender

Associated Types

type Client (HydratableT m) :: Type -> Type

Methods

prerender :: HydratableT m a -> Client (HydratableT m) a -> HydratableT m (Dynamic t a)

Monad m => Monad (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

(>>=) :: HydratableT m a -> (a -> HydratableT m b) -> HydratableT m b

(>>) :: HydratableT m a -> HydratableT m b -> HydratableT m b

return :: a -> HydratableT m a

fail :: String -> HydratableT m a

Functor m => Functor (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

fmap :: (a -> b) -> HydratableT m a -> HydratableT m b

(<$) :: a -> HydratableT m b -> HydratableT m a

MonadFix m => MonadFix (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

mfix :: (a -> HydratableT m a) -> HydratableT m a

Applicative m => Applicative (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

pure :: a -> HydratableT m a

(<*>) :: HydratableT m (a -> b) -> HydratableT m a -> HydratableT m b

liftA2 :: (a -> b -> c) -> HydratableT m a -> HydratableT m b -> HydratableT m c

(*>) :: HydratableT m a -> HydratableT m b -> HydratableT m b

(<*) :: HydratableT m a -> HydratableT m b -> HydratableT m a

MonadIO m => MonadIO (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

liftIO :: IO a -> HydratableT m a

MonadJSM m => MonadJSM (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

liftJSM' :: JSM a -> HydratableT m a

PrimMonad m => PrimMonad (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type PrimState (HydratableT m) :: Type

Methods

primitive :: (State# (PrimState (HydratableT m)) -> (#State# (PrimState (HydratableT m)), a#)) -> HydratableT m a

MonadRef m => MonadRef (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type Ref (HydratableT m) :: Type -> Type

Methods

newRef :: a -> HydratableT m (Ref (HydratableT m) a)

readRef :: Ref (HydratableT m) a -> HydratableT m a

writeRef :: Ref (HydratableT m) a -> a -> HydratableT m ()

modifyRef :: Ref (HydratableT m) a -> (a -> a) -> HydratableT m ()

modifyRef' :: Ref (HydratableT m) a -> (a -> a) -> HydratableT m ()

MonadAtomicRef m => MonadAtomicRef (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

atomicModifyRef :: Ref (HydratableT m) a -> (a -> (a, b)) -> HydratableT m b

atomicModifyRef' :: Ref (HydratableT m) a -> (a -> (a, b)) -> HydratableT m b

HasDocument m => HasDocument (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

askDocument :: HydratableT m (RawDocument (DomBuilderSpace (HydratableT m)))

MonadSample t m => MonadSample (t :: Type) (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

sample :: Behavior t a -> HydratableT m a

MonadHold t m => MonadHold (t :: Type) (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

hold :: a -> Event t a -> HydratableT m (Behavior t a)

holdDyn :: a -> Event t a -> HydratableT m (Dynamic t a)

holdIncremental :: Patch p => PatchTarget p -> Event t p -> HydratableT m (Incremental t p)

buildDynamic :: PushM t a -> Event t a -> HydratableT m (Dynamic t a)

headE :: Event t a -> HydratableT m (Event t a)

now :: HydratableT m (Event t ())

DomRenderHook t m => DomRenderHook (t :: Type) (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> HydratableT m a -> HydratableT m a

requestDomAction :: Event t (JSM a) -> HydratableT m (Event t a)

requestDomAction_ :: Event t (JSM a) -> HydratableT m ()

type StT HydratableT a

Defined in Reflex.Dom.Builder.Hydratable

type StT HydratableT a = a

type PrimState (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

type PrimState (HydratableT m) = PrimState m

type Ref (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

type Ref (HydratableT m) = Ref m

type Performable (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

type Performable (HydratableT m) = Performable m

type DomBuilderSpace (HydratableT m)

Defined in Reflex.Dom.Builder.Hydratable

type DomBuilderSpace (HydratableT m) = DomBuilderSpace m

type Client (HydratableT m)

Defined in Reflex.Dom.Prerender

type Client (HydratableT m) = HydratableT (Client m)

makeHydratable :: Reflex t => ElementConfig er t m -> ElementConfig er t m