Merge pull request #205 from fused-effects/🔥-deprecations

🔥 deprecations

ChangeLog.md

@@ -4,6 +4,8 @@
 
 - Removes `Control.Effect.Random` (and the dependencies on `random` & `MonadRandom`) in favour of a new [`fused-effects-random` package](https://github.com/fused-effects/fused-effects-random) ([#200](https://github.com/fused-effects/fused-effects/pull/200)).
 
+- Removes `fmap'` and `handlePure`, both deprecated in 0.5.0.0 ([#205](https://github.com/fused-effects/fused-effects/pull/205)).
+
 # v0.5.0.1
 
 - Adds support for ghc 8.8.1.

src/Control/Effect/Carrier.hs

@@ -4,7 +4,6 @@ module Control.Effect.Carrier
 , Effect(..)
 , Carrier(..)
 , send
-, handlePure
 , handleCoercible
 -- * Generic deriving of 'HFunctor' & 'Effect' instances.
 , GHFunctor(..)
@@ -24,11 +23,6 @@ import           GHC.Generics
 --
 --   All effects must be 'HFunctor's.
 class HFunctor h where
-  -- | Apply a handler specified as a natural transformation to both higher-order and continuation positions within an 'HFunctor'.
-  fmap' :: Functor (h f) => (a -> b) -> h f a -> h f b
-  fmap' = fmap
-  {-# INLINE fmap' #-}
-
   -- | Higher-order functor map of a natural transformation over higher-order positions within the effect.
   --
   -- A definition for 'hmap' over first-order effects can be derived automatically provided a 'Generic1' instance is available.
@@ -37,8 +31,6 @@ class HFunctor h where
   hmap f = to1 . ghmap f . from1
   {-# INLINE hmap #-}
 
-{-# DEPRECATED fmap' "fmap' has been subsumed by fmap." #-}
-
 instance HFunctor Pure.Pure
 instance (HFunctor f, HFunctor g) => HFunctor (f Sum.:+: g)
 
@@ -85,12 +77,6 @@ send = eff . Sum.inj
 {-# INLINE send #-}
 
 
--- | Apply a handler specified as a natural transformation to both higher-order and continuation positions within an 'HFunctor'.
-handlePure :: (HFunctor sig, Functor f) => (forall x . f x -> g x) -> sig f a -> sig g a
-handlePure = hmap
-{-# INLINE handlePure #-}
-{-# DEPRECATED handlePure "handlePure has been subsumed by hmap." #-}
-
 -- | Thread a 'Coercible' carrier through an 'HFunctor'.
 --
 --   This is applicable whenever @f@ is 'Coercible' to @g@, e.g. simple @newtype@s.