Reimplement runWithReplace for ModalsT without coerce
commit2efa6969d07e3be89892c0d85e99acfbf6b90265
authorAli Abrar <aliabrar@gmail.com>
dateFri 16 Jun 2017, 16:17 (9 years ago)
parent296825a
reflex-dom-core/src/Reflex/Dom/Modals/Base.hs+1−1
@@ -102,7 +102,7 @@ instance MonadAtomicRef m => MonadAtomicRef (ModalsT t m) where
102102 atomicModifyRef r = lift . atomicModifyRef r
103103
104104instance (MonadAdjust t m, MonadHold t m) => MonadAdjust t (ModalsT t m) where
105− runWithReplace = coerce (runWithReplace :: Unwrapped (ModalsT t m a) -> Event t (Unwrapped (ModalsT t m b)) -> Unwrapped (ModalsT t m (a, Event t b)))
105+ runWithReplace a0 a' = ModalsT $ runWithReplace (unModalsT a0) (fmapCheap unModalsT a')
106106 traverseDMapWithKeyWithAdjust f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjust (coerce f) dm0 dm'
107107 traverseDMapWithKeyWithAdjustWithMove f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjustWithMove (coerce f) dm0 dm'
108108