@@ -96,7 +96,7 @@ instance MonadAtomicRef m => MonadAtomicRef (ModalsT t m) where
96 atomicModifyRef r = lift . atomicModifyRef r
96 atomicModifyRef r = lift . atomicModifyRef r
98instance (MonadAdjust t m, MonadHold t m) => MonadAdjust t (ModalsT t m) where
98instance (MonadAdjust t m, MonadHold t m) => MonadAdjust t (ModalsT t m) where
99− runWithReplace = coerce runWithReplace -- coerce (runWithReplace :: Unwrapped (ModalsT t m a) -> Event t (Unwrapped (ModalsT t m b)) -> Unwrapped (ModalsT t m (a, Event t b)))
99+ runWithReplace = coerce (runWithReplace :: Unwrapped (ModalsT t m a) -> Event t (Unwrapped (ModalsT t m b)) -> Unwrapped (ModalsT t m (a, Event t b)))
100 traverseDMapWithKeyWithAdjust f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjust (coerce f) dm0 dm'
100 traverseDMapWithKeyWithAdjust f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjust (coerce f) dm0 dm'
101 traverseDMapWithKeyWithAdjustWithMove f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjustWithMove (coerce f) dm0 dm'
101 traverseDMapWithKeyWithAdjustWithMove f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjustWithMove (coerce f) dm0 dm'