on develop help sign in
Eliminate some redundant constraints
aa28a5eRyan Trinkle
reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+1−2
@@ -186,8 +186,7 @@ instance (Reflex t, PrimMonad m) => DomRenderHook t (ImmediateDomBuilderT t m) w
186
186
187{-# INLINABLE runImmediateDomBuilderT #-}
187{-# INLINABLE runImmediateDomBuilderT #-}
188runImmediateDomBuilderT
188runImmediateDomBuilderT
189− :: ( Reflex t
190− , MonadFix m
189+ :: ( MonadFix m
191 , PerformEvent t m
190 , PerformEvent t m
192 , MonadReflexCreateTrigger t m
191 , MonadReflexCreateTrigger t m
193 , MonadJSM m
192 , MonadJSM m
reflex-dom-core/src/Reflex/Dom/Builder/Static.hs−2
@@ -155,8 +155,6 @@ instance (Reflex t, MonadAdjust t m, MonadHold t m) => MonadAdjust t (StaticDomB
155hoistDMapWithKeyWithAdjust :: forall (k :: * -> *) v v' t m p.
155hoistDMapWithKeyWithAdjust :: forall (k :: * -> *) v v' t m p.
156 ( MonadAdjust t m
156 ( MonadAdjust t m
157 , MonadHold t m
157 , MonadHold t m
158− , DMap.GCompare k
159− , Patch (p k v)
160 , PatchTarget (p k (Constant (Behavior t Builder))) ~ DMap k (Constant (Behavior t Builder))
158 , PatchTarget (p k (Constant (Behavior t Builder))) ~ DMap k (Constant (Behavior t Builder))
161 , Patch (p k (Constant (Behavior t Builder)))
159 , Patch (p k (Constant (Behavior t Builder)))
162 )
160 )