changeset 0.1.0.2 → 0.1.0.3
raw patch · 1 files changed
+5/−8 lines, 1 filesdep ~tastyPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: tasty
API changes (from Hackage documentation)
- Data.Monoid.RightAction.Coproduct: newtype (:+:) m n
+ Data.Monoid.RightAction.Coproduct: newtype m :+: n
- Control.Monad.Changeset.Class: class (Monad m, Monoid w, RightAction w s) => MonadChangeset s w m | m -> s, m -> w
+ Control.Monad.Changeset.Class: class (Monad m, Monoid w, RightAction w s) => MonadChangeset s w (m :: Type -> Type) | m -> s, m -> w
- Control.Monad.Trans.Changeset: (|*>) :: (Semigroup w, Applicative m) => ChangesetT s w m (a -> b) -> ChangesetT s w m a -> ChangesetT s w m b
+ Control.Monad.Trans.Changeset: (|*>) :: forall w (m :: Type -> Type) s a b. (Semigroup w, Applicative m) => ChangesetT s w m (a -> b) -> ChangesetT s w m a -> ChangesetT s w m b
- Control.Monad.Trans.Changeset: ChangesetT :: (s -> m (w, a)) -> ChangesetT s w m a
+ Control.Monad.Trans.Changeset: ChangesetT :: (s -> m (w, a)) -> ChangesetT s w (m :: Type -> Type) a
- Control.Monad.Trans.Changeset: [getChangesetT] :: ChangesetT s w m a -> s -> m (w, a)
+ Control.Monad.Trans.Changeset: [getChangesetT] :: ChangesetT s w (m :: Type -> Type) a -> s -> m (w, a)
- Control.Monad.Trans.Changeset: changeA :: Applicative m => w -> ChangesetT s w m ()
+ Control.Monad.Trans.Changeset: changeA :: forall (m :: Type -> Type) w s. Applicative m => w -> ChangesetT s w m ()
- Control.Monad.Trans.Changeset: changelog :: Functor m => ChangesetT s w m a -> ChangesetT s w m (a, w)
+ Control.Monad.Trans.Changeset: changelog :: forall (m :: Type -> Type) s w a. Functor m => ChangesetT s w m a -> ChangesetT s w m (a, w)
- Control.Monad.Trans.Changeset: changesetA :: Applicative m => (s -> (a, w)) -> ChangesetT s w m a
+ Control.Monad.Trans.Changeset: changesetA :: forall (m :: Type -> Type) s a w. Applicative m => (s -> (a, w)) -> ChangesetT s w m a
- Control.Monad.Trans.Changeset: currentA :: (Applicative m, Monoid w) => ChangesetT s w m s
+ Control.Monad.Trans.Changeset: currentA :: forall (m :: Type -> Type) w s. (Applicative m, Monoid w) => ChangesetT s w m s
- Control.Monad.Trans.Changeset: hoistF :: (forall x. m x -> n x) -> ChangesetT s w m a -> ChangesetT s w n a
+ Control.Monad.Trans.Changeset: hoistF :: (forall x. () => m x -> n x) -> ChangesetT s w m a -> ChangesetT s w n a
- Control.Monad.Trans.Changeset: mapChange :: Functor m => (w1 -> w2) -> ChangesetT s w1 m a -> ChangesetT s w2 m a
+ Control.Monad.Trans.Changeset: mapChange :: forall (m :: Type -> Type) w1 w2 s a. Functor m => (w1 -> w2) -> ChangesetT s w1 m a -> ChangesetT s w2 m a
- Control.Monad.Trans.Changeset: newtype ChangesetT s w m a
+ Control.Monad.Trans.Changeset: newtype ChangesetT s w (m :: Type -> Type) a
- Control.Monad.Trans.Changeset: revise :: Functor m => ChangesetT s w m (a, s -> w -> w) -> ChangesetT s w m a
+ Control.Monad.Trans.Changeset: revise :: forall (m :: Type -> Type) s w a. Functor m => ChangesetT s w m (a, s -> w -> w) -> ChangesetT s w m a
- Control.Monad.Trans.Changeset: withCurrent :: (s2 -> s1) -> ChangesetT s1 w m a -> ChangesetT s2 w m a
+ Control.Monad.Trans.Changeset: withCurrent :: forall s2 s1 w (m :: Type -> Type) a. (s2 -> s1) -> ChangesetT s1 w m a -> ChangesetT s2 w m a
- Data.Monoid.RightAction: type REndo s = Dual (Endo s)
+ Data.Monoid.RightAction: type REndo s = Dual Endo s
Files
- changeset.cabal +5/−8
changeset.cabal view
@@ -1,9 +1,6 @@ cabal-version: 2.4 name: changeset--- PVP summary: +-+------- breaking API changes--- | | +----- non-breaking API additions--- | | | +--- code changes with no API change-version: 0.1.0.2+version: 0.1.0.3 synopsis: Stateful monad transformer based on monoidal actions description: A general state monad transformer with separate types for the state and the possible changes.@@ -85,7 +82,7 @@ hs-source-dirs: src - if impl(ghc >= 9.6)+ if impl(ghc >=9.6) build-depends: mtl ^>=2.3.1 @@ -110,7 +107,7 @@ base, changeset, monoid-extras,- tasty ^>=1.4.2,+ tasty >=1.4.2 && <1.6, tasty-hunit ^>=0.10.2, transformers, @@ -120,7 +117,7 @@ type: exitcode-stdio-1.0 hs-source-dirs: examples - if impl(ghc >= 9.6)+ if impl(ghc >=9.6) hs-source-dirs: examples-mtl23 else hs-source-dirs: examples-mtl22@@ -131,7 +128,7 @@ changeset, monoid-extras, mtl,- tasty ^>=1.4.2,+ tasty >=1.4.2 && <1.6, tasty-hunit ^>=0.10.2, transformers, witherable,