| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Reflex.Dom.Builder.Static
Synopsis
- data StaticDomBuilderEnv t = StaticDomBuilderEnv {}
- newtype StaticDomBuilderT t m a = StaticDomBuilderT {
- unStaticDomBuilderT :: ReaderT (StaticDomBuilderEnv t) (StateT [Behavior t Builder] m) a
- runStaticDomBuilderT :: (Monad m, Reflex t) => StaticDomBuilderT t m a -> StaticDomBuilderEnv t -> m (a, Behavior t Builder)
- type SupportsStaticDomBuilder t m = (Reflex t, MonadIO m, MonadHold t m, MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadRef m, Ref m ~ Ref IO, Adjustable t m)
- data StaticDomSpace
- data StaticDomEvent (a :: k)
- data StaticDomHandler (a :: k) (b :: k) = StaticDomHandler
- data StaticEventSpec (er :: EventTag -> *) = StaticEventSpec
- replaceStart :: (DomBuilder t m, MonadIO m) => StaticDomBuilderEnv t -> m Text
- replaceEnd :: DomBuilder t m => Text -> m ()
- hoistIntMapWithKeyWithAdjust :: forall t m p a b. (Adjustable t m, MonadHold t m, Patch (p a), Functor p, Patch (p (Behavior t Builder)), PatchTarget (p (Behavior t Builder)) ~ IntMap (Behavior t Builder), Ref m ~ IORef, MonadIO m, MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadRef m) => (forall x. (Key -> a -> m x) -> IntMap a -> Event t (p a) -> m (IntMap x, Event t (p x))) -> (Key -> a -> StaticDomBuilderT t m b) -> IntMap a -> Event t (p a) -> StaticDomBuilderT t m (IntMap b, Event t (p b))
- hoistDMapWithKeyWithAdjust :: forall (k :: * -> *) v v' t m p. (Adjustable t m, MonadHold t m, PatchTarget (p k (Constant (Behavior t Builder))) ~ DMap k (Constant (Behavior t Builder)), Patch (p k (Constant (Behavior t Builder))), Ref m ~ IORef, MonadIO m, MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadRef m) => (forall vv vv'. (forall a. k a -> vv a -> m (vv' a)) -> DMap k vv -> Event t (p k vv) -> m (DMap k vv', Event t (p k vv'))) -> (forall vv vv'. (forall a. vv a -> vv' a) -> p k vv -> p k vv') -> (forall a. k a -> v a -> StaticDomBuilderT t m (v' a)) -> DMap k v -> Event t (p k v) -> StaticDomBuilderT t m (DMap k v', Event t (p k v'))
- type StaticWidget x = PostBuildT DomTimeline (StaticDomBuilderT DomTimeline (PerformEventT DomTimeline DomHost))
- renderStatic :: StaticWidget x a -> IO (a, ByteString)
Documentation
data StaticDomBuilderEnv t Source #
Constructors
| StaticDomBuilderEnv | |
Fields
| |
newtype StaticDomBuilderT t m a Source #
Constructors
| StaticDomBuilderT | |
Fields
| |
Instances
runStaticDomBuilderT :: (Monad m, Reflex t) => StaticDomBuilderT t m a -> StaticDomBuilderEnv t -> m (a, Behavior t Builder) Source #
type SupportsStaticDomBuilder t m = (Reflex t, MonadIO m, MonadHold t m, MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadRef m, Ref m ~ Ref IO, Adjustable t m) Source #
data StaticDomSpace Source #
Instances
data StaticDomEvent (a :: k) Source #
Static documents never produce any events, so this type has no inhabitants
data StaticDomHandler (a :: k) (b :: k) Source #
Static documents don't process events, so all handlers are equivalent
Constructors
| StaticDomHandler |
data StaticEventSpec (er :: EventTag -> *) Source #
Constructors
| StaticEventSpec |
Instances
| Generic (StaticEventSpec er) Source # | |
Defined in Reflex.Dom.Builder.Static Associated Types type Rep (StaticEventSpec er) :: Type -> Type # Methods from :: StaticEventSpec er -> Rep (StaticEventSpec er) x # to :: Rep (StaticEventSpec er) x -> StaticEventSpec er # | |
| Default (StaticEventSpec er) Source # | |
Defined in Reflex.Dom.Builder.Static Methods def :: StaticEventSpec er # | |
| type Rep (StaticEventSpec er) Source # | |
replaceStart :: (DomBuilder t m, MonadIO m) => StaticDomBuilderEnv t -> m Text Source #
replaceEnd :: DomBuilder t m => Text -> m () Source #
hoistIntMapWithKeyWithAdjust Source #
Arguments
| :: forall t m p a b. (Adjustable t m, MonadHold t m, Patch (p a), Functor p, Patch (p (Behavior t Builder)), PatchTarget (p (Behavior t Builder)) ~ IntMap (Behavior t Builder), Ref m ~ IORef, MonadIO m, MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadRef m) | |
| => (forall x. (Key -> a -> m x) -> IntMap a -> Event t (p a) -> m (IntMap x, Event t (p x))) | The base monad's traversal |
| -> (Key -> a -> StaticDomBuilderT t m b) | |
| -> IntMap a | |
| -> Event t (p a) | |
| -> StaticDomBuilderT t m (IntMap b, Event t (p b)) |
hoistDMapWithKeyWithAdjust Source #
Arguments
| :: forall (k :: * -> *) v v' t m p. (Adjustable t m, MonadHold t m, PatchTarget (p k (Constant (Behavior t Builder))) ~ DMap k (Constant (Behavior t Builder)), Patch (p k (Constant (Behavior t Builder))), Ref m ~ IORef, MonadIO m, MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadRef m) | |
| => (forall vv vv'. (forall a. k a -> vv a -> m (vv' a)) -> DMap k vv -> Event t (p k vv) -> 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 |
| -> (forall a. k a -> v a -> StaticDomBuilderT t m (v' a)) | |
| -> DMap k v | |
| -> Event t (p k v) | |
| -> StaticDomBuilderT t m (DMap k v', Event t (p k v')) |
type StaticWidget x = PostBuildT DomTimeline (StaticDomBuilderT DomTimeline (PerformEventT DomTimeline DomHost)) Source #
renderStatic :: StaticWidget x a -> IO (a, ByteString) Source #