polysemy-extra 0.1.4.0 → 0.1.5.0
raw patch · 3 files changed
+15/−1 lines, 3 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Polysemy.Extra: runInputConstF :: forall b f r a. f b -> Sem (Input (f b) : r) a -> Sem r a
Files
- ChangeLog.md +4/−0
- polysemy-extra.cabal +1/−1
- src/Polysemy/Extra.hs +10/−0
ChangeLog.md view
@@ -1,5 +1,9 @@ # Changelog for polysemy-extra +## v0.1.5.0++* Add `runInputConstF`.+ ## v0.1.4.0 * Add reinterpreting versions of `contramapInput` and `mapOutput`.
polysemy-extra.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack name: polysemy-extra-version: 0.1.4.0+version: 0.1.5.0 synopsis: Extra Input and Output functions for polysemy.. category: Polysemy author: Daniel Firth
src/Polysemy/Extra.hs view
@@ -20,6 +20,7 @@ contramapInput , contramapInputSem , contramapInput'+, runInputConstF -- * Output , mapOutput@@ -185,6 +186,15 @@ contramapInputSem f = interpret \case Input -> f =<< input @i' {-# INLINE contramapInputSem #-}++-- | Like `runInputConst`, except with a type parameter for the functor for abusing type applications.+--+-- @since 0.1.5.0+runInputConstF :: forall b f r a.+ (f b)+ -> Sem (Input (f b) ': r) a+ -> Sem r a+runInputConstF = runInputConst @(f b) -- | Reinterpret the second effect in the stack into a single effect. --