polysemy 1.9.1.0 → 1.9.1.1
raw patch · 1 files changed
+2/−2 lines, 1 filesdep ~doctestPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: doctest
API changes (from Hackage documentation)
- Polysemy.Async: async :: forall r_apBy a_X0. Member Async r_apBy => Sem r_apBy a_X0 -> Sem r_apBy (Async (Maybe a_X0))
+ Polysemy.Async: async :: forall r_apBB a_X0. Member Async r_apBB => Sem r_apBB a_X0 -> Sem r_apBB (Async (Maybe a_X0))
- Polysemy.Async: await :: forall r_apBA a_apwv. Member Async r_apBA => Async a_apwv -> Sem r_apBA a_apwv
+ Polysemy.Async: await :: forall r_apBD a_apwy. Member Async r_apBD => Async a_apwy -> Sem r_apBD a_apwy
- Polysemy.Async: cancel :: forall r_apBC a_X0. Member Async r_apBC => Async a_X0 -> Sem r_apBC ()
+ Polysemy.Async: cancel :: forall r_apBF a_X0. Member Async r_apBF => Async a_X0 -> Sem r_apBF ()
- Polysemy.Error: catch :: forall e_aq0i r_aq27 a_aq0k. Member (Error e_aq0i) r_aq27 => Sem r_aq27 a_aq0k -> (e_aq0i -> Sem r_aq27 a_aq0k) -> Sem r_aq27 a_aq0k
+ Polysemy.Error: catch :: forall e_aq0l r_aq2a a_aq0n. Member (Error e_aq0l) r_aq2a => Sem r_aq2a a_aq0n -> (e_aq0l -> Sem r_aq2a a_aq0n) -> Sem r_aq2a a_aq0n
- Polysemy.Error: throw :: forall e_aq0f r_aq25 a_aq0h. Member (Error e_aq0f) r_aq25 => e_aq0f -> Sem r_aq25 a_aq0h
+ Polysemy.Error: throw :: forall e_aq0i r_aq28 a_aq0k. Member (Error e_aq0i) r_aq28 => e_aq0i -> Sem r_aq28 a_aq0k
- Polysemy.Input: input :: forall i_aAaT r_aAbJ. Member (Input i_aAaT) r_aAbJ => Sem r_aAbJ i_aAaT
+ Polysemy.Input: input :: forall i_aAaW r_aAbM. Member (Input i_aAaW) r_aAbM => Sem r_aAbM i_aAaW
- Polysemy.Internal.Writer: listen :: forall o_asmM r_asoY a_X0. Member (Writer o_asmM) r_asoY => Sem r_asoY a_X0 -> Sem r_asoY (o_asmM, a_X0)
+ Polysemy.Internal.Writer: listen :: forall o_asmP r_asp1 a_X0. Member (Writer o_asmP) r_asp1 => Sem r_asp1 a_X0 -> Sem r_asp1 (o_asmP, a_X0)
- Polysemy.Internal.Writer: pass :: forall o_asmQ r_asp0 a_asmR. Member (Writer o_asmQ) r_asp0 => Sem r_asp0 (o_asmQ -> o_asmQ, a_asmR) -> Sem r_asp0 a_asmR
+ Polysemy.Internal.Writer: pass :: forall o_asmT r_asp3 a_asmU. Member (Writer o_asmT) r_asp3 => Sem r_asp3 (o_asmT -> o_asmT, a_asmU) -> Sem r_asp3 a_asmU
- Polysemy.Internal.Writer: tell :: forall o_asmK r_asoW. Member (Writer o_asmK) r_asoW => o_asmK -> Sem r_asoW ()
+ Polysemy.Internal.Writer: tell :: forall o_asmN r_asoZ. Member (Writer o_asmN) r_asoZ => o_asmN -> Sem r_asoZ ()
- Polysemy.Output: output :: forall o_ayBw r_ayCj. Member (Output o_ayBw) r_ayCj => o_ayBw -> Sem r_ayCj ()
+ Polysemy.Output: output :: forall o_ayBz r_ayCm. Member (Output o_ayBz) r_ayCm => o_ayBz -> Sem r_ayCm ()
- Polysemy.Reader: ask :: forall i_aAvu r_aAwV. Member (Reader i_aAvu) r_aAwV => Sem r_aAwV i_aAvu
+ Polysemy.Reader: ask :: forall i_aAvx r_aAwY. Member (Reader i_aAvx) r_aAwY => Sem r_aAwY i_aAvx
- Polysemy.Reader: local :: forall i_aAvw r_aAwW a_aAvy. Member (Reader i_aAvw) r_aAwW => (i_aAvw -> i_aAvw) -> Sem r_aAwW a_aAvy -> Sem r_aAwW a_aAvy
+ Polysemy.Reader: local :: forall i_aAvz r_aAwZ a_aAvB. Member (Reader i_aAvz) r_aAwZ => (i_aAvz -> i_aAvz) -> Sem r_aAwZ a_aAvB -> Sem r_aAwZ a_aAvB
- Polysemy.Resource: bracket :: forall r_avNA a_X0 c_X1 b_avLv. Member Resource r_avNA => Sem r_avNA a_X0 -> (a_X0 -> Sem r_avNA c_X1) -> (a_X0 -> Sem r_avNA b_avLv) -> Sem r_avNA b_avLv
+ Polysemy.Resource: bracket :: forall r_avND a_X0 c_X1 b_avLy. Member Resource r_avND => Sem r_avND a_X0 -> (a_X0 -> Sem r_avND c_X1) -> (a_X0 -> Sem r_avND b_avLy) -> Sem r_avND b_avLy
- Polysemy.Resource: bracketOnError :: forall r_avNE a_X0 c_X1 b_avLz. Member Resource r_avNE => Sem r_avNE a_X0 -> (a_X0 -> Sem r_avNE c_X1) -> (a_X0 -> Sem r_avNE b_avLz) -> Sem r_avNE b_avLz
+ Polysemy.Resource: bracketOnError :: forall r_avNH a_X0 c_X1 b_avLC. Member Resource r_avNH => Sem r_avNH a_X0 -> (a_X0 -> Sem r_avNH c_X1) -> (a_X0 -> Sem r_avNH b_avLC) -> Sem r_avNH b_avLC
- Polysemy.State: get :: forall s_ax7V r_ax9h. Member (State s_ax7V) r_ax9h => Sem r_ax9h s_ax7V
+ Polysemy.State: get :: forall s_ax7Y r_ax9k. Member (State s_ax7Y) r_ax9k => Sem r_ax9k s_ax7Y
- Polysemy.State: put :: forall s_ax7X r_ax9i. Member (State s_ax7X) r_ax9i => s_ax7X -> Sem r_ax9i ()
+ Polysemy.State: put :: forall s_ax80 r_ax9l. Member (State s_ax80) r_ax9l => s_ax80 -> Sem r_ax9l ()
- Polysemy.Trace: trace :: forall r_aCco. Member Trace r_aCco => String -> Sem r_aCco ()
+ Polysemy.Trace: trace :: forall r_aCcr. Member Trace r_aCcr => String -> Sem r_aCcr ()
- Polysemy.Writer: listen :: forall o_asmM r_asoY a_X0. Member (Writer o_asmM) r_asoY => Sem r_asoY a_X0 -> Sem r_asoY (o_asmM, a_X0)
+ Polysemy.Writer: listen :: forall o_asmP r_asp1 a_X0. Member (Writer o_asmP) r_asp1 => Sem r_asp1 a_X0 -> Sem r_asp1 (o_asmP, a_X0)
- Polysemy.Writer: pass :: forall o_asmQ r_asp0 a_asmR. Member (Writer o_asmQ) r_asp0 => Sem r_asp0 (o_asmQ -> o_asmQ, a_asmR) -> Sem r_asp0 a_asmR
+ Polysemy.Writer: pass :: forall o_asmT r_asp3 a_asmU. Member (Writer o_asmT) r_asp3 => Sem r_asp3 (o_asmT -> o_asmT, a_asmU) -> Sem r_asp3 a_asmU
- Polysemy.Writer: tell :: forall o_asmK r_asoW. Member (Writer o_asmK) r_asoW => o_asmK -> Sem r_asoW ()
+ Polysemy.Writer: tell :: forall o_asmN r_asoZ. Member (Writer o_asmN) r_asoZ => o_asmN -> Sem r_asoZ ()
Files
- polysemy.cabal +2/−2
polysemy.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: polysemy-version: 1.9.1.0+version: 1.9.1.1 synopsis: Higher-order, low-boilerplate free monads. description: Please see the README on GitHub at <https://github.com/polysemy-research/polysemy#readme> category: Language@@ -167,7 +167,7 @@ async >=2.2 && <3 , base >=4.9 && <5 , containers >=0.5 && <0.7- , doctest >=0.16.0.1 && <0.22+ , doctest >=0.16.0.1 && <0.23 , first-class-families >=0.5.0.0 && <0.9 , hspec >=2.6.0 && <3 , hspec-discover >=2.0