Bump dependent-map

This commit is contained in:
Malte Brandy 2020-06-19 16:05:00 +02:00
parent 5ef04d8e47
commit 695bd17d5d
No known key found for this signature in database
GPG Key ID: 226A2D41EF5378C9
2 changed files with 4 additions and 3 deletions

View File

@ -64,7 +64,7 @@ library
constraints >= 0.9 && < 0.13,
contravariant >= 1.4 && < 1.6,
data-default >= 0.5 && < 0.8,
dependent-map >= 0.3 && < 0.4,
dependent-map >= 0.3 && < 0.5,
dependent-sum >= 0.6 && < 0.8,
dependent-sum-template >= 0.1 && < 0.2,
directory >= 1.2 && < 1.4,

View File

@ -135,6 +135,7 @@ import Data.Functor.Compose
import Data.Functor.Constant
import Data.Functor.Misc
import Data.Functor.Product
import Data.GADT.Compare (GCompare)
import Data.IORef
import Data.IntMap.Strict (IntMap)
import Data.Maybe
@ -1632,7 +1633,7 @@ instance (Adjustable t m, MonadJSM m, MonadHold t m, MonadFix m, PrimMonad m, Ra
{-# INLINABLE traverseDMapWithKeyWithAdjust' #-}
traverseDMapWithKeyWithAdjust'
:: 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)
:: 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)
=> (forall a. k a -> v a -> HydrationDomBuilderT s t m (v' a))
-> DMap k v
-> Event t (PatchDMap k v)
@ -1752,7 +1753,7 @@ hoistTraverseWithKeyWithAdjust
::
( Adjustable t m
, MonadHold t m
, DMap.GCompare k
, GCompare k
, MonadIO m
, MonadJSM m
, PrimMonad m