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.

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 => 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) :: * -> *

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)

(Reflex t, Adjustable t m, MonadHold 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'))

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)

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)

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

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

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

selectElement :: 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 :: RawElement (DomBuilderSpace (StaticDomBuilderT t m)) -> RawElementConfig er t (DomBuilderSpace (StaticDomBuilderT t m)) -> StaticDomBuilderT t m (Element er (DomBuilderSpace (StaticDomBuilderT t m)) t)

js ~ NoJavaScript => Prerender js (StaticDomBuilderT t m)

Defined in Reflex.Dom.Prerender

Methods

prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js (StaticDomBuilderT t m)))

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

fail :: String -> 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) :: * -> *

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

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 RawDocument StaticDomSpace :: *

type RawTextNode StaticDomSpace :: *

type RawElement StaticDomSpace :: *

type RawFile StaticDomSpace :: *

type RawInputElement StaticDomSpace :: *

type RawTextAreaElement StaticDomSpace :: *

type RawSelectElement StaticDomSpace :: *

Methods

addEventSpecFlags :: 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 RawElement StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawElement StaticDomSpace = ()

type RawFile StaticDomSpace

Defined in Reflex.Dom.Builder.Static

type RawFile 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) :: * -> *

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.4-6BHQBkAujGvIvLjxUShLsN" False) (C1 (MetaCons "StaticEventSpec" PrefixI False) (U1 :: * -> *))

hoistDMapWithKeyWithAdjust

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

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