packages feed

polysemy-zoo 0.7.0.1 → 0.7.0.2

raw patch · 6 files changed

+45/−16 lines, 6 filesdep ~ghc-primnew-uploaderPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: ghc-prim

API changes (from Hackage documentation)

- Polysemy.ConstraintAbsorber: data Proxy (t :: k) :: forall k. () => k -> Type
- Polysemy.ConstraintAbsorber: newtype (:-) a b
+ Polysemy.ConstraintAbsorber: data Proxy (t :: k)
+ Polysemy.ConstraintAbsorber: newtype a :- b
- Polysemy.ConstraintAbsorber: Proxy :: Proxy
+ Polysemy.ConstraintAbsorber: Proxy :: Proxy (t :: k)
- Polysemy.ConstraintAbsorber: Sub :: (a -> Dict b) -> (:-) a b
+ Polysemy.ConstraintAbsorber: Sub :: (a => Dict b) -> (:-) a b
- Polysemy.EndState: getEndState :: forall s_atmD r_atnw. MemberWithError (EndState s_atmD) r_atnw => Sem r_atnw s_atmD
+ Polysemy.EndState: getEndState :: forall s_akW2 r_akWU. MemberWithError (EndState s_akW2) r_akWU => Sem r_akWU s_akW2
- Polysemy.Floodgate: hold :: forall r_agIr. MemberWithError Floodgate r_agIr => Sem r_agIr () -> Sem r_agIr ()
+ Polysemy.Floodgate: hold :: forall r_abHa. MemberWithError Floodgate r_abHa => Sem r_abHa () -> Sem r_abHa ()
- Polysemy.Floodgate: release :: forall r_agIt. MemberWithError Floodgate r_agIt => Sem r_agIt ()
+ Polysemy.Floodgate: release :: forall r_abHc. MemberWithError Floodgate r_abHc => Sem r_abHc ()
- Polysemy.Fresh: fresh :: forall uniq_alGM r_alHF. MemberWithError (Fresh uniq_alGM) r_alHF => Sem r_alHF uniq_alGM
+ Polysemy.Fresh: fresh :: forall uniq_ae5U r_ae6M. MemberWithError (Fresh uniq_ae5U) r_ae6M => Sem r_ae6M uniq_ae5U
- Polysemy.KVStore: lookupKV :: forall k_arsB v_arsC r_arut. MemberWithError (KVStore k_arsB v_arsC) r_arut => k_arsB -> Sem r_arut (Maybe v_arsC)
+ Polysemy.KVStore: lookupKV :: forall k_ajgn v_ajgo r_ajig. MemberWithError (KVStore k_ajgn v_ajgo) r_ajig => k_ajgn -> Sem r_ajig (Maybe v_ajgo)
- Polysemy.KVStore: updateKV :: forall k_arsE v_arsF r_aruv. MemberWithError (KVStore k_arsE v_arsF) r_aruv => k_arsE -> Maybe v_arsF -> Sem r_aruv ()
+ Polysemy.KVStore: updateKV :: forall k_ajgq v_ajgr r_ajii. MemberWithError (KVStore k_ajgq v_ajgr) r_ajii => k_ajgq -> Maybe v_ajgr -> Sem r_ajii ()
- Polysemy.Random: random :: forall r_ast9 x_asrp. (MemberWithError Random r_ast9, Random x_asrp) => Sem r_ast9 x_asrp
+ Polysemy.Random: random :: forall r_ak96 x_ak7u. (MemberWithError Random r_ak96, Random x_ak7u) => Sem r_ak96 x_ak7u
- Polysemy.Random: randomR :: forall r_asta x_asrr. (MemberWithError Random r_asta, Random x_asrr) => (x_asrr, x_asrr) -> Sem r_asta x_asrr
+ Polysemy.Random: randomR :: forall r_ak97 x_ak7w. (MemberWithError Random r_ak97, Random x_ak7w) => (x_ak7w, x_ak7w) -> Sem r_ak97 x_ak7w
- Polysemy.SetStore: addS :: forall k_avJy v_avJz r_avMu. MemberWithError (SetStore k_avJy v_avJz) r_avMu => k_avJy -> v_avJz -> Sem r_avMu ()
+ Polysemy.SetStore: addS :: forall k_ancz v_ancA r_anfx. MemberWithError (SetStore k_ancz v_ancA) r_anfx => k_ancz -> v_ancA -> Sem r_anfx ()
- Polysemy.SetStore: delS :: forall k_avJB v_avJC r_avMx. MemberWithError (SetStore k_avJB v_avJC) r_avMx => k_avJB -> v_avJC -> Sem r_avMx ()
+ Polysemy.SetStore: delS :: forall k_ancC v_ancD r_anfA. MemberWithError (SetStore k_ancC v_ancD) r_anfA => k_ancC -> v_ancD -> Sem r_anfA ()
- Polysemy.SetStore: memberS :: forall k_avJE v_avJF r_avMA. MemberWithError (SetStore k_avJE v_avJF) r_avMA => k_avJE -> v_avJF -> Sem r_avMA Bool
+ Polysemy.SetStore: memberS :: forall k_ancF v_ancG r_anfD. MemberWithError (SetStore k_ancF v_ancG) r_anfD => k_ancF -> v_ancG -> Sem r_anfD Bool

Files

ChangeLog.md view
@@ -1,8 +1,11 @@ # Changelog for polysemy-zoo +## 0.7.0.2 (2020-11-04)+- Add support for GHC 9.0+  ([#70](https://github.com/polysemy-research/polysemy-zoo/pull/70), thanks to @funketh)  ## 0.7.0.1 (2020-10-06)-* As a stop-gap for [#65](https://github.com/polysemy-research/polysemy-zoo/issues/65), the library has been rewritten to no longer use `polysemy-plugin`. This should allow GHC 8.10 users to use the library.+- As a stop-gap for [#65](https://github.com/polysemy-research/polysemy-zoo/issues/65), the library has been rewritten to no longer use `polysemy-plugin`. This should allow GHC 8.10 users to use the library.  ## 0.7.0.0 (2020-02-14) ### Breaking Changes
README.md view
@@ -28,4 +28,4 @@  * [kowainik/co-log](https://github.com/kowainik/co-log/tree/master/co-log-polysemy) * [adamConnerSax/polysemy-RandomFu](https://hackage.haskell.org/package/polysemy-RandomFu)-+* [lehmacdj/polysemy-readline](https://hackage.haskell.org/package/polysemy-readline)
polysemy-zoo.cabal view
@@ -1,13 +1,13 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.33.0.+-- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack ----- hash: a5563140d5d76f52bdcb2c1def770fca8613155455f2e76e5286d6a5cd6505a3+-- hash: 21ba8ceb18ae6184f65237f20847dd9e3f23ad2838d46fc1cd6af719dac66eb3  name:           polysemy-zoo-version:        0.7.0.1+version:        0.7.0.2 synopsis:       Experimental, user-contributed effects and interpreters for polysemy description:    Please see the README on GitHub at <https://github.com/isovector/polysemy-zoo#readme> category:       Polysemy@@ -63,7 +63,20 @@       Paths_polysemy_zoo   hs-source-dirs:       src-  default-extensions: DataKinds DeriveFunctor FlexibleContexts GADTs LambdaCase PolyKinds RankNTypes ScopedTypeVariables StandaloneDeriving TypeApplications TypeOperators TypeFamilies UnicodeSyntax+  default-extensions:+      DataKinds+      DeriveFunctor+      FlexibleContexts+      GADTs+      LambdaCase+      PolyKinds+      RankNTypes+      ScopedTypeVariables+      StandaloneDeriving+      TypeApplications+      TypeOperators+      TypeFamilies+      UnicodeSyntax   ghc-options: -Wall   build-depends:       async >=2.2 && <3@@ -73,12 +86,12 @@     , containers >=0.5 && <0.7     , contravariant <2     , exceptions >=0.10.0 && <0.11-    , ghc-prim >=0.5.2 && <0.7+    , ghc-prim >=0.5.2 && <0.8     , mtl >=2.0.1.0 && <3.0.0.0     , polysemy >=1.2.1.0     , random >=1.1 && <1.3     , reflection >=2.1.4 && <3.0.0-    , streaming >=0.2 && <0.3+    , streaming ==0.2.*     , text >=1.1.0 && <1.3     , transformers >=0.5.2.0 && <0.6   default-language: Haskell2010@@ -99,7 +112,20 @@       Paths_polysemy_zoo   hs-source-dirs:       test-  default-extensions: DataKinds DeriveFunctor FlexibleContexts GADTs LambdaCase PolyKinds RankNTypes ScopedTypeVariables StandaloneDeriving TypeApplications TypeOperators TypeFamilies UnicodeSyntax+  default-extensions:+      DataKinds+      DeriveFunctor+      FlexibleContexts+      GADTs+      LambdaCase+      PolyKinds+      RankNTypes+      ScopedTypeVariables+      StandaloneDeriving+      TypeApplications+      TypeOperators+      TypeFamilies+      UnicodeSyntax   ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N -fplugin=Polysemy.Plugin   build-tool-depends:       hspec-discover:hspec-discover >=2.0@@ -111,7 +137,7 @@     , containers >=0.5 && <0.7     , contravariant <2     , exceptions >=0.10.0 && <0.11-    , ghc-prim >=0.5.2 && <0.7+    , ghc-prim >=0.5.2 && <0.8     , hspec >=2.6.0 && <3     , mtl >=2.0.1.0 && <3.0.0.0     , polysemy >=1.2.0.0@@ -119,7 +145,7 @@     , polysemy-zoo     , random >=1.1 && <1.3     , reflection >=2.1.4 && <3.0.0-    , streaming >=0.2 && <0.3+    , streaming ==0.2.*     , text >=1.1.0 && <1.3     , transformers >=0.5.2.0 && <0.6   default-language: Haskell2010
src/Polysemy/ConstraintAbsorber/MonadCatch.hs view
@@ -37,7 +37,7 @@ -- | Like 'E.runError' but applies a given function from 'SomeException' -- to some other type, typically something less opaque. -- e.g.:---  @runErrorForMonadCatch C.displayException@+--  @runMonadCatch C.displayException@ --  -- @since 0.7.0.0 runMonadCatch@@ -80,7 +80,7 @@        -- or 'C.MonadThrow' for        -- 'Sem'. This might be something with type @'C.MonadCatch' e m => m a@.   -> Sem r a-absorbMonadThrow = absorbMonadCatch+absorbMonadThrow main = absorbMonadCatch main {-# INLINABLE absorbMonadThrow #-}  ------------------------------------------------------------------------------
src/Polysemy/ConstraintAbsorber/MonadCont.hs view
@@ -28,7 +28,7 @@        -- 'Sem'. This might be something with type @'C.MonadCont' m => m a@.     -> Sem r a absorbCont = absorbWithSem @C.MonadCont @Action-  (ContDict (callCC @ref))+  (ContDict (\main -> callCC @ref $ \exit -> main exit))   (Sub Dict) {-# INLINEABLE absorbCont #-}
src/Polysemy/IdempotentLowering.hs view
@@ -89,7 +89,7 @@     -> base (∀ z. Sem (e ': r) z -> m z) fi .@! gi = do   f <- fi-  g <- gi f+  g <- gi (\x -> f x)   nat $ \z -> f $ g z infixl 8 .@! @@ -112,7 +112,7 @@     -> base (∀ z. Sem (e ': r) z -> m (f z)) fi .@@! gi = do   f <- fi-  g <- gi f+  g <- gi (\x -> f x)   nat' $ \z -> f $ g z infixl 8 .@@!