git.iko.soy/reflex-dom
on develop help sign in
Bump dependent-map
695bd17Malte Brandy
reflex-dom-core/reflex-dom-core.cabal+1−1
compare with develop
unifiedsplit
@@ -64,7 +64,7 @@ library
64 constraints >= 0.9 && < 0.13,
64 constraints >= 0.9 && < 0.13,
65 contravariant >= 1.4 && < 1.6,
65 contravariant >= 1.4 && < 1.6,
66 data-default >= 0.5 && < 0.8,
66 data-default >= 0.5 && < 0.8,
67− dependent-map >= 0.3 && < 0.4,
67+ dependent-map >= 0.3 && < 0.5,
68 dependent-sum >= 0.6 && < 0.8,
68 dependent-sum >= 0.6 && < 0.8,
69 dependent-sum-template >= 0.1 && < 0.2,
69 dependent-sum-template >= 0.1 && < 0.2,
70 directory >= 1.2 && < 1.4,
70 directory >= 1.2 && < 1.4,
reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+3−2
@@ -135,6 +135,7 @@ import Data.Functor.Compose
135import Data.Functor.Constant
135import Data.Functor.Constant
136import Data.Functor.Misc
136import Data.Functor.Misc
137import Data.Functor.Product
137import Data.Functor.Product
138+import Data.GADT.Compare (GCompare)
138import Data.IORef
139import Data.IORef
139import Data.IntMap.Strict (IntMap)
140import Data.IntMap.Strict (IntMap)
140import Data.Maybe
141import Data.Maybe
@@ -1632,7 +1633,7 @@ instance (Adjustable t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m, Ra
1632
1633
1633{-# INLINABLE traverseDMapWithKeyWithAdjust' #-}
1634{-# INLINABLE traverseDMapWithKeyWithAdjust' #-}
1634traverseDMapWithKeyWithAdjust'
1635traverseDMapWithKeyWithAdjust'
1635− :: forall s t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadJSM m, PrimMonad m, DMap.GCompare k, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document)
1636+ :: forall s t m (k :: * -> *) v v'. (Adjustable t m, MonadHold t m, MonadFix m, MonadJSM m, PrimMonad m, GCompare k, RawDocument (DomBuilderSpace (HydrationDomBuilderT s t m)) ~ Document)
1636 => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
1637 => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
1637 -> DMap k v
1638 -> DMap k v
1638 -> Event t (PatchDMap k v)
1639 -> Event t (PatchDMap k v)
@@ -1752,7 +1753,7 @@ hoistTraverseWithKeyWithAdjust
1752 ::
1753 ::
1753 ( Adjustable t m
1754 ( Adjustable t m
1754 , MonadHold t m
1755 , MonadHold t m
1755− , DMap.GCompare k
1756+ , GCompare k
1756 , MonadIO m
1757 , MonadIO m
1757 , MonadJSM m
1758 , MonadJSM m
1758 , PrimMonad m
1759 , PrimMonad m