polysemy 1.9.1.3 → 1.9.2.0
raw patch · 4 files changed
+19/−8 lines, 4 filesdep ~containersdep ~doctestdep ~inspection-testing
Dependency ranges changed: containers, doctest, inspection-testing
Files
- README.md +1/−1
- polysemy.cabal +4/−4
- src/Polysemy/Internal/TH/Effect.hs +9/−2
- src/Polysemy/Internal/Union.hs +5/−1
README.md view
@@ -352,4 +352,4 @@ [oleg:more]: http://okmij.org/ftp/Haskell/extensible/more.pdf [schrijvers:fusion]: https://people.cs.kuleuven.be/~tom.schrijvers/Research/papers/mpc2015.pdf [wu:scope]: https://www.cs.ox.ac.uk/people/nicolas.wu/papers/Scope.pdf-[flake]: https://nixos.wiki/wiki/Flakes+[flake]: https://wiki.nixos.org/wiki/Flakes
polysemy.cabal view
@@ -1,11 +1,11 @@ cabal-version: 2.0 --- This file has been generated from package.yaml by hpack version 0.35.2.+-- This file has been generated from package.yaml by hpack version 0.36.0. -- -- see: https://github.com/sol/hpack name: polysemy-version: 1.9.1.3+version: 1.9.2.0 synopsis: Higher-order, low-boilerplate free monads. description: Please see the README on GitHub at <https://github.com/polysemy-research/polysemy#readme> category: Language@@ -106,7 +106,7 @@ , stm ==2.* , syb ==0.7.* , template-haskell >=2.12.0.0 && <3- , th-abstraction >=0.3.1.0 && <0.7+ , th-abstraction >=0.3.1.0 && <0.8 , transformers >=0.5.2.0 && <0.7 , type-errors >=0.2.0.0 , unagi-chan >=0.4.0.0 && <0.5@@ -177,7 +177,7 @@ , stm ==2.* , syb ==0.7.* , template-haskell >=2.12.0.0 && <3- , th-abstraction >=0.3.1.0 && <0.7+ , th-abstraction >=0.3.1.0 && <0.8 , transformers >=0.5.2.0 && <0.7 , type-errors >=0.2.0.0 , unagi-chan >=0.4.0.0 && <0.5
src/Polysemy/Internal/TH/Effect.hs view
@@ -136,8 +136,8 @@ -- | Generates signature for lifting function and type arguments to apply in -- its body on effect's data constructor. genSig :: ConLiftInfo -> [Dec]-genSig cli- = maybe [] (pure . flip InfixD (cliFunName cli)) (cliFunFixity cli)+genSig cli =+ infixDecl ++ [ SigD (cliFunName cli) $ quantifyType $ ForallT [] (member_cxt : cliFunCxt cli) $ foldArrowTs sem@@ -145,6 +145,13 @@ $ cliFunArgs cli ] where+ infixDecl = case cliFunFixity cli of+#if __GLASGOW_HASKELL__ >= 910+ Just fixity -> [InfixD fixity NoNamespaceSpecifier (cliFunName cli)]+#else+ Just fixity -> [InfixD fixity (cliFunName cli)]+#endif+ Nothing -> [] member_cxt = makeMemberConstraint (cliUnionName cli) cli sem = makeSemType (cliUnionName cli) (cliEffRes cli)
src/Polysemy/Internal/Union.hs view
@@ -295,7 +295,11 @@ ------------------------------------------------------------------------------ -- | An empty union contains nothing, so this function is uncallable. absurdU :: Union '[] m a -> b-absurdU (Union _ _) = error "Unsafe use of UnsafeMkElemOf"+#if __GLASGOW_HASKELL__ >= 902+absurdU = \case+#else+absurdU _ = error "Unsafe use of UnsafeMkElemOf"+#endif ------------------------------------------------------------------------------