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

_staticDomBuilderEnv_shouldEscape :: Bool
_staticDomBuilderEnv_selectValue :: Maybe (Behavior t Text)
When the parent element is a "select" whose value has been set, this value tells us the current value. We use this to add a "selected" attribute to the appropriate "option" child element. This is not yet a perfect simulation of what the browser does, but it is much closer than doing nothing. TODO: Handle edge cases, e.g. setting to a value for which there is no option, then adding that option dynamically afterwards.
_staticDomBuilderEnv_nextRunWithReplaceKey :: IORef Int

newtype StaticDomBuilderT t m a Source #

Constructors

StaticDomBuilderT
Fields unStaticDomBuilderT :: ReaderT (StaticDomBuilderEnv t) (StateT [Behavior t Builder] m) a

Instances

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

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

DomSpace StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static Associated Types type EventSpec StaticDomSpace :: (EventTag -> Type) -> Type Source # type RawDocument StaticDomSpace :: Type Source # type RawTextNode StaticDomSpace :: Type Source # type RawCommentNode StaticDomSpace :: Type Source # type RawElement StaticDomSpace :: Type Source # type RawInputElement StaticDomSpace :: Type Source # type RawTextAreaElement StaticDomSpace :: Type Source # type RawSelectElement StaticDomSpace :: Type Source # Methods addEventSpecFlags :: proxy StaticDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec StaticDomSpace er -> EventSpec StaticDomSpace er Source #
type EventSpec StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type EventSpec StaticDomSpace = StaticEventSpec
type RawDocument StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawDocument StaticDomSpace = ()
type RawTextNode StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawTextNode StaticDomSpace = ()
type RawCommentNode StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawCommentNode StaticDomSpace = ()
type RawElement StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawElement StaticDomSpace = ()
type RawInputElement StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawInputElement StaticDomSpace = ()
type RawTextAreaElement StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawTextAreaElement StaticDomSpace = ()
type RawSelectElement StaticDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Static type RawSelectElement StaticDomSpace = ()

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 #
Instance details Defined in Reflex.Dom.Builder.Static Associated Types type Rep (StaticEventSpec er) :: Type -> Type Source # Methods from :: StaticEventSpec er -> Rep (StaticEventSpec er) x Source # to :: Rep (StaticEventSpec er) x -> StaticEventSpec er Source #
Default (StaticEventSpec er) Source #
Instance details Defined in Reflex.Dom.Builder.Static Methods def :: StaticEventSpec er Source #
type Rep (StaticEventSpec er) Source #
Instance details Defined in Reflex.Dom.Builder.Static type Rep (StaticEventSpec er) = D1 (MetaData "StaticEventSpec" "Reflex.Dom.Builder.Static" "reflex-dom-core-0.8.0.0-inplace" False) (C1 (MetaCons "StaticEventSpec" PrefixI False) (U1 :: Type -> Type))

replaceStart :: (DomBuilder t m, MonadIO m) => StaticDomBuilderEnv t -> m Text Source #

replaceEnd :: DomBuilder t m => Text -> m () Source #

hoistIntMapWithKeyWithAdjust Source #

Arguments

:: (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 :: * -> *). (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 #