Safe Haskell	None
Language	Haskell98

Reflex.Dom.Builder.Immediate

Contents

Internal

Synopsis

newtype EventTriggerRef t a = EventTriggerRef {
- unEventTriggerRef :: IORef (Maybe (EventTrigger t a))
}
data ImmediateDomBuilderEnv t = ImmediateDomBuilderEnv {
- _immediateDomBuilderEnv_document :: !Document
- _immediateDomBuilderEnv_parent :: !Node
- _immediateDomBuilderEnv_unreadyChildren :: !(IORef Word)
- _immediateDomBuilderEnv_commitAction :: !(JSM ())
}
newtype ImmediateDomBuilderT t m a = ImmediateDomBuilderT {
- unImmediateDomBuilderT :: ReaderT (ImmediateDomBuilderEnv t) (RequesterT t JSM Identity (TriggerEventT t m)) a
}
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 ()
extractBetweenExclusive :: (MonadJSM m, IsNode start, IsNode end) => DocumentFragment -> start -> end -> m ()
deleteUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m ()
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) = 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 = GhcjsDomHandler {
- unGhcjsDomHandler :: a -> JSM b
}
newtype GhcjsDomHandler1 a b = GhcjsDomHandler1 {
- unGhcjsDomHandler1 :: forall (x :: EventTag). a x -> JSM (b x)
}
newtype GhcjsDomEvent en = GhcjsDomEvent {
- unGhcjsDomEvent :: EventType en
}
data GhcjsDomSpace
newtype GhcjsEventFilter er en = GhcjsEventFilter (GhcjsDomEvent en -> JSM (EventFlags, JSM (Maybe (er en))))
data Pair1 (f :: k -> *) (g :: k -> *) (a :: k) = Pair1 (f a) (g a)
data Maybe1 f a
- = Nothing1
- | Just1 (f a)
data GhcjsEventSpec er = GhcjsEventSpec {
- _ghcjsEventSpec_filters :: DMap EventName (GhcjsEventFilter er)
- _ghcjsEventSpec_handler :: GhcjsEventHandler er
}
class Monad m => HasDocument m where
ghcjsEventSpec_filters :: forall er. Lens' (GhcjsEventSpec er) (DMap EventName (GhcjsEventFilter er))
ghcjsEventSpec_handler :: forall er. Lens' (GhcjsEventSpec er) (GhcjsEventHandler er)
newtype GhcjsEventHandler er = GhcjsEventHandler {
- 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
- = ChildReadyState_Ready
- | ChildReadyState_Unready !(Maybe (Some k))
data ChildReadyStateInt
- = ChildReadyStateInt_Ready
- | ChildReadyStateInt_Unready !(Maybe Int)
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 ...
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 = WindowConfig
data Window t = Window {
- _window_events :: EventSelector t (WrapArg EventResult EventName)
- _window_raw :: Window
}
wrapWindow :: (MonadJSM m, MonadReflexCreateTrigger t m) => Window -> WindowConfig t -> ImmediateDomBuilderT t m (Window t)
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 :: forall (k :: * -> *) v v' t m p. (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'))) -> (forall vv vv'. (forall a. vv a -> vv' a) -> p k vv -> p k vv') -> (p k (Compose ((,,,) DocumentFragment Text (IORef (ChildReadyState k))) v') -> DMap k (Constant (IORef (ChildReadyState k))) -> IO (DMap k (Constant (IORef (ChildReadyState k))))) -> (IORef (Map (Some k) Text) -> IORef Text -> p k (Compose ((,,,) DocumentFragment Text (IORef (ChildReadyState k))) v') -> JSM ()) -> (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 :: forall v v' t m p. (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')))) -> (p (DocumentFragment, Text, IORef ChildReadyStateInt, v') -> IntMap (IORef ChildReadyStateInt) -> IO (IntMap (IORef ChildReadyStateInt))) -> (IORef (IntMap Text) -> IORef Text -> p (DocumentFragment, Text, IORef ChildReadyStateInt, v') -> JSM ()) -> (Key -> v -> ImmediateDomBuilderT t m v') -> IntMap v -> Event t (p v) -> ImmediateDomBuilderT t m (IntMap v', Event t (p v'))

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 Source #

Constructors

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

newtype ImmediateDomBuilderT t m a Source #

Constructors

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

Instances

SupportsImmediateDomBuilder t m => NotReady t (ImmediateDomBuilderT t m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type JSX (ImmediateDomBuilderT t m) :: * -> * Source # Methods liftJS :: JSX (ImmediateDomBuilderT t m) a -> ImmediateDomBuilderT t m a Source #
SupportsImmediateDomBuilder t m => MountableDomBuilder t (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomFragment (ImmediateDomBuilderT t m) :: * Source # Methods buildDomFragment :: ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m (DomFragment (ImmediateDomBuilderT t m), a) Source # mountDomFragment :: DomFragment (ImmediateDomBuilderT t m) -> Event t (DomFragment (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m () Source #
SupportsImmediateDomBuilder t m => DomBuilder t (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type DomBuilderSpace (ImmediateDomBuilderT t m) :: * Source # Methods textNode :: TextNodeConfig t -> ImmediateDomBuilderT t m (TextNode (DomBuilderSpace (ImmediateDomBuilderT t m)) t) Source # element :: Text -> ElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m (Element er (DomBuilderSpace (ImmediateDomBuilderT t m)) t, a) Source # inputElement :: InputElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m (InputElement er (DomBuilderSpace (ImmediateDomBuilderT t m)) t) Source # textAreaElement :: TextAreaElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m (TextAreaElement er (DomBuilderSpace (ImmediateDomBuilderT t m)) t) Source # selectElement :: SelectElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m (SelectElement er (DomBuilderSpace (ImmediateDomBuilderT t m)) t, a) Source # placeRawElement :: RawElement (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m () Source # wrapRawElement :: RawElement (DomBuilderSpace (ImmediateDomBuilderT t m)) -> RawElementConfig er t (DomBuilderSpace (ImmediateDomBuilderT t m)) -> ImmediateDomBuilderT t m (Element er (DomBuilderSpace (ImmediateDomBuilderT t m)) t) Source #
(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) Source #
Instance details Defined in Reflex.Dom.Prerender Methods prerenderClientDict :: Maybe (Dict (PrerenderClientConstraint js (ImmediateDomBuilderT t m))) Source #
MonadTrans (ImmediateDomBuilderT t) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods lift :: Monad m => m a -> ImmediateDomBuilderT t m a #
MonadSample t m => MonadSample (t :: *) (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods sample :: Behavior t a -> ImmediateDomBuilderT t m a #
MonadHold t m => MonadHold (t :: *) (ImmediateDomBuilderT t m) Source #
Instance details 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) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods withRenderHook :: (forall x. JSM x -> JSM x) -> ImmediateDomBuilderT t m a -> ImmediateDomBuilderT t m a Source # requestDomAction :: Event t (JSM a) -> ImmediateDomBuilderT t m (Event t a) Source # requestDomAction_ :: Event t (JSM a) -> ImmediateDomBuilderT t m () Source #
Monad m => Monad (ImmediateDomBuilderT t m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods mfix :: (a -> ImmediateDomBuilderT t m a) -> ImmediateDomBuilderT t m a #
Monad m => Applicative (ImmediateDomBuilderT t m) Source #
Instance details 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) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods liftIO :: IO a -> ImmediateDomBuilderT t m a #
MonadException m => MonadException (ImmediateDomBuilderT t m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods liftJSM' :: JSM a -> ImmediateDomBuilderT t m a #
PrimMonad m => PrimMonad (ImmediateDomBuilderT x m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type JSContextPhantom (ImmediateDomBuilderT t m) :: * Source # Methods askJSContext :: ImmediateDomBuilderT t m (JSContextSingleton (JSContextPhantom (ImmediateDomBuilderT t m))) Source #
Monad m => HasDocument (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods askDocument :: ImmediateDomBuilderT t m (RawDocument (DomBuilderSpace (ImmediateDomBuilderT t m))) Source #
type PrimState (ImmediateDomBuilderT x m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type PrimState (ImmediateDomBuilderT x m) = PrimState m
type Ref (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type Ref (ImmediateDomBuilderT t m) = Ref m
type Performable (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type Performable (ImmediateDomBuilderT t m) = Performable m
type JSX (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type JSX (ImmediateDomBuilderT t m) = JSX m
type JSContextPhantom (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type JSContextPhantom (ImmediateDomBuilderT t m) = JSContextPhantom m
type DomFragment (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type DomFragment (ImmediateDomBuilderT t m)
type DomBuilderSpace (ImmediateDomBuilderT t m) Source #
Instance details 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 Source #

askParent :: Monad m => ImmediateDomBuilderT t m Node Source #

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

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

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

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

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

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

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

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

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

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

newtype EventFilterTriggerRef t er (en :: EventTag) Source #

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

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

newtype GhcjsDomHandler a b Source #

Constructors

GhcjsDomHandler
Fields unGhcjsDomHandler :: a -> JSM b

newtype GhcjsDomHandler1 a b Source #

Constructors

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

newtype GhcjsDomEvent en Source #

Constructors

GhcjsDomEvent
Fields unGhcjsDomEvent :: EventType en

data GhcjsDomSpace Source #

Instances

DomSpace GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Associated Types type EventSpec GhcjsDomSpace :: (EventTag -> ) -> Source # type RawDocument GhcjsDomSpace :: * Source # type RawTextNode GhcjsDomSpace :: * Source # type RawElement GhcjsDomSpace :: * Source # type RawFile GhcjsDomSpace :: * Source # type RawInputElement GhcjsDomSpace :: * Source # type RawTextAreaElement GhcjsDomSpace :: * Source # type RawSelectElement GhcjsDomSpace :: * Source # Methods addEventSpecFlags :: proxy GhcjsDomSpace -> EventName en -> (Maybe (er en) -> EventFlags) -> EventSpec GhcjsDomSpace er -> EventSpec GhcjsDomSpace er Source #
type EventSpec GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type EventSpec GhcjsDomSpace = GhcjsEventSpec
type RawDocument GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawDocument GhcjsDomSpace = Document
type RawTextNode GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextNode GhcjsDomSpace = Text
type RawElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawElement GhcjsDomSpace = Element
type RawFile GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawFile GhcjsDomSpace = File
type RawInputElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawInputElement GhcjsDomSpace = HTMLInputElement
type RawTextAreaElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawTextAreaElement GhcjsDomSpace = HTMLTextAreaElement
type RawSelectElement GhcjsDomSpace Source #
Instance details Defined in Reflex.Dom.Builder.Immediate type RawSelectElement GhcjsDomSpace = HTMLSelectElement

newtype GhcjsEventFilter er en Source #

Constructors

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

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

Constructors

Pair1 (f a) (g a)

data Maybe1 f a Source #

Constructors

Nothing1
Just1 (f a)

data GhcjsEventSpec er Source #

Constructors

GhcjsEventSpec
Fields _ghcjsEventSpec_filters :: DMap EventName (GhcjsEventFilter er) _ghcjsEventSpec_handler :: GhcjsEventHandler er

Instances

er ~ EventResult => Default (GhcjsEventSpec er) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods def :: GhcjsEventSpec er #

class Monad m => HasDocument m where Source #

Methods

askDocument :: m (RawDocument (DomBuilderSpace m)) Source #

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

Instances

HasDocument m => HasDocument (InputDisabledT m) Source #
Instance details Defined in Reflex.Dom.Builder.InputDisabled Methods askDocument :: InputDisabledT m (RawDocument (DomBuilderSpace (InputDisabledT m))) Source #
HasDocument m => HasDocument (PostBuildT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: PostBuildT t m (RawDocument (DomBuilderSpace (PostBuildT t m))) Source #
Monad m => HasDocument (ImmediateDomBuilderT t m) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods askDocument :: ImmediateDomBuilderT t m (RawDocument (DomBuilderSpace (ImmediateDomBuilderT t m))) Source #
HasDocument m => HasDocument (ReaderT r m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: ReaderT r m (RawDocument (DomBuilderSpace (ReaderT r m))) Source #
HasDocument m => HasDocument (DynamicWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: DynamicWriterT t w m (RawDocument (DomBuilderSpace (DynamicWriterT t w m))) Source #
HasDocument m => HasDocument (QueryT t q m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: QueryT t q m (RawDocument (DomBuilderSpace (QueryT t q m))) Source #
HasDocument m => HasDocument (EventWriterT t w m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: EventWriterT t w m (RawDocument (DomBuilderSpace (EventWriterT t w m))) 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 #
HasDocument m => HasDocument (RequesterT t request response m) Source #
Instance details Defined in Reflex.Dom.Builder.Class Methods askDocument :: RequesterT t request response m (RawDocument (DomBuilderSpace (RequesterT t request response m))) Source #

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

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

newtype GhcjsEventHandler er Source #

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

data ChildReadyState k Source #

Constructors

ChildReadyState_Ready
ChildReadyState_Unready !(Maybe (Some k))

Instances

GEq k2 => Eq (ChildReadyState k2) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods (==) :: ChildReadyState k2 -> ChildReadyState k2 -> Bool # (/=) :: ChildReadyState k2 -> ChildReadyState k2 -> Bool #
GCompare k2 => Ord (ChildReadyState k2) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods showsPrec :: Int -> ChildReadyState k2 -> ShowS # show :: ChildReadyState k2 -> String # showList :: [ChildReadyState k2] -> ShowS #

data ChildReadyStateInt Source #

Constructors

ChildReadyStateInt_Ready
ChildReadyStateInt_Unready !(Maybe Int)

Instances

Eq ChildReadyStateInt Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods (==) :: ChildReadyStateInt -> ChildReadyStateInt -> Bool # (/=) :: ChildReadyStateInt -> ChildReadyStateInt -> Bool #
Ord ChildReadyStateInt Source #
Instance details 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 Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods readsPrec :: Int -> ReadS ChildReadyStateInt # readList :: ReadS [ChildReadyStateInt] # readPrec :: ReadPrec ChildReadyStateInt # readListPrec :: ReadPrec [ChildReadyStateInt] #
Show ChildReadyStateInt Source #
Instance details 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) Source #

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

type family EventType en where ... Source #

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

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

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

showEventName :: EventName en -> String Source #

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

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

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

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

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

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

getKeyEvent :: EventM e KeyboardEvent Word Source #

getMouseEventCoords :: EventM e MouseEvent (Int, Int) Source #

getTouchEvent :: EventM e TouchEvent TouchEventResult Source #

data WindowConfig t Source #

Constructors

WindowConfig

Instances

Default (WindowConfig t) Source #
Instance details Defined in Reflex.Dom.Builder.Immediate Methods def :: WindowConfig t #

data Window t Source #

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

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

hoistTraverseWithKeyWithAdjust Source #

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

hoistTraverseIntMapWithKeyWithAdjust Source #

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