Reflex.Dom.Builder.Static

Documentation

data StaticDomBuilderEnv t

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

Constructors

StaticDomBuilderT

Fields

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

Instances

MonadSample t m => MonadSample (t :: k) (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

sample :: Behavior t a -> StaticDomBuilderT t m a

MonadHold t m => MonadHold (t :: k) (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

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

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

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

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

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

SupportsStaticDomBuilder t m => Prerender JS' t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Prerender

Associated Types

type Client (StaticDomBuilderT t m) :: Type -> Type

Methods

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

SupportsStaticDomBuilder t m => NotReady t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

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

notReady :: StaticDomBuilderT t m ()

PerformEvent t m => PerformEvent t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Associated Types

type Performable (StaticDomBuilderT t m) :: Type -> Type

Methods

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

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

(Monad m, Ref m ~ Ref IO, Reflex t) => TriggerEvent t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

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

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

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

PostBuild t m => PostBuild t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

getPostBuild :: StaticDomBuilderT t m (Event t ())

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

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

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

(Reflex t, Adjustable t m, MonadHold t m, SupportsStaticDomBuilder t m) => Adjustable t (StaticDomBuilderT t m)

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)

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

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

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

SupportsStaticDomBuilder t m => DomBuilder t (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Associated Types

type DomBuilderSpace (StaticDomBuilderT t m)

Methods

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

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

element :: forall (er :: EventTag -> Type) a. Text -> ElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m a -> StaticDomBuilderT t m (Element er (DomBuilderSpace (StaticDomBuilderT t m)) t, a)

inputElement :: forall (er :: EventTag -> Type). InputElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (InputElement er (DomBuilderSpace (StaticDomBuilderT t m)) t)

textAreaElement :: forall (er :: EventTag -> Type). TextAreaElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (TextAreaElement er (DomBuilderSpace (StaticDomBuilderT t m)) t)

selectElement :: forall (er :: EventTag -> Type) a. SelectElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m a -> StaticDomBuilderT t m (SelectElement er (DomBuilderSpace (StaticDomBuilderT t m)) t, a)

placeRawElement :: RawElement (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m ()

wrapRawElement :: forall (er :: EventTag -> Type). RawElement (DomBuilderSpace (StaticDomBuilderT t m)) -> RawElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (Element er (DomBuilderSpace (StaticDomBuilderT t m)) t)

MonadTrans (StaticDomBuilderT t)

Defined in Reflex.Dom.Builder.Static

Methods

lift :: Monad m => m a -> StaticDomBuilderT t m a

Monad m => Monad (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

(>>=) :: StaticDomBuilderT t m a -> (a -> StaticDomBuilderT t m b) -> StaticDomBuilderT t m b

(>>) :: StaticDomBuilderT t m a -> StaticDomBuilderT t m b -> StaticDomBuilderT t m b

return :: a -> StaticDomBuilderT t m a

Functor m => Functor (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

fmap :: (a -> b) -> StaticDomBuilderT t m a -> StaticDomBuilderT t m b

(<$) :: a -> StaticDomBuilderT t m b -> StaticDomBuilderT t m a

MonadFix m => MonadFix (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

mfix :: (a -> StaticDomBuilderT t m a) -> StaticDomBuilderT t m a

Monad m => Applicative (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

pure :: a -> StaticDomBuilderT t m a

(<*>) :: StaticDomBuilderT t m (a -> b) -> StaticDomBuilderT t m a -> StaticDomBuilderT t m b

liftA2 :: (a -> b -> c) -> StaticDomBuilderT t m a -> StaticDomBuilderT t m b -> StaticDomBuilderT t m c

(*>) :: StaticDomBuilderT t m a -> StaticDomBuilderT t m b -> StaticDomBuilderT t m b

(<*) :: StaticDomBuilderT t m a -> StaticDomBuilderT t m b -> StaticDomBuilderT t m a

MonadIO m => MonadIO (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

liftIO :: IO a -> StaticDomBuilderT t m a

MonadException m => MonadException (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

throw :: Exception e => e -> StaticDomBuilderT t m a

catch :: Exception e => StaticDomBuilderT t m a -> (e -> StaticDomBuilderT t m a) -> StaticDomBuilderT t m a

finally :: StaticDomBuilderT t m a -> StaticDomBuilderT t m b -> StaticDomBuilderT t m a

MonadAsyncException m => MonadAsyncException (StaticDomBuilderT t m)

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

PrimMonad m => PrimMonad (StaticDomBuilderT x m)

Defined in Reflex.Dom.Builder.Static

Associated Types

type PrimState (StaticDomBuilderT x m)

Methods

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

MonadRef m => MonadRef (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Associated Types

type Ref (StaticDomBuilderT t m) :: Type -> Type

Methods

newRef :: a -> StaticDomBuilderT t m (Ref (StaticDomBuilderT t m) a)

readRef :: Ref (StaticDomBuilderT t m) a -> StaticDomBuilderT t m a

writeRef :: Ref (StaticDomBuilderT t m) a -> a -> StaticDomBuilderT t m ()

modifyRef :: Ref (StaticDomBuilderT t m) a -> (a -> a) -> StaticDomBuilderT t m ()

modifyRef' :: Ref (StaticDomBuilderT t m) a -> (a -> a) -> StaticDomBuilderT t m ()

MonadAtomicRef m => MonadAtomicRef (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

atomicModifyRef :: Ref (StaticDomBuilderT t m) a -> (a -> (a, b)) -> StaticDomBuilderT t m b

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

(SupportsStaticDomBuilder t m, Monad m) => HasDocument (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

Methods

askDocument :: StaticDomBuilderT t m (RawDocument (DomBuilderSpace (StaticDomBuilderT t m)))

type PrimState (StaticDomBuilderT x m)

Defined in Reflex.Dom.Builder.Static

type PrimState (StaticDomBuilderT x m) = PrimState m

type Ref (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

type Ref (StaticDomBuilderT t m) = Ref m

type Performable (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

type Performable (StaticDomBuilderT t m) = Performable m

type DomBuilderSpace (StaticDomBuilderT t m)

Defined in Reflex.Dom.Builder.Static

type DomBuilderSpace (StaticDomBuilderT t m) = StaticDomSpace

type Client (StaticDomBuilderT t m)

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)

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

Instances

DomSpace StaticDomSpace

Defined in Reflex.Dom.Builder.Static

Associated Types

type EventSpec StaticDomSpace :: (EventTag -> Type) -> Type

type RawDocument StaticDomSpace

type RawTextNode StaticDomSpace

type RawCommentNode StaticDomSpace

type RawElement StaticDomSpace

type RawInputElement StaticDomSpace

type RawTextAreaElement StaticDomSpace

type RawSelectElement StaticDomSpace

Methods

addEventSpecFlags :: forall proxy (en :: EventTag) er. proxy StaticDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec StaticDomSpace er -> EventSpec StaticDomSpace er

type EventSpec StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type EventSpec StaticDomSpace = StaticEventSpec

type RawDocument StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawDocument StaticDomSpace = ()

type RawTextNode StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawTextNode StaticDomSpace = ()

type RawCommentNode StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawCommentNode StaticDomSpace = ()

type RawElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawElement StaticDomSpace = ()

type RawInputElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawInputElement StaticDomSpace = ()

type RawTextAreaElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawTextAreaElement StaticDomSpace = ()

type RawSelectElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawSelectElement StaticDomSpace = ()

data StaticDomEvent (a :: k)

Static documents never produce any events, so this type has no inhabitants

data StaticDomHandler (a :: k) (b :: k)

Static documents don't process events, so all handlers are equivalent

Constructors

StaticDomHandler

data StaticEventSpec (er :: EventTag -> *)

Constructors

StaticEventSpec

Instances

Generic (StaticEventSpec er)

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)

Defined in Reflex.Dom.Builder.Static

Methods

def :: StaticEventSpec er

type Rep (StaticEventSpec er)

Defined in Reflex.Dom.Builder.Static

type Rep (StaticEventSpec er) = D1 ('MetaData "StaticEventSpec" "Reflex.Dom.Builder.Static" "reflex-dom-core-0.6.0.0-inplace" 'False) (C1 ('MetaCons "StaticEventSpec" 'PrefixI 'False) (U1 :: Type -> Type))

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

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

hoistIntMapWithKeyWithAdjust

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

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))

renderStatic :: StaticWidget x a -> IO (a, ByteString)