@@ -102,7 +102,7 @@ instance MonadAtomicRef m => MonadAtomicRef (ModalsT t m) where
102 atomicModifyRef r = lift . atomicModifyRef r
102 atomicModifyRef r = lift . atomicModifyRef r
104instance (MonadAdjust t m, MonadHold t m) => MonadAdjust t (ModalsT t m) where
104instance (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')
106 traverseDMapWithKeyWithAdjust f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjust (coerce f) dm0 dm'
106 traverseDMapWithKeyWithAdjust f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjust (coerce f) dm0 dm'
107 traverseDMapWithKeyWithAdjustWithMove f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjustWithMove (coerce f) dm0 dm'
107 traverseDMapWithKeyWithAdjustWithMove f dm0 dm' = ModalsT $ traverseDMapWithKeyWithAdjustWithMove (coerce f) dm0 dm'