fused-effects 1.1.1.1 → 1.1.1.2
raw patch · 8 files changed
+27/−13 lines, 8 filesdep ~basedep ~hedgehogdep ~hedgehog-fnPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, hedgehog, hedgehog-fn
API changes (from Hackage documentation)
Files
- ChangeLog.md +4/−0
- README.lhs +4/−2
- README.md +4/−2
- benchmark/Bench/NonDet/NQueens.hs +2/−2
- fused-effects.cabal +9/−5
- src/Control/Carrier/Trace/Returning.hs +1/−1
- src/Control/Effect/Sum.hs +1/−0
- test/Gen.hs +2/−1
ChangeLog.md view
@@ -1,3 +1,7 @@+# v1.1.1.2++- Adds support for `ghc` 9.2.1 and `base` 4.16.+ # v1.1.1.1 - Adds support for `ghc` 9.0 & `base` 4.15.
README.lhs view
@@ -1,6 +1,6 @@ # A fast, flexible, fused effect system for Haskell -[](https://github.com/fused-effects/fused-effects/actions) [](http://hackage.haskell.org/package/fused-effects)+[](https://github.com/fused-effects/fused-effects/actions) [](http://hackage.haskell.org/package/fused-effects) - [Overview][] - [Algebraic effects][]@@ -194,7 +194,9 @@ [common]: https://github.com/fused-effects/fused-effects/blob/master/docs/common_errors.md -The following invocation, taken from the teletype example, should suffice for most use or construction of effects and carriers:+The following invocation, taken from the [teletype example][], should suffice for most use or construction of effects and carriers:++[teletype example]: https://github.com/fused-effects/fused-effects/blob/master/examples/Teletype.hs ```haskell {-# LANGUAGE FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, TypeOperators, UndecidableInstances #-}
README.md view
@@ -1,6 +1,6 @@ # A fast, flexible, fused effect system for Haskell -[](https://github.com/fused-effects/fused-effects/actions) [](http://hackage.haskell.org/package/fused-effects)+[](https://github.com/fused-effects/fused-effects/actions) [](http://hackage.haskell.org/package/fused-effects) - [Overview][] - [Algebraic effects][]@@ -194,7 +194,9 @@ [common]: https://github.com/fused-effects/fused-effects/blob/master/docs/common_errors.md -The following invocation, taken from the teletype example, should suffice for most use or construction of effects and carriers:+The following invocation, taken from the [teletype example][], should suffice for most use or construction of effects and carriers:++[teletype example]: https://github.com/fused-effects/fused-effects/blob/master/examples/Teletype.hs ```haskell {-# LANGUAGE FlexibleInstances, GeneralizedNewtypeDeriving, MultiParamTypeClasses, TypeOperators, UndecidableInstances #-}
benchmark/Bench/NonDet/NQueens.hs view
@@ -28,8 +28,8 @@ diags :: Square -> [Diagonal] diags (i,j) = [ Row i , Col j- , Backslash (j-i)- , Forwardslash (i+j) ]+ , Backslash (j - i)+ , Forwardslash (i + j) ] isSafeIn :: Square -> Board -> Bool isSafeIn (i, j) qs = null (diags (i, j) `List.intersect` underThreat)
fused-effects.cabal view
@@ -1,7 +1,7 @@ cabal-version: 2.2 name: fused-effects-version: 1.1.1.1+version: 1.1.1.2 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@@ -23,6 +23,7 @@ GHC == 8.8.4 GHC == 8.10.4 GHC == 9.0.1+ GHC == 9.2.1 common common default-language: Haskell2010@@ -43,6 +44,9 @@ ghc-options: -Wno-missing-safe-haskell-mode -Wno-prepositive-qualified-module+ if (impl(ghc >= 9.2))+ ghc-options:+ -Wno-missing-kind-signatures library import: common@@ -106,7 +110,7 @@ Control.Effect.Throw.Internal Control.Effect.Writer.Internal build-depends:- base >= 4.9 && < 4.16+ base >= 4.9 && < 4.17 , transformers >= 0.4 && < 0.6 @@ -125,7 +129,7 @@ build-depends: , base , fused-effects- , hedgehog ^>= 1+ , hedgehog >= 1 && < 1.2 , hedgehog-fn ^>= 1 @@ -159,8 +163,8 @@ , base , containers >= 0.5 && < 0.7 , fused-effects- , hedgehog ^>= 1- , hedgehog-fn ^>= 1+ , hedgehog+ , hedgehog-fn , inspection-testing ^>= 0.4 , transformers
src/Control/Carrier/Trace/Returning.hs view
@@ -39,7 +39,7 @@ -- -- @since 1.0.0.0 runTrace :: Functor m => TraceC m a -> m ([String], a)-runTrace (TraceC m) = first (($[]) . appEndo) <$> runWriter m+runTrace (TraceC m) = first (($ []) . appEndo) <$> runWriter m {-# INLINE runTrace #-} -- | @since 1.0.0.0
src/Control/Effect/Sum.hs view
@@ -1,4 +1,5 @@ {-# LANGUAGE DeriveTraversable #-}+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE LambdaCase #-} {-# LANGUAGE MultiParamTypeClasses #-}
test/Gen.hs view
@@ -1,5 +1,6 @@ {-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveGeneric #-}+{-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FunctionalDependencies #-} {-# LANGUAGE GADTs #-}@@ -89,7 +90,7 @@ import GHC.Generics ((:.:)(..)) import GHC.Stack import GHC.TypeLits-import Hedgehog+import Hedgehog hiding (Rec (..)) import qualified Hedgehog.Function as Fn import Hedgehog.Gen as Hedgehog import Hedgehog.Range