reflex-dom-core-0.8.0.0: Functional Reactive Web Apps with Reflex

Safe HaskellNone
LanguageHaskell98

Reflex.Dom.Builder.Hydratable

Synopsis

Documentation

newtype HydratableT m a Source #

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

Instances
MonadTrans HydratableT Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

MonadTransControl HydratableT Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type StT HydratableT a :: Type Source #

Methods

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

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

NotReady t m => NotReady t (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

PerformEvent t m => PerformEvent t (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

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

TriggerEvent t m => TriggerEvent t (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

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

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

PostBuild t m => PostBuild t (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

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

Adjustable t m => Adjustable t (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

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

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')) Source #

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')) Source #

DomBuilder t m => DomBuilder t (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type DomBuilderSpace (HydratableT m) :: Type Source #

(Prerender t m, Monad m) => Prerender t (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Prerender

Associated Types

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

Monad m => Monad (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

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

return :: a -> HydratableT m a Source #

fail :: String -> HydratableT m a Source #

Functor m => Functor (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

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

MonadFix m => MonadFix (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

Applicative m => Applicative (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

pure :: a -> HydratableT m a Source #

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

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

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

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

MonadIO m => MonadIO (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

liftIO :: IO a -> HydratableT m a Source #

MonadJSM m => MonadJSM (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

liftJSM' :: JSM a -> HydratableT m a Source #

PrimMonad m => PrimMonad (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

type PrimState (HydratableT m) :: Type Source #

MonadRef m => MonadRef (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Associated Types

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

Methods

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

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

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

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

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

MonadAtomicRef m => MonadAtomicRef (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

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

HasDocument m => HasDocument (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

MonadSample t m => MonadSample (t :: Type) (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

sample :: Behavior t a -> HydratableT m a Source #

MonadHold t m => MonadHold (t :: Type) (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

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

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

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

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

now :: HydratableT m (Event t ()) Source #

DomRenderHook t m => DomRenderHook (t :: Type) (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

Methods

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

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

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

type StT HydratableT a Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

type StT HydratableT a = a
type PrimState (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

type Ref (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

type Ref (HydratableT m) = Ref m
type Performable (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

type DomBuilderSpace (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Builder.Hydratable

type Client (HydratableT m) Source # 
Instance details

Defined in Reflex.Dom.Prerender