git.iko.soy/reflex-dom
on develop help sign in
Merge pull request #405 from Lysxia/update-dsum

Update dependent-map

commit1d6ce61c86aab6bb1c3903508cc086be626ad6a2 authorElliot Cameron <3noch@users.noreply.github.com> dateSun 13 Sep 2020, 22:15 (6 years ago) parentdc8d55a75fde06
2 files changed+4−3
compare with develop
unifiedsplit
reflex-dom-core/reflex-dom-core.cabal+1−1 reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+3−2
reflex-dom-core/reflex-dom-core.cabal+1−1
@@ -68,7 +68,7 @@ library
6868 constraints >= 0.9 && < 0.13,
6969 contravariant >= 1.4 && < 1.6,
7070 data-default >= 0.5 && < 0.8,
71− dependent-map >= 0.3 && < 0.4,
71+ dependent-map >= 0.3 && < 0.5,
7272 dependent-sum >= 0.6 && < 0.8,
7373 dependent-sum-template >= 0.1 && < 0.2,
7474 directory >= 1.2 && < 1.4,
reflex-dom-core/src/Reflex/Dom/Builder/Immediate.hs+3−2
@@ -140,6 +140,7 @@ import Data.IntMap.Strict (IntMap)
140140import Data.Maybe
141141import Data.Monoid ((<>))
142142import Data.Some (Some(..))
143+import Data.GADT.Compare (GCompare)
143144import Data.String (IsString)
144145import Data.Text (Text)
145146import Foreign.JavaScript.Internal.Utils
@@ -1632,7 +1633,7 @@ instance (Adjustable t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m, Ra
16321633
16331634{-# INLINABLE traverseDMapWithKeyWithAdjust' #-}
16341635traverseDMapWithKeyWithAdjust'
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)
16361637 => (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
16371638 -> DMap k v
16381639 -> Event t (PatchDMap k v)
@@ -1752,7 +1753,7 @@ hoistTraverseWithKeyWithAdjust
17521753 ::
17531754 ( Adjustable t m
17541755 , MonadHold t m
1755− , DMap.GCompare k
1756+ , GCompare k
17561757 , MonadIO m
17571758 , MonadJSM m
17581759 , PrimMonad m