packages feed

changeset-reflex 0.1.0.2 → 0.1.0.3

raw patch · 1 files changed

+2/−5 lines, 1 filesdep ~changesetPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: changeset

API changes (from Hackage documentation)

- Control.Monad.Changeset.Reflex: Delete :: k v -> DMapChange k f v
+ Control.Monad.Changeset.Reflex: Delete :: k v -> DMapChange (k :: Type -> Type) (f :: Type -> Type) v
- Control.Monad.Changeset.Reflex: Insert :: k v -> f v -> DMapChange k f v
+ Control.Monad.Changeset.Reflex: Insert :: k v -> f v -> DMapChange (k :: Type -> Type) (f :: Type -> Type) v
- Control.Monad.Changeset.Reflex: data DMapChange k f v
+ Control.Monad.Changeset.Reflex: data DMapChange (k :: Type -> Type) (f :: Type -> Type) v
- Control.Monad.Changeset.Reflex: mergeChangesetEvent :: (Reflex t, GCompare k, Monoid w) => DMap k (ChangesetT s w (Event t)) -> ChangesetT s w (Event t) (DMap k Identity)
+ Control.Monad.Changeset.Reflex: mergeChangesetEvent :: forall t (k :: Type -> Type) w s. (Reflex t, GCompare k, Monoid w) => DMap k (ChangesetT s w (Event t)) -> ChangesetT s w (Event t) (DMap k Identity)
- Control.Monad.Changeset.Reflex: mergeChangesetEventT :: (Reflex t, GCompare k, Monoid w, Applicative m) => DMap k (ChangesetEventT t s w m) -> ChangesetEventT t s w m (DMap k Identity)
+ Control.Monad.Changeset.Reflex: mergeChangesetEventT :: forall t (k :: Type -> Type) w (m :: Type -> Type) s. (Reflex t, GCompare k, Monoid w, Applicative m) => DMap k (ChangesetEventT t s w m) -> ChangesetEventT t s w m (DMap k Identity)
- Control.Monad.Changeset.Reflex: mergeChangesetEventTs :: (Reflex t, Monoid w, Applicative m) => [ChangesetEventT t s w m a] -> ChangesetEventT t s w m (NonEmpty a)
+ Control.Monad.Changeset.Reflex: mergeChangesetEventTs :: forall t w (m :: Type -> Type) s a. (Reflex t, Monoid w, Applicative m) => [ChangesetEventT t s w m a] -> ChangesetEventT t s w m (NonEmpty a)
- Control.Monad.Changeset.Reflex: mergeChangesetIntMap :: (Reflex t, Monoid w, Applicative m) => IntMap (ChangesetEventT t s w m a) -> ChangesetEventT t s w m (IntMap a)
+ Control.Monad.Changeset.Reflex: mergeChangesetIntMap :: forall t w (m :: Type -> Type) s a. (Reflex t, Monoid w, Applicative m) => IntMap (ChangesetEventT t s w m a) -> ChangesetEventT t s w m (IntMap a)
- Control.Monad.Changeset.Reflex: mergeChangesetMap :: (Reflex t, Monoid w, Applicative m, Ord k) => Map k (ChangesetEventT t s w m a) -> ChangesetEventT t s w m (Map k a)
+ Control.Monad.Changeset.Reflex: mergeChangesetMap :: forall t w (m :: Type -> Type) k s a. (Reflex t, Monoid w, Applicative m, Ord k) => Map k (ChangesetEventT t s w m a) -> ChangesetEventT t s w m (Map k a)
- Control.Monad.Changeset.Reflex: type ChangesetEventT t s w m = ChangesetT s w (Compose m (Event t))
+ Control.Monad.Changeset.Reflex: type ChangesetEventT t s w (m :: Type -> Type) = ChangesetT s w Compose m Event t

Files

changeset-reflex.cabal view
@@ -1,9 +1,6 @@ cabal-version: 2.4 name: changeset-reflex--- 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.@@ -57,7 +54,7 @@    build-depends:     base >=4.12 && <4.22,-    changeset ==0.1.0.2,+    changeset ==0.1.0.3,     containers >=0.6 && <0.8,     dependent-map ^>=0.4,     monoid-extras ^>=0.6,