@@ -286,7 +286,7 @@ extractUpTo df s e = liftJSM $ do
287 void $ call f f (df, s, e)
287 void $ call f f (df, s, e)
289−type SupportsImmediateDomBuilder t m = (Reflex t, MonadJSM m, MonadJSM (Performable m), MonadHold t m, MonadFix m, MonadReflexCreateTrigger t m, MonadRef m, Ref m ~ Ref JSM, MonadAdjust t m, PrimMonad m)
289+type SupportsImmediateDomBuilder t m = (Reflex t, MonadJSM m, MonadHold t m, MonadFix m, MonadReflexCreateTrigger t m, MonadRef m, Ref m ~ Ref JSM, MonadAdjust t m, PrimMonad m)
291{-# INLINABLE collectUpTo #-}
291{-# INLINABLE collectUpTo #-}
292collectUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m DOM.DocumentFragment
292collectUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m DOM.DocumentFragment
@@ -599,7 +599,7 @@ instance SupportsImmediateDomBuilder t m => MountableDomBuilder t (ImmediateDomB
599 liftIO $ writeIORef (_immediateDomFragment_state childFragment) $ FragmentState_Mounted (before, after)
599 liftIO $ writeIORef (_immediateDomFragment_state childFragment) $ FragmentState_Mounted (before, after)
600 liftIO $ writeIORef (_immediateDomFragment_state fragment) $ FragmentState_Mounted (before, after)
600 liftIO $ writeIORef (_immediateDomFragment_state fragment) $ FragmentState_Mounted (before, after)
602−instance (Reflex t, MonadAdjust t m, MonadJSM m, MonadHold t m, MonadJSM (Performable m), MonadFix m, PrimMonad m) => MonadAdjust t (ImmediateDomBuilderT t m) where
602+instance (Reflex t, MonadAdjust t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m) => MonadAdjust t (ImmediateDomBuilderT t m) where
603 runWithReplace a0 a' = do
603 runWithReplace a0 a' = do
604 initialEnv <- ImmediateDomBuilderT ask
604 initialEnv <- ImmediateDomBuilderT ask
605 before <- textNodeInternal ("" :: Text)
605 before <- textNodeInternal ("" :: Text)
@@ -737,7 +737,6 @@ hoistTraverseWithKeyWithAdjust :: forall (k :: * -> *) v v' t m p.
737 ( MonadAdjust t m
737 ( MonadAdjust t m
738 , MonadHold t m
738 , MonadHold t m
739 , DMap.GCompare k
739 , DMap.GCompare k
740− , MonadIO (Performable m)
741 , MonadIO m
740 , MonadIO m
742 , MonadJSM m
741 , MonadJSM m
743 , PrimMonad m
742 , PrimMonad m