monad-chronicle 1.1 → 1.1.0.1
raw patch · 1 files changed
+4/−6 lines, 1 filesdep −transformers-compatdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependencies removed: transformers-compat
Dependency ranges changed: base
API changes (from Hackage documentation)
- Control.Monad.Chronicle: ChronicleT :: m (These c a) -> ChronicleT c m a
+ Control.Monad.Chronicle: ChronicleT :: m (These c a) -> ChronicleT c (m :: Type -> Type) a
- Control.Monad.Chronicle: [runChronicleT] :: ChronicleT c m a -> m (These c a)
+ Control.Monad.Chronicle: [runChronicleT] :: ChronicleT c (m :: Type -> Type) a -> m (These c a)
- Control.Monad.Chronicle: class (Monad m) => MonadChronicle c m | m -> c
+ Control.Monad.Chronicle: class Monad m => MonadChronicle c (m :: Type -> Type) | m -> c
- Control.Monad.Chronicle: newtype ChronicleT c m a
+ Control.Monad.Chronicle: newtype ChronicleT c (m :: Type -> Type) a
- Control.Monad.Chronicle.Class: class (Monad m) => MonadChronicle c m | m -> c
+ Control.Monad.Chronicle.Class: class Monad m => MonadChronicle c (m :: Type -> Type) | m -> c
- Control.Monad.Trans.Chronicle: ChronicleT :: m (These c a) -> ChronicleT c m a
+ Control.Monad.Trans.Chronicle: ChronicleT :: m (These c a) -> ChronicleT c (m :: Type -> Type) a
- Control.Monad.Trans.Chronicle: [runChronicleT] :: ChronicleT c m a -> m (These c a)
+ Control.Monad.Trans.Chronicle: [runChronicleT] :: ChronicleT c (m :: Type -> Type) a -> m (These c a)
- Control.Monad.Trans.Chronicle: absolve :: (Semigroup c, Monad m) => a -> ChronicleT c m a -> ChronicleT c m a
+ Control.Monad.Trans.Chronicle: absolve :: forall c (m :: Type -> Type) a. (Semigroup c, Monad m) => a -> ChronicleT c m a -> ChronicleT c m a
- Control.Monad.Trans.Chronicle: chronicle :: Monad m => These c a -> ChronicleT c m a
+ Control.Monad.Trans.Chronicle: chronicle :: forall (m :: Type -> Type) c a. Monad m => These c a -> ChronicleT c m a
- Control.Monad.Trans.Chronicle: condemn :: (Semigroup c, Monad m) => ChronicleT c m a -> ChronicleT c m a
+ Control.Monad.Trans.Chronicle: condemn :: forall c (m :: Type -> Type) a. (Semigroup c, Monad m) => ChronicleT c m a -> ChronicleT c m a
- Control.Monad.Trans.Chronicle: confess :: (Semigroup c, Monad m) => c -> ChronicleT c m a
+ Control.Monad.Trans.Chronicle: confess :: forall c (m :: Type -> Type) a. (Semigroup c, Monad m) => c -> ChronicleT c m a
- Control.Monad.Trans.Chronicle: dictate :: (Semigroup c, Monad m) => c -> ChronicleT c m ()
+ Control.Monad.Trans.Chronicle: dictate :: forall c (m :: Type -> Type). (Semigroup c, Monad m) => c -> ChronicleT c m ()
- Control.Monad.Trans.Chronicle: memento :: (Semigroup c, Monad m) => ChronicleT c m a -> ChronicleT c m (Either c a)
+ Control.Monad.Trans.Chronicle: memento :: forall c (m :: Type -> Type) a. (Semigroup c, Monad m) => ChronicleT c m a -> ChronicleT c m (Either c a)
- Control.Monad.Trans.Chronicle: newtype ChronicleT c m a
+ Control.Monad.Trans.Chronicle: newtype ChronicleT c (m :: Type -> Type) a
- Control.Monad.Trans.Chronicle: retcon :: (Semigroup c, Monad m) => (c -> c) -> ChronicleT c m a -> ChronicleT c m a
+ Control.Monad.Trans.Chronicle: retcon :: forall c (m :: Type -> Type) a. (Semigroup c, Monad m) => (c -> c) -> ChronicleT c m a -> ChronicleT c m a
Files
- monad-chronicle.cabal +4/−6
monad-chronicle.cabal view
@@ -1,6 +1,6 @@ cabal-version: >=1.10 name: monad-chronicle-version: 1.1+version: 1.1.0.1 synopsis: These as a transformer, ChronicleT homepage: https://github.com/haskellari/these license: BSD3@@ -25,7 +25,8 @@ || ==9.6.6 || ==9.8.4 || ==9.10.1- || ==9.12.1+ || ==9.12.4+ || ==9.14.1 source-repository head type: git@@ -47,14 +48,11 @@ -- ghc boot libs build-depends:- base >=4.12.0.0 && <4.22+ base >=4.12.0.0 && <4.23 , mtl >=2.2.2 && <2.4 , transformers >=0.5.6.2 && <0.7 build-depends: these >=1.2.1 && <1.3-- -- other dependencies- build-depends: transformers-compat >=0.6.5 && <0.8 if flag(semigroupoids) build-depends: semigroupoids >=6.0.1 && <6.1