polysemy-conc 0.13.0.0 → 0.13.0.1
raw patch · 1 files changed
+2/−2 lines, 1 filesdep ~polysemy-testPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: polysemy-test
API changes (from Hackage documentation)
- Polysemy.Conc.Effect.Critical: catch :: forall r_achg e_X0 a_X1. (Member Critical r_achg, Exception e_X0) => Sem r_achg a_X1 -> Sem r_achg (Either e_X0 a_X1)
+ Polysemy.Conc.Effect.Critical: catch :: forall r_acf9 e_X0 a_X1. (Member Critical r_acf9, Exception e_X0) => Sem r_acf9 a_X1 -> Sem r_acf9 (Either e_X0 a_X1)
- Polysemy.Conc.Effect.Interrupt: interrupted :: forall r_acR3. Member Interrupt r_acR3 => Sem r_acR3 Bool
+ Polysemy.Conc.Effect.Interrupt: interrupted :: forall r_acOW. Member Interrupt r_acOW => Sem r_acOW Bool
- Polysemy.Conc.Effect.Interrupt: killOnQuit :: forall r_acR4 a_X0. Member Interrupt r_acR4 => Text -> Sem r_acR4 a_X0 -> Sem r_acR4 (Maybe a_X0)
+ Polysemy.Conc.Effect.Interrupt: killOnQuit :: forall r_acOX a_X0. Member Interrupt r_acOX => Text -> Sem r_acOX a_X0 -> Sem r_acOX (Maybe a_X0)
- Polysemy.Conc.Effect.Interrupt: quit :: forall r_acR1. Member Interrupt r_acR1 => Sem r_acR1 ()
+ Polysemy.Conc.Effect.Interrupt: quit :: forall r_acOU. Member Interrupt r_acOU => Sem r_acOU ()
- Polysemy.Conc.Effect.Interrupt: register :: forall r_acQW. Member Interrupt r_acQW => Text -> IO () -> Sem r_acQW ()
+ Polysemy.Conc.Effect.Interrupt: register :: forall r_acOP. Member Interrupt r_acOP => Text -> IO () -> Sem r_acOP ()
- Polysemy.Conc.Effect.Interrupt: unregister :: forall r_acQZ. Member Interrupt r_acQZ => Text -> Sem r_acQZ ()
+ Polysemy.Conc.Effect.Interrupt: unregister :: forall r_acOS. Member Interrupt r_acOS => Text -> Sem r_acOS ()
- Polysemy.Conc.Effect.Interrupt: waitQuit :: forall r_acR2. Member Interrupt r_acR2 => Sem r_acR2 ()
+ Polysemy.Conc.Effect.Interrupt: waitQuit :: forall r_acOV. Member Interrupt r_acOV => Sem r_acOV ()
- Polysemy.Conc.Effect.Queue: close :: forall d_afXF r_ag5W. Member (Queue d_afXF) r_ag5W => Sem r_ag5W ()
+ Polysemy.Conc.Effect.Queue: close :: forall d_ag5U r_ageb. Member (Queue d_ag5U) r_ageb => Sem r_ageb ()
- Polysemy.Conc.Effect.Queue: closed :: forall d_afXD r_ag5V. Member (Queue d_afXD) r_ag5V => Sem r_ag5V Bool
+ Polysemy.Conc.Effect.Queue: closed :: forall d_ag5S r_agea. Member (Queue d_ag5S) r_agea => Sem r_agea Bool
- Polysemy.Conc.Effect.Queue: peek :: forall d_afXs r_ag5M. Member (Queue d_afXs) r_ag5M => Sem r_ag5M (QueueResult d_afXs)
+ Polysemy.Conc.Effect.Queue: peek :: forall d_ag5H r_age1. Member (Queue d_ag5H) r_age1 => Sem r_age1 (QueueResult d_ag5H)
- Polysemy.Conc.Effect.Queue: read :: forall d_afXl r_ag5I. Member (Queue d_afXl) r_ag5I => Sem r_ag5I (QueueResult d_afXl)
+ Polysemy.Conc.Effect.Queue: read :: forall d_ag5A r_agdX. Member (Queue d_ag5A) r_agdX => Sem r_agdX (QueueResult d_ag5A)
- Polysemy.Conc.Effect.Queue: readTimeout :: forall d_afXq r_ag5K t_X0. (Member (Queue d_afXq) r_ag5K, TimeUnit t_X0) => t_X0 -> Sem r_ag5K (QueueResult d_afXq)
+ Polysemy.Conc.Effect.Queue: readTimeout :: forall d_ag5F r_agdZ t_X0. (Member (Queue d_ag5F) r_agdZ, TimeUnit t_X0) => t_X0 -> Sem r_agdZ (QueueResult d_ag5F)
- Polysemy.Conc.Effect.Queue: tryPeek :: forall d_afXu r_ag5N. Member (Queue d_afXu) r_ag5N => Sem r_ag5N (QueueResult d_afXu)
+ Polysemy.Conc.Effect.Queue: tryPeek :: forall d_ag5J r_age2. Member (Queue d_ag5J) r_age2 => Sem r_age2 (QueueResult d_ag5J)
- Polysemy.Conc.Effect.Queue: tryRead :: forall d_afXn r_ag5J. Member (Queue d_afXn) r_ag5J => Sem r_ag5J (QueueResult d_afXn)
+ Polysemy.Conc.Effect.Queue: tryRead :: forall d_ag5C r_agdY. Member (Queue d_ag5C) r_agdY => Sem r_agdY (QueueResult d_ag5C)
- Polysemy.Conc.Effect.Queue: tryWrite :: forall d_afXy r_ag5Q. Member (Queue d_afXy) r_ag5Q => d_afXy -> Sem r_ag5Q (QueueResult ())
+ Polysemy.Conc.Effect.Queue: tryWrite :: forall d_ag5N r_age5. Member (Queue d_ag5N) r_age5 => d_ag5N -> Sem r_age5 (QueueResult ())
- Polysemy.Conc.Effect.Queue: write :: forall d_afXw r_ag5O. Member (Queue d_afXw) r_ag5O => d_afXw -> Sem r_ag5O ()
+ Polysemy.Conc.Effect.Queue: write :: forall d_ag5L r_age3. Member (Queue d_ag5L) r_age3 => d_ag5L -> Sem r_age3 ()
- Polysemy.Conc.Effect.Queue: writeTimeout :: forall d_afXB r_ag5S t_X0. (Member (Queue d_afXB) r_ag5S, TimeUnit t_X0) => t_X0 -> d_afXB -> Sem r_ag5S (QueueResult ())
+ Polysemy.Conc.Effect.Queue: writeTimeout :: forall d_ag5Q r_age7 t_X0. (Member (Queue d_ag5Q) r_age7, TimeUnit t_X0) => t_X0 -> d_ag5Q -> Sem r_age7 (QueueResult ())
- Polysemy.Conc.Effect.Sync: block :: forall d_ah1w r_ah9S. Member (Sync d_ah1w) r_ah9S => Sem r_ah9S d_ah1w
+ Polysemy.Conc.Effect.Sync: block :: forall d_ah9L r_ahi7. Member (Sync d_ah9L) r_ahi7 => Sem r_ahi7 d_ah9L
- Polysemy.Conc.Effect.Sync: empty :: forall d_ah1R r_aha7. Member (Sync d_ah1R) r_aha7 => Sem r_aha7 Bool
+ Polysemy.Conc.Effect.Sync: empty :: forall d_aha6 r_ahim. Member (Sync d_aha6) r_ahim => Sem r_ahim Bool
- Polysemy.Conc.Effect.Sync: putBlock :: forall d_ah1K r_aha0. Member (Sync d_ah1K) r_aha0 => d_ah1K -> Sem r_aha0 ()
+ Polysemy.Conc.Effect.Sync: putBlock :: forall d_ah9Z r_ahif. Member (Sync d_ah9Z) r_ahif => d_ah9Z -> Sem r_ahif ()
- Polysemy.Conc.Effect.Sync: putTry :: forall d_ah1P r_aha5. Member (Sync d_ah1P) r_aha5 => d_ah1P -> Sem r_aha5 Bool
+ Polysemy.Conc.Effect.Sync: putTry :: forall d_aha4 r_ahik. Member (Sync d_aha4) r_ahik => d_aha4 -> Sem r_ahik Bool
- Polysemy.Conc.Effect.Sync: putWait :: forall d_ah1N r_aha2 u_X0. (Member (Sync d_ah1N) r_aha2, TimeUnit u_X0) => u_X0 -> d_ah1N -> Sem r_aha2 Bool
+ Polysemy.Conc.Effect.Sync: putWait :: forall d_aha2 r_ahih u_X0. (Member (Sync d_aha2) r_ahih, TimeUnit u_X0) => u_X0 -> d_aha2 -> Sem r_ahih Bool
- Polysemy.Conc.Effect.Sync: takeBlock :: forall d_ah1D r_ah9W. Member (Sync d_ah1D) r_ah9W => Sem r_ah9W d_ah1D
+ Polysemy.Conc.Effect.Sync: takeBlock :: forall d_ah9S r_ahib. Member (Sync d_ah9S) r_ahib => Sem r_ahib d_ah9S
- Polysemy.Conc.Effect.Sync: takeTry :: forall d_ah1I r_ah9Z. Member (Sync d_ah1I) r_ah9Z => Sem r_ah9Z (Maybe d_ah1I)
+ Polysemy.Conc.Effect.Sync: takeTry :: forall d_ah9X r_ahie. Member (Sync d_ah9X) r_ahie => Sem r_ahie (Maybe d_ah9X)
- Polysemy.Conc.Effect.Sync: takeWait :: forall d_ah1G r_ah9X u_X0. (Member (Sync d_ah1G) r_ah9X, TimeUnit u_X0) => u_X0 -> Sem r_ah9X (Maybe d_ah1G)
+ Polysemy.Conc.Effect.Sync: takeWait :: forall d_ah9V r_ahic u_X0. (Member (Sync d_ah9V) r_ahic, TimeUnit u_X0) => u_X0 -> Sem r_ahic (Maybe d_ah9V)
- Polysemy.Conc.Effect.Sync: try :: forall d_ah1B r_ah9V. Member (Sync d_ah1B) r_ah9V => Sem r_ah9V (Maybe d_ah1B)
+ Polysemy.Conc.Effect.Sync: try :: forall d_ah9Q r_ahia. Member (Sync d_ah9Q) r_ahia => Sem r_ahia (Maybe d_ah9Q)
- Polysemy.Conc.Effect.Sync: wait :: forall d_ah1z r_ah9T u_X0. (Member (Sync d_ah1z) r_ah9T, TimeUnit u_X0) => u_X0 -> Sem r_ah9T (Maybe d_ah1z)
+ Polysemy.Conc.Effect.Sync: wait :: forall d_ah9O r_ahi8 u_X0. (Member (Sync d_ah9O) r_ahi8, TimeUnit u_X0) => u_X0 -> Sem r_ahi8 (Maybe d_ah9O)
- Polysemy.Conc.Effect.SyncRead: block :: forall d_ahBB r_ahEh. Member (SyncRead d_ahBB) r_ahEh => Sem r_ahEh d_ahBB
+ Polysemy.Conc.Effect.SyncRead: block :: forall d_ahJQ r_ahMw. Member (SyncRead d_ahJQ) r_ahMw => Sem r_ahMw d_ahJQ
- Polysemy.Conc.Effect.SyncRead: empty :: forall d_ahBI r_ahEl. Member (SyncRead d_ahBI) r_ahEl => Sem r_ahEl Bool
+ Polysemy.Conc.Effect.SyncRead: empty :: forall d_ahJX r_ahMA. Member (SyncRead d_ahJX) r_ahMA => Sem r_ahMA Bool
- Polysemy.Conc.Effect.SyncRead: try :: forall d_ahBG r_ahEk. Member (SyncRead d_ahBG) r_ahEk => Sem r_ahEk (Maybe d_ahBG)
+ Polysemy.Conc.Effect.SyncRead: try :: forall d_ahJV r_ahMz. Member (SyncRead d_ahJV) r_ahMz => Sem r_ahMz (Maybe d_ahJV)
- Polysemy.Conc.Effect.SyncRead: wait :: forall d_ahBE r_ahEi u_X0. (Member (SyncRead d_ahBE) r_ahEi, TimeUnit u_X0) => u_X0 -> Sem r_ahEi (Maybe d_ahBE)
+ Polysemy.Conc.Effect.SyncRead: wait :: forall d_ahJT r_ahMx u_X0. (Member (SyncRead d_ahJT) r_ahMx, TimeUnit u_X0) => u_X0 -> Sem r_ahMx (Maybe d_ahJT)
- Polysemy.Conc.Queue: close :: forall d_afXF r_ag5W. Member (Queue d_afXF) r_ag5W => Sem r_ag5W ()
+ Polysemy.Conc.Queue: close :: forall d_ag5U r_ageb. Member (Queue d_ag5U) r_ageb => Sem r_ageb ()
- Polysemy.Conc.Queue: closed :: forall d_afXD r_ag5V. Member (Queue d_afXD) r_ag5V => Sem r_ag5V Bool
+ Polysemy.Conc.Queue: closed :: forall d_ag5S r_agea. Member (Queue d_ag5S) r_agea => Sem r_agea Bool
- Polysemy.Conc.Queue: peek :: forall d_afXs r_ag5M. Member (Queue d_afXs) r_ag5M => Sem r_ag5M (QueueResult d_afXs)
+ Polysemy.Conc.Queue: peek :: forall d_ag5H r_age1. Member (Queue d_ag5H) r_age1 => Sem r_age1 (QueueResult d_ag5H)
- Polysemy.Conc.Queue: read :: forall d_afXl r_ag5I. Member (Queue d_afXl) r_ag5I => Sem r_ag5I (QueueResult d_afXl)
+ Polysemy.Conc.Queue: read :: forall d_ag5A r_agdX. Member (Queue d_ag5A) r_agdX => Sem r_agdX (QueueResult d_ag5A)
- Polysemy.Conc.Queue: readTimeout :: forall d_afXq r_ag5K t_X0. (Member (Queue d_afXq) r_ag5K, TimeUnit t_X0) => t_X0 -> Sem r_ag5K (QueueResult d_afXq)
+ Polysemy.Conc.Queue: readTimeout :: forall d_ag5F r_agdZ t_X0. (Member (Queue d_ag5F) r_agdZ, TimeUnit t_X0) => t_X0 -> Sem r_agdZ (QueueResult d_ag5F)
- Polysemy.Conc.Queue: tryPeek :: forall d_afXu r_ag5N. Member (Queue d_afXu) r_ag5N => Sem r_ag5N (QueueResult d_afXu)
+ Polysemy.Conc.Queue: tryPeek :: forall d_ag5J r_age2. Member (Queue d_ag5J) r_age2 => Sem r_age2 (QueueResult d_ag5J)
- Polysemy.Conc.Queue: tryRead :: forall d_afXn r_ag5J. Member (Queue d_afXn) r_ag5J => Sem r_ag5J (QueueResult d_afXn)
+ Polysemy.Conc.Queue: tryRead :: forall d_ag5C r_agdY. Member (Queue d_ag5C) r_agdY => Sem r_agdY (QueueResult d_ag5C)
- Polysemy.Conc.Queue: tryWrite :: forall d_afXy r_ag5Q. Member (Queue d_afXy) r_ag5Q => d_afXy -> Sem r_ag5Q (QueueResult ())
+ Polysemy.Conc.Queue: tryWrite :: forall d_ag5N r_age5. Member (Queue d_ag5N) r_age5 => d_ag5N -> Sem r_age5 (QueueResult ())
- Polysemy.Conc.Queue: write :: forall d_afXw r_ag5O. Member (Queue d_afXw) r_ag5O => d_afXw -> Sem r_ag5O ()
+ Polysemy.Conc.Queue: write :: forall d_ag5L r_age3. Member (Queue d_ag5L) r_age3 => d_ag5L -> Sem r_age3 ()
- Polysemy.Conc.Queue: writeTimeout :: forall d_afXB r_ag5S t_X0. (Member (Queue d_afXB) r_ag5S, TimeUnit t_X0) => t_X0 -> d_afXB -> Sem r_ag5S (QueueResult ())
+ Polysemy.Conc.Queue: writeTimeout :: forall d_ag5Q r_age7 t_X0. (Member (Queue d_ag5Q) r_age7, TimeUnit t_X0) => t_X0 -> d_ag5Q -> Sem r_age7 (QueueResult ())
- Polysemy.Conc.SyncRead: block :: forall d_ahBB r_ahEh. Member (SyncRead d_ahBB) r_ahEh => Sem r_ahEh d_ahBB
+ Polysemy.Conc.SyncRead: block :: forall d_ahJQ r_ahMw. Member (SyncRead d_ahJQ) r_ahMw => Sem r_ahMw d_ahJQ
- Polysemy.Conc.SyncRead: empty :: forall d_ahBI r_ahEl. Member (SyncRead d_ahBI) r_ahEl => Sem r_ahEl Bool
+ Polysemy.Conc.SyncRead: empty :: forall d_ahJX r_ahMA. Member (SyncRead d_ahJX) r_ahMA => Sem r_ahMA Bool
- Polysemy.Conc.SyncRead: try :: forall d_ahBG r_ahEk. Member (SyncRead d_ahBG) r_ahEk => Sem r_ahEk (Maybe d_ahBG)
+ Polysemy.Conc.SyncRead: try :: forall d_ahJV r_ahMz. Member (SyncRead d_ahJV) r_ahMz => Sem r_ahMz (Maybe d_ahJV)
- Polysemy.Conc.SyncRead: wait :: forall d_ahBE r_ahEi u_X0. (Member (SyncRead d_ahBE) r_ahEi, TimeUnit u_X0) => u_X0 -> Sem r_ahEi (Maybe d_ahBE)
+ Polysemy.Conc.SyncRead: wait :: forall d_ahJT r_ahMx u_X0. (Member (SyncRead d_ahJT) r_ahMx, TimeUnit u_X0) => u_X0 -> Sem r_ahMx (Maybe d_ahJT)
Files
- polysemy-conc.cabal +2/−2
polysemy-conc.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: polysemy-conc-version: 0.13.0.0+version: 0.13.0.1 synopsis: Polysemy effects for concurrency description: See https://hackage.haskell.org/package/polysemy-conc/docs/Polysemy-Conc.html category: Concurrency@@ -185,7 +185,7 @@ , polysemy ==1.9.* , polysemy-conc , polysemy-plugin >=0.4.4 && <0.5- , polysemy-test >=0.6 && <0.9+ , polysemy-test >=0.6 && <0.10 , polysemy-time ==0.6.* , stm , tasty ==1.4.*