Reflex.Dom.Builder.Immediate

Documentation

newtype EventTriggerRef t a

A reference to an EventTrigger suitable for firing with TriggerEventT.

Constructors

EventTriggerRef

Fields

• unEventTriggerRef :: IORef (Maybe (EventTrigger t a))

data ImmediateDomBuilderEnv t

Constructors

ImmediateDomBuilderEnv

Fields

• _immediateDomBuilderEnv_document :: !Document
• _immediateDomBuilderEnv_parent :: !Node
• _immediateDomBuilderEnv_unreadyChildren :: !(IORef Word)
• _immediateDomBuilderEnv_commitAction :: !(JSM ())

newtype ImmediateDomBuilderT t m a

Constructors

ImmediateDomBuilderT

Fields

• unImmediateDomBuilderT :: ReaderT (ImmediateDomBuilderEnv t) (RequesterT t JSM Identity (TriggerEventT t m)) a

Instances

SupportsImmediateDomBuilder t m => NotReady t (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

notReady :: ImmediateDomBuilderT t m ()

PerformEvent t m => PerformEvent t (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type Performable (ImmediateDomBuilderT t m) :: * -> *

Methods

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

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

(Monad m, MonadRef m, Ref m ~ Ref IO, MonadReflexCreateTrigger t m) => TriggerEvent t (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

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

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

PostBuild t m => PostBuild t (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

getPostBuild :: ImmediateDomBuilderT t m (Event t ())

(Reflex t, Adjustable t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m) => Adjustable t (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

runWithReplace :: ImmediateDomBuilderT t m a -> Event t (ImmediateDomBuilderT t m b) -> ImmediateDomBuilderT t m (a, Event t b)

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

traverseDMapWithKeyWithAdjust :: GCompare k => (forall a. k a -> v a -> ImmediateDomBuilderT t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> ImmediateDomBuilderT t m (DMap k v', Event t (PatchDMap k v'))

traverseDMapWithKeyWithAdjustWithMove :: GCompare k => (forall a. k a -> v a -> ImmediateDomBuilderT t m (v' a)) -> DMap k v -> Event t (PatchDMapWithMove k v) -> ImmediateDomBuilderT t m (DMap k v', Event t (PatchDMapWithMove k v'))

MonadReflexCreateTrigger t m => MonadReflexCreateTrigger t (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

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

(HasJS x m, ReflexHost t) => HasJS x (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type JSX (ImmediateDomBuilderT t m) :: * -> *

Methods

liftJS :: JSX (ImmediateDomBuilderT t m) a -> ImmediateDomBuilderT t m a

SupportsImmediateDomBuilder t m => MountableDomBuilder t (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomFragment (ImmediateDomBuilderT t m) :: *

Methods

buildDomFragment :: ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m (DomFragment (ImmediateDomBuilderT t m), a)

mountDomFragment :: DomFragment (ImmediateDomBuilderT t m) -> Event t (DomFragment (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m ()

SupportsImmediateDomBuilder t m => DomBuilder t (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type DomBuilderSpace (ImmediateDomBuilderT t m) :: *

Methods

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

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

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

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

selectElement :: SelectElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m (SelectElement er (DomBuilderSpace (ImmediateDomBuilderT t m)) t, a)

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

wrapRawElement :: RawElement (DomBuilderSpace (ImmediateDomBuilderT t m)) -> RawElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m (Element er (DomBuilderSpace (ImmediateDomBuilderT t m)) t)

(HasJS js m, HasJS js (Performable m), HasJSContext m, HasJSContext (Performable m), MonadJSM m, MonadJSM (Performable m), MonadFix m, MonadFix (Performable m), ReflexHost t) => Prerender js (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Prerender

Methods

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

MonadTrans (ImmediateDomBuilderT t)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

MonadSample t m => MonadSample (t :: *) (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

MonadHold t m => MonadHold (t :: *) (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

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

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

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

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

(Reflex t, MonadFix m) => DomRenderHook (t :: *) (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

withRenderHook :: (forall x. JSM x -> JSM x) -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m a

requestDomAction :: Event t (JSM a) -> ImmediateDomBuilderT t m (Event t a)

requestDomAction_ :: Event t (JSM a) -> ImmediateDomBuilderT t m ()

Monad m => Monad (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

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

return :: a -> ImmediateDomBuilderT t m a

fail :: String -> ImmediateDomBuilderT t m a

Functor m => Functor (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

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

MonadFix m => MonadFix (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

Monad m => Applicative (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

pure :: a -> ImmediateDomBuilderT t m a

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

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

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

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

MonadIO m => MonadIO (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

liftIO :: IO a -> ImmediateDomBuilderT t m a

MonadException m => MonadException (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

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

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

MonadAsyncException m => MonadAsyncException (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

mask :: ((forall a. ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m a) -> ImmediateDomBuilderT t m b) -> ImmediateDomBuilderT t m b

MonadJSM m => MonadJSM (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

liftJSM' :: JSM a -> ImmediateDomBuilderT t m a

PrimMonad m => PrimMonad (ImmediateDomBuilderT x m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type PrimState (ImmediateDomBuilderT x m) :: *

Methods

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

MonadRef m => MonadRef (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type Ref (ImmediateDomBuilderT t m) :: * -> *

Methods

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

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

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

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

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

MonadAtomicRef m => MonadAtomicRef (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

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

HasJSContext m => HasJSContext (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type JSContextPhantom (ImmediateDomBuilderT t m) :: *

Methods

askJSContext :: ImmediateDomBuilderT t m (JSContextSingleton (JSContextPhantom (ImmediateDomBuilderT t m)))

Monad m => HasDocument (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

type PrimState (ImmediateDomBuilderT x m)

Defined in Reflex.Dom.Builder.Immediate

type PrimState (ImmediateDomBuilderT x m) = PrimState m

type Ref (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

type Ref (ImmediateDomBuilderT t m) = Ref m

type Performable (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

type Performable (ImmediateDomBuilderT t m) = Performable m

type JSX (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

type JSX (ImmediateDomBuilderT t m) = JSX m

type JSContextPhantom (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

type JSContextPhantom (ImmediateDomBuilderT t m) = JSContextPhantom m

type DomFragment (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

type DomFragment (ImmediateDomBuilderT t m)

type DomBuilderSpace (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

type DomBuilderSpace (ImmediateDomBuilderT t m) = GhcjsDomSpace

runImmediateDomBuilderT :: (MonadFix m, PerformEvent t m, MonadReflexCreateTrigger t m, MonadJSM m, MonadJSM (Performable m), MonadRef m, Ref m ~ IORef) => ImmediateDomBuilderT t m a -> ImmediateDomBuilderEnv t -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> m a

askParent :: Monad m => ImmediateDomBuilderT t m Node

askEvents :: Monad m => ImmediateDomBuilderT t m (Chan [DSum (EventTriggerRef t) TriggerInvocation])

append :: MonadJSM m => Node -> ImmediateDomBuilderT t m ()

textNodeInternal :: (MonadJSM m, ToDOMString contents) => contents -> ImmediateDomBuilderT t m Text

deleteBetweenExclusive :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m ()

s and e must both be children of the same node and s must precede e; all nodes between s and e will be removed, but s and e will not be removed

extractBetweenExclusive :: (MonadJSM m, IsNode start, IsNode end) => DocumentFragment -> start -> end -> m ()

s and e must both be children of the same node and s must precede e; all nodes between s and e will be moved into the given DocumentFragment, but s and e will not be moved

deleteUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m ()

s and e must both be children of the same node and s must precede e; s and all nodes between s and e will be removed, but e will not be removed

extractUpTo :: (MonadJSM m, IsNode start, IsNode end) => DocumentFragment -> start -> end -> m ()

type SupportsImmediateDomBuilder t m = (Reflex t, MonadJSM m, MonadHold t m, MonadFix m, MonadReflexCreateTrigger t m, MonadRef m, Ref m ~ Ref JSM, Adjustable t m, PrimMonad m)

collectUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m DocumentFragment

collectUpToGivenParent :: (MonadJSM m, IsNode parent, IsNode start, IsNode end) => parent -> start -> end -> m DocumentFragment

newtype EventFilterTriggerRef t er (en :: EventTag)

Constructors

EventFilterTriggerRef (IORef (Maybe (EventTrigger t (er en))))

wrap :: forall m er t. (Reflex t, MonadFix m, MonadJSM m, MonadReflexCreateTrigger t m) => RawElement GhcjsDomSpace -> RawElementConfig er t GhcjsDomSpace -> ImmediateDomBuilderT t m (Element er GhcjsDomSpace t)

makeElement :: forall er t m a. (MonadJSM m, MonadFix m, MonadReflexCreateTrigger t m, Adjustable t m) => Text -> ElementConfig er t GhcjsDomSpace -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m ((Element er GhcjsDomSpace t, a), Element)

newtype GhcjsDomHandler a b

Constructors

GhcjsDomHandler

Fields

• unGhcjsDomHandler :: a -> JSM b

newtype GhcjsDomHandler1 a b

Constructors

GhcjsDomHandler1

Fields

• unGhcjsDomHandler1 :: forall (x :: EventTag). a x -> JSM (b x)

newtype GhcjsDomEvent en

Constructors

GhcjsDomEvent

Fields

• unGhcjsDomEvent :: EventType en

data GhcjsDomSpace

Instances

DomSpace GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

Associated Types

type EventSpec GhcjsDomSpace :: (EventTag -> *) -> *

type RawDocument GhcjsDomSpace :: *

type RawTextNode GhcjsDomSpace :: *

type RawElement GhcjsDomSpace :: *

type RawFile GhcjsDomSpace :: *

type RawInputElement GhcjsDomSpace :: *

type RawTextAreaElement GhcjsDomSpace :: *

type RawSelectElement GhcjsDomSpace :: *

Methods

addEventSpecFlags :: proxy GhcjsDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec GhcjsDomSpace er -> EventSpec GhcjsDomSpace er

type EventSpec GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type EventSpec GhcjsDomSpace = GhcjsEventSpec

type RawDocument GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawDocument GhcjsDomSpace = Document

type RawTextNode GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextNode GhcjsDomSpace = Text

type RawElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawElement GhcjsDomSpace = Element

type RawFile GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawFile GhcjsDomSpace = File

type RawInputElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawInputElement GhcjsDomSpace = HTMLInputElement

type RawTextAreaElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawTextAreaElement GhcjsDomSpace = HTMLTextAreaElement

type RawSelectElement GhcjsDomSpace

Defined in Reflex.Dom.Builder.Immediate

type RawSelectElement GhcjsDomSpace = HTMLSelectElement

newtype GhcjsEventFilter er en

Constructors

GhcjsEventFilter (GhcjsDomEvent en -> JSM (EventFlags, JSM (Maybe (er en))))

data Pair1 (f :: k -> *) (g :: k -> *) (a :: k)

Constructors

Pair1 (f a) (g a)

data Maybe1 f a

Constructors

Nothing1

Just1 (f a)

data GhcjsEventSpec er

Constructors

GhcjsEventSpec

Fields

• _ghcjsEventSpec_filters :: DMap EventName (GhcjsEventFilter er)
• _ghcjsEventSpec_handler :: GhcjsEventHandler er

Instances

er ~ EventResult => Default (GhcjsEventSpec er)

Defined in Reflex.Dom.Builder.Immediate

Methods

def :: GhcjsEventSpec er

class Monad m => HasDocument m where

Methods

askDocument :: m (RawDocument (DomBuilderSpace m))

askDocument :: (m ~ f m', RawDocument (DomBuilderSpace m) ~ RawDocument (DomBuilderSpace m'), MonadTrans f, Monad m', HasDocument m') => m (RawDocument (DomBuilderSpace m))

Instances

HasDocument m => HasDocument (InputDisabledT m)

Defined in Reflex.Dom.Builder.InputDisabled

Methods

askDocument :: InputDisabledT m (RawDocument (DomBuilderSpace (InputDisabledT m)))

HasDocument m => HasDocument (PostBuildT t m)

Defined in Reflex.Dom.Builder.Class

Methods

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

Monad m => HasDocument (ImmediateDomBuilderT t m)

Defined in Reflex.Dom.Builder.Immediate

Methods

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

HasDocument m => HasDocument (ReaderT r m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: ReaderT r m (RawDocument (DomBuilderSpace (ReaderT r m)))

HasDocument m => HasDocument (DynamicWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: DynamicWriterT t w m (RawDocument (DomBuilderSpace (DynamicWriterT t w m)))

HasDocument m => HasDocument (QueryT t q m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: QueryT t q m (RawDocument (DomBuilderSpace (QueryT t q m)))

HasDocument m => HasDocument (EventWriterT t w m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: EventWriterT t w m (RawDocument (DomBuilderSpace (EventWriterT t w m)))

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

HasDocument m => HasDocument (RequesterT t request response m)

Defined in Reflex.Dom.Builder.Class

Methods

askDocument :: RequesterT t request response m (RawDocument (DomBuilderSpace (RequesterT t request response m)))

ghcjsEventSpec_filters :: forall er. Lens' (GhcjsEventSpec er) (DMap EventName (GhcjsEventFilter er))

ghcjsEventSpec_handler :: forall er. Lens' (GhcjsEventSpec er) (GhcjsEventHandler er)

newtype GhcjsEventHandler er

Constructors

GhcjsEventHandler

Fields

• unGhcjsEventHandler :: forall en. (EventName en, GhcjsDomEvent en) -> JSM (Maybe (er en))

drawChildUpdate :: (MonadIO m, MonadJSM m) => ImmediateDomBuilderEnv t -> (IORef (ChildReadyState k) -> JSM ()) -> ImmediateDomBuilderT t m (v' a) -> RequesterT t JSM Identity (TriggerEventT t m) (Compose ((,,,) DocumentFragment Text (IORef (ChildReadyState k))) v' a)

data ChildReadyState k

Constructors

ChildReadyState_Ready

ChildReadyState_Unready !(Maybe (Some k))

Instances

GEq k2 => Eq (ChildReadyState k2)

Defined in Reflex.Dom.Builder.Immediate

Methods

(==) :: ChildReadyState k2 -> ChildReadyState k2 -> Bool

(/=) :: ChildReadyState k2 -> ChildReadyState k2 -> Bool

GCompare k2 => Ord (ChildReadyState k2)

Defined in Reflex.Dom.Builder.Immediate

Methods

compare :: ChildReadyState k2 -> ChildReadyState k2 -> Ordering

(<) :: ChildReadyState k2 -> ChildReadyState k2 -> Bool

(<=) :: ChildReadyState k2 -> ChildReadyState k2 -> Bool

(>) :: ChildReadyState k2 -> ChildReadyState k2 -> Bool

(>=) :: ChildReadyState k2 -> ChildReadyState k2 -> Bool

max :: ChildReadyState k2 -> ChildReadyState k2 -> ChildReadyState k2

min :: ChildReadyState k2 -> ChildReadyState k2 -> ChildReadyState k2

GRead k2 => Read (ChildReadyState k2)

Defined in Reflex.Dom.Builder.Immediate

Methods

readsPrec :: Int -> ReadS (ChildReadyState k2)

readList :: ReadS [ChildReadyState k2]

readPrec :: ReadPrec (ChildReadyState k2)

readListPrec :: ReadPrec [ChildReadyState k2]

GShow k2 => Show (ChildReadyState k2)

Defined in Reflex.Dom.Builder.Immediate

Methods

showsPrec :: Int -> ChildReadyState k2 -> ShowS

show :: ChildReadyState k2 -> String

showList :: [ChildReadyState k2] -> ShowS

data ChildReadyStateInt

Constructors

ChildReadyStateInt_Ready

ChildReadyStateInt_Unready !(Maybe Int)

Instances

Eq ChildReadyStateInt

Defined in Reflex.Dom.Builder.Immediate

Methods

(==) :: ChildReadyStateInt -> ChildReadyStateInt -> Bool

(/=) :: ChildReadyStateInt -> ChildReadyStateInt -> Bool

Ord ChildReadyStateInt

Defined in Reflex.Dom.Builder.Immediate

Methods

compare :: ChildReadyStateInt -> ChildReadyStateInt -> Ordering

(<) :: ChildReadyStateInt -> ChildReadyStateInt -> Bool

(<=) :: ChildReadyStateInt -> ChildReadyStateInt -> Bool

(>) :: ChildReadyStateInt -> ChildReadyStateInt -> Bool

(>=) :: ChildReadyStateInt -> ChildReadyStateInt -> Bool

max :: ChildReadyStateInt -> ChildReadyStateInt -> ChildReadyStateInt

min :: ChildReadyStateInt -> ChildReadyStateInt -> ChildReadyStateInt

Read ChildReadyStateInt

Defined in Reflex.Dom.Builder.Immediate

Methods

readsPrec :: Int -> ReadS ChildReadyStateInt

readList :: ReadS [ChildReadyStateInt]

readPrec :: ReadPrec ChildReadyStateInt

readListPrec :: ReadPrec [ChildReadyStateInt]

Show ChildReadyStateInt

Defined in Reflex.Dom.Builder.Immediate

Methods

showsPrec :: Int -> ChildReadyStateInt -> ShowS

show :: ChildReadyStateInt -> String

showList :: [ChildReadyStateInt] -> ShowS

mkHasFocus :: (MonadHold t m, Reflex t) => Element er d t -> m (Dynamic t Bool)

insertBefore :: (MonadJSM m, IsNode new, IsNode existing) => new -> existing -> m ()

type family EventType en where ...

Equations

EventType AbortTag = UIEvent

EventType BlurTag = FocusEvent

EventType ChangeTag = Event

EventType ClickTag = MouseEvent

EventType ContextmenuTag = MouseEvent

EventType DblclickTag = MouseEvent

EventType DragTag = MouseEvent

EventType DragendTag = MouseEvent

EventType DragenterTag = MouseEvent

EventType DragleaveTag = MouseEvent

EventType DragoverTag = MouseEvent

EventType DragstartTag = MouseEvent

EventType DropTag = MouseEvent

EventType ErrorTag = UIEvent

EventType FocusTag = FocusEvent

EventType InputTag = Event

EventType InvalidTag = Event

EventType KeydownTag = KeyboardEvent

EventType KeypressTag = KeyboardEvent

EventType KeyupTag = KeyboardEvent

EventType LoadTag = UIEvent

EventType MousedownTag = MouseEvent

EventType MouseenterTag = MouseEvent

EventType MouseleaveTag = MouseEvent

EventType MousemoveTag = MouseEvent

EventType MouseoutTag = MouseEvent

EventType MouseoverTag = MouseEvent

EventType MouseupTag = MouseEvent

EventType MousewheelTag = MouseEvent

EventType ScrollTag = UIEvent

EventType SelectTag = UIEvent

EventType SubmitTag = Event

EventType WheelTag = WheelEvent

EventType BeforecutTag = ClipboardEvent

EventType CutTag = ClipboardEvent

EventType BeforecopyTag = ClipboardEvent

EventType CopyTag = ClipboardEvent

EventType BeforepasteTag = ClipboardEvent

EventType PasteTag = ClipboardEvent

EventType ResetTag = Event

EventType SearchTag = Event

EventType SelectstartTag = Event

EventType TouchstartTag = TouchEvent

EventType TouchmoveTag = TouchEvent

EventType TouchendTag = TouchEvent

EventType TouchcancelTag = TouchEvent

defaultDomEventHandler :: IsElement e => e -> EventName en -> EventM e (EventType en) (Maybe (EventResult en))

defaultDomWindowEventHandler :: Window -> EventName en -> EventM Window (EventType en) (Maybe (EventResult en))

withIsEvent :: EventName en -> (IsEvent (EventType en) => r) -> r

showEventName :: EventName en -> String

elementOnEventName :: IsElement e => EventName en -> e -> EventM e (EventType en) () -> JSM (JSM ())

windowOnEventName :: EventName en -> Window -> EventM Window (EventType en) () -> JSM (JSM ())

wrapDomEvent :: (TriggerEvent t m, MonadJSM m) => e -> (e -> EventM e event () -> JSM (JSM ())) -> EventM e event a -> m (Event t a)

subscribeDomEvent :: (EventM e event () -> JSM (JSM ())) -> EventM e event (Maybe a) -> Chan [DSum (EventTriggerRef t) TriggerInvocation] -> EventTrigger t a -> JSM (JSM ())

wrapDomEventMaybe :: (TriggerEvent t m, MonadJSM m) => e -> (e -> EventM e event () -> JSM (JSM ())) -> EventM e event (Maybe a) -> m (Event t a)

wrapDomEventsMaybe :: (MonadJSM m, MonadReflexCreateTrigger t m) => e -> (forall en. IsEvent (EventType en) => EventName en -> EventM e (EventType en) (Maybe (f en))) -> (forall en. EventName en -> e -> EventM e (EventType en) () -> JSM (JSM ())) -> ImmediateDomBuilderT t m (EventSelector t (WrapArg f EventName))

getKeyEvent :: EventM e KeyboardEvent Word

getMouseEventCoords :: EventM e MouseEvent (Int, Int)

getTouchEvent :: EventM e TouchEvent TouchEventResult

data WindowConfig t

Constructors

WindowConfig

Instances

Default (WindowConfig t)

Defined in Reflex.Dom.Builder.Immediate

Methods

def :: WindowConfig t

data Window t

Constructors

Window

Fields

• _window_events :: EventSelector t (WrapArg EventResult EventName)
• _window_raw :: Window

wrapWindow :: (MonadJSM m, MonadReflexCreateTrigger t m) => Window -> WindowConfig t -> ImmediateDomBuilderT t m (Window t)

Internal

traverseDMapWithKeyWithAdjust' :: forall t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadIO m, MonadJSM m, PrimMonad m, GCompare k) => (forall a. k a -> v a -> ImmediateDomBuilderT t m (v' a)) -> DMap k v -> Event t (PatchDMap k v) -> ImmediateDomBuilderT t m (DMap k v', Event t (PatchDMap k v'))

hoistTraverseWithKeyWithAdjust

Arguments

:: forall (k :: * -> *). (Adjustable t m, MonadHold t m, GCompare k, MonadIO m, MonadJSM m, PrimMonad m, MonadFix m, Patch (p k v), PatchTarget (p k (Constant Int)) ~ DMap k (Constant Int), Monoid (p k (Compose ((,,,) DocumentFragment Text (IORef (ChildReadyState k))) v')), Patch (p k (Constant Int)))

=> (forall vv vv'. (forall a. k a -> vv a -> RequesterT t JSM Identity (TriggerEventT t m) (vv' a)) -> DMap k vv -> Event t (p k vv) -> RequesterT t JSM Identity (TriggerEventT t 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

-> (p k (Compose ((,,,) DocumentFragment Text (IORef (ChildReadyState k))) v') -> DMap k (Constant (IORef (ChildReadyState k))) -> IO (DMap k (Constant (IORef (ChildReadyState k)))))

Given a patch for the children DOM elements, produce a patch for the childrens' unreadiness state

-> (IORef (Map (Some k) Text) -> IORef Text -> p k (Compose ((,,,) DocumentFragment Text (IORef (ChildReadyState k))) v') -> JSM ())

Apply a patch to the DOM

-> (forall a. k a -> v a -> ImmediateDomBuilderT t m (v' a))

-> DMap k v

-> Event t (p k v)

-> ImmediateDomBuilderT t m (DMap k v', Event t (p k v'))

traverseIntMapWithKeyWithAdjust' :: forall t m v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadIO m, MonadJSM m, PrimMonad m) => (Key -> v -> ImmediateDomBuilderT t m v') -> IntMap v -> Event t (PatchIntMap v) -> ImmediateDomBuilderT t m (IntMap v', Event t (PatchIntMap v'))

hoistTraverseIntMapWithKeyWithAdjust

Arguments

:: (Adjustable t m, MonadIO m, MonadJSM m, MonadFix m, PrimMonad m, Monoid (p (DocumentFragment, Text, IORef ChildReadyStateInt, v')), Functor p)

=> ((Key -> v -> RequesterT t JSM Identity (TriggerEventT t m) (DocumentFragment, Text, IORef ChildReadyStateInt, v')) -> IntMap v -> Event t (p v) -> RequesterT t JSM Identity (TriggerEventT t m) (IntMap (DocumentFragment, Text, IORef ChildReadyStateInt, v'), Event t (p (DocumentFragment, Text, IORef ChildReadyStateInt, v'))))

The base monad's traversal

-> (p (DocumentFragment, Text, IORef ChildReadyStateInt, v') -> IntMap (IORef ChildReadyStateInt) -> IO (IntMap (IORef ChildReadyStateInt)))

Given a patch for the children DOM elements, produce a patch for the childrens' unreadiness state

-> (IORef (IntMap Text) -> IORef Text -> p (DocumentFragment, Text, IORef ChildReadyStateInt, v') -> JSM ())

Apply a patch to the DOM

-> (Key -> v -> ImmediateDomBuilderT t m v')

-> IntMap v

-> Event t (p v)

-> ImmediateDomBuilderT t m (IntMap v', Event t (p v'))