on develop help sign in
Cut out some unnecessary constraints
commit3a426a827a96c632d4d2bf8b2500bf0c6700f5cb authorRyan Trinkle <ryan.trinkle@gmail.com> dateWed 26 Apr 2017, 23:42 (10 years ago) parent8b985a2
1 file changed+2−3
reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+2−3
reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+2−3
@@ -286,7 +286,7 @@ extractUpTo df s e = liftJSM $ do
286286 ]
287287 void $ call f f (df, s, e)
288288
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)
290290
291291{-# INLINABLE collectUpTo #-}
292292collectUpTo :: (MonadJSM m, IsNode start, IsNode end) => start -> end -> m DOM.DocumentFragment
@@ -599,7 +599,7 @@ instance SupportsImmediateDomBuilder t m => MountableDomBuilder t (ImmediateDomB
599599 liftIO $ writeIORef (_immediateDomFragment_state childFragment) $ FragmentState_Mounted (before, after)
600600 liftIO $ writeIORef (_immediateDomFragment_state fragment) $ FragmentState_Mounted (before, after)
601601
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
603603 runWithReplace a0 a' = do
604604 initialEnv <- ImmediateDomBuilderT ask
605605 before <- textNodeInternal ("" :: Text)
@@ -737,7 +737,6 @@ hoistTraverseWithKeyWithAdjust :: forall (k :: * -> *) v v' t m p.
737737 ( MonadAdjust t m
738738 , MonadHold t m
739739 , DMap.GCompare k
740− , MonadIO (Performable m)
741740 , MonadIO m
742741 , MonadJSM m
743742 , PrimMonad m