transformers-lift 0.2.0.0 → 0.2.0.1

raw patch · 7 files changed

+36/−2 lines, 7 filesdep ~basedep ~transformersPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base, transformers

API changes (from Hackage documentation)

Files

• src/Control/Monad/Trans/Lift/CallCC.hs +5/−0
• src/Control/Monad/Trans/Lift/Catch.hs +5/−0
• src/Control/Monad/Trans/Lift/Listen.hs +5/−0
• src/Control/Monad/Trans/Lift/Local.hs +5/−0
• src/Control/Monad/Trans/Lift/Pass.hs +6/−0
• src/Control/Monad/Trans/Lift/StT.hs +8/−0
• transformers-lift.cabal +2/−2

@@ -29,7 +29,10 @@ import qualified Control.Monad.Trans.Writer.Lazy   as W.Lazy import qualified Control.Monad.Trans.Writer.Strict as W.Strict import qualified Control.Monad.Trans.Writer.CPS    as W.CPS++#if MIN_VERSION_transformers(0,5,3) import qualified Control.Monad.Trans.Accum         as Acc+#endif  import Control.Monad.Trans.Lift.StT @@ -136,6 +139,8 @@     liftCallCC' = S.Strict.liftCallCC'     {-# INLINE liftCallCC' #-} +#if MIN_VERSION_transformers(0,5,3) instance Monoid w => LiftCallCC (Acc.AccumT w) where     liftCallCC  = Acc.liftCallCC     {-# INLINE liftCallCC #-}+#endif

@@ -28,7 +28,10 @@ import qualified Control.Monad.Trans.Writer.Lazy   as W.Lazy import qualified Control.Monad.Trans.Writer.Strict as W.Strict import qualified Control.Monad.Trans.Writer.CPS    as W.CPS++#if MIN_VERSION_transformers(0,5,3) import qualified Control.Monad.Trans.Accum         as Acc+#endif  import Control.Monad.Trans.Lift.StT @@ -103,6 +106,8 @@     liftCatch = W.CPS.liftCatch     {-# INLINE liftCatch #-} +#if MIN_VERSION_transformers(0,5,3) instance Monoid w => LiftCatch (Acc.AccumT w) where     liftCatch = Acc.liftCatch     {-# INLINE liftCatch #-}+#endif

@@ -27,7 +27,10 @@ import qualified Control.Monad.Trans.Writer.Lazy         as W.Lazy import qualified Control.Monad.Trans.Writer.Strict       as W.Strict import qualified Control.Monad.Trans.Writer.CPS.Internal as W.CPS++#if MIN_VERSION_transformers(0,5,3) import qualified Control.Monad.Trans.Accum               as Acc+#endif  import Control.Monad.Trans.Lift.StT @@ -110,6 +113,8 @@         return ((a, w), w')     {-# INLINE liftListen #-} +#if MIN_VERSION_transformers(0,5,3) instance Monoid w' => LiftListen (Acc.AccumT w') where     liftListen = Acc.liftListen     {-# INLINE liftListen #-}+#endif

@@ -28,7 +28,10 @@ import qualified Control.Monad.Trans.Writer.Lazy   as W.Lazy import qualified Control.Monad.Trans.Writer.Strict as W.Strict import qualified Control.Monad.Trans.Writer.CPS    as W.CPS++#if MIN_VERSION_transformers(0,5,3) import qualified Control.Monad.Trans.Accum         as Acc+#endif  -- | Signature of the @local@ operation, -- introduced in "Control.Monad.Trans.Reader".@@ -108,6 +111,8 @@     liftLocal _ l f = W.CPS.mapWriterT (l f)     {-# INLINE liftLocal #-} +#if MIN_VERSION_transformers(0,5,3) instance Monoid w => LiftLocal (Acc.AccumT w) where     liftLocal _ l f = Acc.mapAccumT (l f)     {-# INLINE liftLocal #-}+#endif

@@ -1,5 +1,6 @@ {-# LANGUAGE CPP #-} {-# LANGUAGE RankNTypes #-}+ -- | Lifting the 'pass' operation. module Control.Monad.Trans.Lift.Pass     ( LiftPass(..)@@ -27,7 +28,10 @@ import qualified Control.Monad.Trans.Writer.Lazy         as W.Lazy import qualified Control.Monad.Trans.Writer.Strict       as W.Strict import qualified Control.Monad.Trans.Writer.CPS.Internal as W.CPS++#if MIN_VERSION_transformers(0,5,3) import qualified Control.Monad.Trans.Accum               as Acc+#endif  import Control.Monad.Trans.Lift.StT @@ -111,6 +115,8 @@         return ((a, w'), f)     {-# INLINE liftPass #-} +#if MIN_VERSION_transformers(0,5,3) instance Monoid w' => LiftPass (Acc.AccumT w') where     liftPass = Acc.liftPass     {-# INLINE liftPass #-}+#endif

@@ -1,5 +1,7 @@+{-# LANGUAGE CPP #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE KindSignatures #-}+ -- | The 'StT' type family. module Control.Monad.Trans.Lift.StT (StT) where @@ -16,7 +18,10 @@ import qualified Control.Monad.Trans.Writer.Lazy   as W.Lazy import qualified Control.Monad.Trans.Writer.Strict as W.Strict import qualified Control.Monad.Trans.Writer.CPS    as W.CPS++#if MIN_VERSION_transformers(0,5,3) import qualified Control.Monad.Trans.Accum         as Acc+#endif  -- | Internal state of a monad transformer. --   Same as @StT@ from the @monad-control@ package.@@ -35,4 +40,7 @@ type instance StT (W.Lazy.WriterT w) a = (a, w) type instance StT (W.Strict.WriterT w) a = (a, w) type instance StT (W.CPS.WriterT w) a = (a, w)++#if MIN_VERSION_transformers(0,5,3) type instance StT (Acc.AccumT w) a = (a, w)+#endif

@@ -1,5 +1,5 @@ name:                transformers-lift-version:             0.2.0.0+version:             0.2.0.1 synopsis:            Ad-hoc type classes for lifting description:     This simple and lightweight library provides type classes@@ -23,7 +23,7 @@                        Control.Monad.Trans.Lift.StT    build-depends:       base >=4.6 && <4.11-               ,       transformers >= 0.5.4.0+               ,       transformers >= 0.4.2.0                ,       writer-cps-transformers >= 0.1.1.3    default-language:    Haskell2010