transformers-lift 0.2.0.1 → 0.2.0.2
raw patch · 1 files changed
+9/−6 lines, 1 filesdep ~basedep ~transformersdep ~writer-cps-transformersPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, transformers, writer-cps-transformers
API changes (from Hackage documentation)
+ Control.Monad.Trans.Lift.CallCC: instance GHC.Base.Monoid w => Control.Monad.Trans.Lift.CallCC.LiftCallCC (Control.Monad.Trans.Accum.AccumT w)
+ Control.Monad.Trans.Lift.Catch: instance GHC.Base.Monoid w => Control.Monad.Trans.Lift.Catch.LiftCatch (Control.Monad.Trans.Accum.AccumT w)
+ Control.Monad.Trans.Lift.Listen: instance GHC.Base.Monoid w' => Control.Monad.Trans.Lift.Listen.LiftListen (Control.Monad.Trans.Accum.AccumT w')
+ Control.Monad.Trans.Lift.Local: instance GHC.Base.Monoid w => Control.Monad.Trans.Lift.Local.LiftLocal (Control.Monad.Trans.Accum.AccumT w)
+ Control.Monad.Trans.Lift.Pass: instance GHC.Base.Monoid w' => Control.Monad.Trans.Lift.Pass.LiftPass (Control.Monad.Trans.Accum.AccumT w')
+ Control.Monad.Trans.Lift.StT: type family StT (t :: (* -> *) -> (* -> *)) (a :: *) :: *
- Control.Monad.Trans.Lift.CallCC: class MonadTrans t => LiftCallCC t where liftCallCC' = liftCallCC
+ Control.Monad.Trans.Lift.CallCC: class MonadTrans t => LiftCallCC t
- Control.Monad.Trans.Lift.CallCC: type CallCC (m :: * -> *) a b = ((a -> m b) -> m a) -> m a
+ Control.Monad.Trans.Lift.CallCC: type CallCC (m :: Type -> Type) a b = a -> m b -> m a -> m a
- Control.Monad.Trans.Lift.Catch: type Catch k e (m :: k -> *) (a :: k) = m a -> (e -> m a) -> m a
+ Control.Monad.Trans.Lift.Catch: type Catch e (m :: k -> Type) (a :: k) = m a -> e -> m a -> m a
- Control.Monad.Trans.Lift.Listen: type Listen w (m :: * -> *) a = m a -> m (a, w)
+ Control.Monad.Trans.Lift.Listen: type Listen w (m :: Type -> Type) a = m a -> m (a, w)
- Control.Monad.Trans.Lift.Local: defaultLiftLocal :: (Monad m, LiftLocal n) => (forall x. n m x -> t m x) -> (forall o x. t o x -> n o x) -> m r -> (forall a. Local r m a) -> (forall a. Local r (t m) a)
+ Control.Monad.Trans.Lift.Local: defaultLiftLocal :: (Monad m, LiftLocal n) => (forall x. n m x -> t m x) -> (forall o x. t o x -> n o x) -> m r -> (forall a. Local r m a) -> forall a. Local r (t m) a
- Control.Monad.Trans.Lift.Local: liftLocal :: (LiftLocal t, Monad m) => m r -> (forall a. Local r m a) -> (forall a. Local r (t m) a)
+ Control.Monad.Trans.Lift.Local: liftLocal :: (LiftLocal t, Monad m) => m r -> (forall a. Local r m a) -> forall a. Local r (t m) a
- Control.Monad.Trans.Lift.Pass: type Pass w (m :: * -> *) a = m (a, w -> w) -> m a
+ Control.Monad.Trans.Lift.Pass: type Pass w (m :: Type -> Type) a = m (a, w -> w) -> m a
Files
- transformers-lift.cabal +9/−6
transformers-lift.cabal view
@@ -1,18 +1,18 @@+cabal-version: 2.2 name: transformers-lift-version: 0.2.0.1+version: 0.2.0.2 synopsis: Ad-hoc type classes for lifting description: This simple and lightweight library provides type classes for lifting monad transformer operations. -license: BSD3+license: BSD-3-Clause license-file: LICENSE author: Vladislav Zavialov maintainer: Vladislav Zavialov <vlad.z.4096@gmail.com> category: Control bug-reports: https://github.com/int-index/transformers-lift/issues build-type: Simple-cabal-version: >=1.10 library exposed-modules: Control.Monad.Trans.Lift.Local@@ -22,9 +22,12 @@ Control.Monad.Trans.Lift.Pass Control.Monad.Trans.Lift.StT - build-depends: base >=4.6 && <4.11- , transformers >= 0.4.2.0- , writer-cps-transformers >= 0.1.1.3+ build-depends: base >=4.8 && <4.13+ , transformers >= 0.4.2.0 && <0.6+ , writer-cps-transformers == 0.1.1.4++ mixins: transformers hiding+ (Control.Monad.Trans.RWS.CPS, Control.Monad.Trans.Writer.CPS) default-language: Haskell2010 other-extensions: CPP