Eliminate some redundant constraints
commitaa28a5e7b65a5a277ae972bb5a8756e3dbb4d49a
authorRyan Trinkle <ryan.trinkle@gmail.com>
dateThu 4 May 2017, 21:22 (9 years ago)
parent16ecd7c
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
186186
187187{-# INLINABLE runImmediateDomBuilderT #-}
188188runImmediateDomBuilderT
189− :: ( Reflex t
190− , MonadFix m
189+ :: ( MonadFix m
191190 , PerformEvent t m
192191 , MonadReflexCreateTrigger t m
193192 , 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
155155hoistDMapWithKeyWithAdjust :: forall (k :: * -> *) v v' t m p.
156156 ( MonadAdjust t m
157157 , MonadHold t m
158− , DMap.GCompare k
159− , Patch (p k v)
160158 , PatchTarget (p k (Constant (Behavior t Builder))) ~ DMap k (Constant (Behavior t Builder))
161159 , Patch (p k (Constant (Behavior t Builder)))
162160 )