fused-effects 1.1.2.3 → 1.1.2.4
raw patch · 2 files changed
+9/−4 lines, 2 filesdep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base
API changes (from Hackage documentation)
- Control.Carrier.Accum.Church: instance (Control.Monad.IO.Class.MonadIO m, GHC.Internal.Base.Monoid w) => Control.Monad.IO.Class.MonadIO (Control.Carrier.Accum.Church.AccumC w m)
- Control.Carrier.Accum.IORef: instance (Control.Algebra.Algebra sig m, GHC.Internal.Base.Semigroup w, Control.Monad.IO.Class.MonadIO m) => Control.Algebra.Algebra (Control.Effect.Accum.Internal.Accum w Control.Effect.Sum.:+: sig) (Control.Carrier.Accum.IORef.AccumC w m)
- Control.Carrier.Accum.IORef: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Accum.IORef.AccumC w m)
- Control.Carrier.Accum.Strict: instance (Control.Monad.IO.Class.MonadIO m, GHC.Internal.Base.Monoid w) => Control.Monad.IO.Class.MonadIO (Control.Carrier.Accum.Strict.AccumC w m)
- Control.Carrier.Choose.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Choose.Church.ChooseC m)
- Control.Carrier.Cull.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Cull.Church.CullC m)
- Control.Carrier.Cut.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Cut.Church.CutC m)
- Control.Carrier.Empty.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Empty.Church.EmptyC m)
- Control.Carrier.Empty.Maybe: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Empty.Maybe.EmptyC m)
- Control.Carrier.Error.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Error.Church.ErrorC e m)
- Control.Carrier.Error.Either: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Error.Either.ErrorC e m)
- Control.Carrier.Fail.Either: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Fail.Either.FailC m)
- Control.Carrier.Fresh.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Fresh.Church.FreshC m)
- Control.Carrier.Fresh.Strict: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Fresh.Strict.FreshC m)
- Control.Carrier.Interpret: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Interpret.InterpretC s sig m)
- Control.Carrier.Lift: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Lift.LiftC m)
- Control.Carrier.NonDet.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.NonDet.Church.NonDetC m)
- Control.Carrier.Reader: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Reader.ReaderC r m)
- Control.Carrier.State.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.State.Church.StateC s m)
- Control.Carrier.State.IORef: instance (Control.Monad.IO.Class.MonadIO m, Control.Algebra.Algebra sig m) => Control.Algebra.Algebra (Control.Effect.State.Internal.State s Control.Effect.Sum.:+: sig) (Control.Carrier.State.IORef.StateC s m)
- Control.Carrier.State.IORef: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.State.IORef.StateC s m)
- Control.Carrier.State.Lazy: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.State.Lazy.StateC s m)
- Control.Carrier.State.Strict: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.State.Strict.StateC s m)
- Control.Carrier.Throw.Either: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Throw.Either.ThrowC e m)
- Control.Carrier.Trace.Ignoring: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Trace.Ignoring.TraceC m)
- Control.Carrier.Trace.Printing: instance (Control.Monad.IO.Class.MonadIO m, Control.Algebra.Algebra sig m) => Control.Algebra.Algebra (Control.Effect.Trace.Trace Control.Effect.Sum.:+: sig) (Control.Carrier.Trace.Printing.TraceC m)
- Control.Carrier.Trace.Printing: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Trace.Printing.TraceC m)
- Control.Carrier.Trace.Returning: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Trace.Returning.TraceC m)
- Control.Carrier.Writer.Church: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Writer.Church.WriterC w m)
- Control.Carrier.Writer.Strict: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Carrier.Writer.Strict.WriterC w m)
- Control.Effect.Choose: instance Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Effect.Choose.Choosing m)
- Control.Effect.Choose: instance Control.Monad.Zip.MonadZip m => Control.Monad.Zip.MonadZip (Control.Effect.Choose.Choosing m)
- Control.Effect.Labelled: instance forall k (label :: k) (sub :: (* -> *) -> * -> *) (m :: * -> *). Control.Monad.IO.Class.MonadIO (sub m) => Control.Monad.IO.Class.MonadIO (Control.Effect.Labelled.Labelled label sub m)
- Control.Effect.Labelled: instance forall k (label :: k) (sub :: (* -> *) -> * -> *) (m :: * -> *). Control.Monad.IO.Class.MonadIO m => Control.Monad.IO.Class.MonadIO (Control.Effect.Labelled.UnderLabel label sub m)
+ Control.Carrier.Accum.Church: instance (GHC.Internal.Control.Monad.IO.Class.MonadIO m, GHC.Internal.Base.Monoid w) => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Accum.Church.AccumC w m)
+ Control.Carrier.Accum.IORef: instance (Control.Algebra.Algebra sig m, GHC.Internal.Base.Semigroup w, GHC.Internal.Control.Monad.IO.Class.MonadIO m) => Control.Algebra.Algebra (Control.Effect.Accum.Internal.Accum w Control.Effect.Sum.:+: sig) (Control.Carrier.Accum.IORef.AccumC w m)
+ Control.Carrier.Accum.IORef: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Accum.IORef.AccumC w m)
+ Control.Carrier.Accum.Strict: instance (GHC.Internal.Control.Monad.IO.Class.MonadIO m, GHC.Internal.Base.Monoid w) => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Accum.Strict.AccumC w m)
+ Control.Carrier.Choose.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Choose.Church.ChooseC m)
+ Control.Carrier.Cull.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Cull.Church.CullC m)
+ Control.Carrier.Cut.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Cut.Church.CutC m)
+ Control.Carrier.Empty.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Empty.Church.EmptyC m)
+ Control.Carrier.Empty.Maybe: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Empty.Maybe.EmptyC m)
+ Control.Carrier.Error.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Error.Church.ErrorC e m)
+ Control.Carrier.Error.Either: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Error.Either.ErrorC e m)
+ Control.Carrier.Fail.Either: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Fail.Either.FailC m)
+ Control.Carrier.Fresh.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Fresh.Church.FreshC m)
+ Control.Carrier.Fresh.Strict: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Fresh.Strict.FreshC m)
+ Control.Carrier.Interpret: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Interpret.InterpretC s sig m)
+ Control.Carrier.Lift: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Lift.LiftC m)
+ Control.Carrier.NonDet.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.NonDet.Church.NonDetC m)
+ Control.Carrier.Reader: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Reader.ReaderC r m)
+ Control.Carrier.State.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.State.Church.StateC s m)
+ Control.Carrier.State.IORef: instance (GHC.Internal.Control.Monad.IO.Class.MonadIO m, Control.Algebra.Algebra sig m) => Control.Algebra.Algebra (Control.Effect.State.Internal.State s Control.Effect.Sum.:+: sig) (Control.Carrier.State.IORef.StateC s m)
+ Control.Carrier.State.IORef: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.State.IORef.StateC s m)
+ Control.Carrier.State.Lazy: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.State.Lazy.StateC s m)
+ Control.Carrier.State.Strict: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.State.Strict.StateC s m)
+ Control.Carrier.Throw.Either: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Throw.Either.ThrowC e m)
+ Control.Carrier.Trace.Ignoring: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Trace.Ignoring.TraceC m)
+ Control.Carrier.Trace.Printing: instance (GHC.Internal.Control.Monad.IO.Class.MonadIO m, Control.Algebra.Algebra sig m) => Control.Algebra.Algebra (Control.Effect.Trace.Trace Control.Effect.Sum.:+: sig) (Control.Carrier.Trace.Printing.TraceC m)
+ Control.Carrier.Trace.Printing: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Trace.Printing.TraceC m)
+ Control.Carrier.Trace.Returning: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Trace.Returning.TraceC m)
+ Control.Carrier.Writer.Church: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Writer.Church.WriterC w m)
+ Control.Carrier.Writer.Strict: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Carrier.Writer.Strict.WriterC w m)
+ Control.Effect.Choose: instance GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Effect.Choose.Choosing m)
+ Control.Effect.Choose: instance GHC.Internal.Control.Monad.Zip.MonadZip m => GHC.Internal.Control.Monad.Zip.MonadZip (Control.Effect.Choose.Choosing m)
+ Control.Effect.Labelled: instance forall k (label :: k) (sub :: (* -> *) -> * -> *) (m :: * -> *). GHC.Internal.Control.Monad.IO.Class.MonadIO (sub m) => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Effect.Labelled.Labelled label sub m)
+ Control.Effect.Labelled: instance forall k (label :: k) (sub :: (* -> *) -> * -> *) (m :: * -> *). GHC.Internal.Control.Monad.IO.Class.MonadIO m => GHC.Internal.Control.Monad.IO.Class.MonadIO (Control.Effect.Labelled.UnderLabel label sub m)
Files
- ChangeLog.md +4/−0
- fused-effects.cabal +5/−4
ChangeLog.md view
@@ -1,3 +1,7 @@+# v1.1.2.4++- Adds support for `ghc` 9.12 and `base` 4.21.+ # v1.1.2.3 - Adds support for `ghc` 9.8 and 9.10, `base` 4.19 and 4.20, and `containers` 0.7.
fused-effects.cabal view
@@ -1,7 +1,7 @@ cabal-version: 2.2 name: fused-effects-version: 1.1.2.3+version: 1.1.2.4 synopsis: A fast, flexible, fused effect system. description: A fast, flexible, fused effect system, à la Effect Handlers in Scope, Monad Transformers and Modular Algebraic Effects: What Binds Them Together, and Fusion for Free—Efficient Algebraic Effect Handlers. homepage: https://github.com/fused-effects/fused-effects@@ -9,7 +9,7 @@ license-file: LICENSE author: Nicolas Wu, Tom Schrijvers, Rob Rix, Patrick Thomson maintainer: robrix@github.com-copyright: 2018-2023 Nicolas Wu, Tom Schrijvers, Rob Rix, Patrick Thomson+copyright: 2018-2025 Nicolas Wu, Tom Schrijvers, Rob Rix, Patrick Thomson category: Control build-type: Simple extra-source-files:@@ -29,6 +29,7 @@ GHC == 9.6.2 GHC == 9.8.2 GHC == 9.10.1+ GHC == 9.12.1 common common default-language: Haskell2010@@ -63,7 +64,7 @@ -Wno-missing-role-annotations -Wno-term-variable-capture -Wno-x-partial- -Wno-missing-poly-kind-signatures + -Wno-missing-poly-kind-signatures library import: common@@ -133,7 +134,7 @@ Control.Effect.Throw.Internal Control.Effect.Writer.Internal build-depends:- base >= 4.9 && < 4.21+ base >= 4.9 && < 4.22 , transformers >= 0.4 && < 0.7 , unliftio-core >= 0.2 && < 0.3