Rename MonadDynamicWriter

Author: ali-abrar

ChangeLog.md

@@ -3,6 +3,7 @@
 ## 0.6.0.0 -- 2019-03-20
 
 * Deprecate FunctorMaybe in favor of Data.Witherable.Filterable. We still export fmapMaybe, ffilter, etc., but they all rely on Filterable now.
+* Rename MonadDynamicWriter to DynamicWriter and add a deprecation for the old name.
 * Remove many deprecated functions
 * Add a Num instance for Dynamic
 * Add matchRequestsWithResponses to make it easier to use Requester with protocols that don't do this matching for you

src/Reflex/DynamicWriter/Base.hs

@@ -88,7 +88,7 @@ mergeDynIncrementalWithMove a = unsafeBuildIncremental (mapM (sample . current)
               noLongerMovedMap = Map.fromList $ fmap (, ()) noLongerMoved
           in Map.differenceWith (\e _ -> Just $ MapWithMove.nodeInfoSetTo Nothing e) pWithNewVals noLongerMovedMap --TODO: Check if any in the second map are not covered?
 
--- | A basic implementation of 'MonadDynamicWriter'.
+-- | A basic implementation of 'DynamicWriter'.
 newtype DynamicWriterT t w m a = DynamicWriterT { unDynamicWriterT :: StateT [Dynamic t w] m a }
   deriving (Functor, Applicative, Monad, MonadIO, MonadFix, MonadAsyncException, MonadException) -- The list is kept in reverse order
 
@@ -116,7 +116,7 @@ runDynamicWriterT (DynamicWriterT a) = do
   (result, ws) <- runStateT a []
   return (result, mconcat $ reverse ws)
 
-instance (Monad m, Monoid w, Reflex t) => MonadDynamicWriter t w (DynamicWriterT t w m) where
+instance (Monad m, Monoid w, Reflex t) => DynamicWriter t w (DynamicWriterT t w m) where
   tellDyn w = DynamicWriterT $ modify (w :)
 
 instance MonadReader r m => MonadReader r (DynamicWriterT t w m) where

src/Reflex/DynamicWriter/Class.hs

@@ -1,4 +1,5 @@
--- | This module defines the 'MonadDynamicWriter' class.
+-- | This module defines the 'DynamicWriter' class.
+{-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE FunctionalDependencies #-}
@@ -8,17 +9,21 @@
 {-# OPTIONS_GHC -fplugin=Reflex.Optimizer #-}
 #endif
 module Reflex.DynamicWriter.Class
-  ( MonadDynamicWriter (..)
+  ( MonadDynamicWriter
+  , DynamicWriter(..)
   ) where
 
 import Control.Monad.Reader (ReaderT, lift)
 import Reflex.Class (Dynamic)
 
+{-# DEPRECATED MonadDynamicWriter "Use 'DynamicWriter' instead" #-}
+type MonadDynamicWriter = DynamicWriter
+
 -- | 'MonadDynamicWriter' efficiently collects 'Dynamic' values using 'tellDyn'
 -- and combines them monoidally to provide a 'Dynamic' result.
-class (Monad m, Monoid w) => MonadDynamicWriter t w m | m -> t w where
+class (Monad m, Monoid w) => DynamicWriter t w m | m -> t w where
   tellDyn :: Dynamic t w -> m ()
 
-instance MonadDynamicWriter t w m => MonadDynamicWriter t w (ReaderT r m) where
+instance DynamicWriter t w m => DynamicWriter t w (ReaderT r m) where
   tellDyn = lift . tellDyn
 

src/Reflex/EventWriter/Base.hs

@@ -25,7 +25,7 @@ module Reflex.EventWriter.Base
 import Reflex.Adjustable.Class
 import Reflex.Class
 import Reflex.EventWriter.Class (EventWriter, tellEvent)
-import Reflex.DynamicWriter.Class (MonadDynamicWriter, tellDyn)
+import Reflex.DynamicWriter.Class (DynamicWriter, tellDyn)
 import Reflex.Host.Class
 import Reflex.PerformEvent.Class
 import Reflex.PostBuild.Class
@@ -278,7 +278,7 @@ instance (MonadQuery t q m, Monad m) => MonadQuery t q (EventWriterT t w m) wher
   askQueryResult = lift askQueryResult
   queryIncremental = lift . queryIncremental
 
-instance MonadDynamicWriter t w m => MonadDynamicWriter t w (EventWriterT t v m) where
+instance DynamicWriter t w m => DynamicWriter t w (EventWriterT t v m) where
   tellDyn = lift . tellDyn
 
 instance PrimMonad m => PrimMonad (EventWriterT t w m) where

src/Reflex/Query/Base.hs

@@ -340,5 +340,5 @@ instance Requester t m => Requester t (QueryT t q m) where
 instance EventWriter t w m => EventWriter t w (QueryT t q m) where
   tellEvent = lift . tellEvent
 
-instance MonadDynamicWriter t w m => MonadDynamicWriter t w (QueryT t q m) where
+instance DynamicWriter t w m => DynamicWriter t w (QueryT t q m) where
   tellDyn = lift . tellDyn