- Add support for GHC 9.2 (#79, thanks to @spacekitteh)
- Removed
Polysemy.IdempotentLowering
, previously deprecated in favor ofPolysemy.Final
.
- Updated
asyncToIOFinalGlobal
to supportcancel
.
- Add support for GHC 9.0 (#70, thanks to @funketh)
- As a stop-gap for #65, the library has been rewritten to no longer use
polysemy-plugin
. This should allow GHC 8.10 users to use the library.
Tagged
has been migrated topolysemy
proper.Polysemy.Alias
andInterpreterOf
has been removed in favor ofInterpreterFor
, which is now part ofpolysemy
proper (thanks to @bolt12).- Removed
runKVStoreInRedis
,runSetStoreInRedis
, andPolysemy.Redis.Utils
due to lack of use.
- Added
MonadThrow
andMonadCatch
constraint absorbers which operate viaError SomeException
(thanks to @adamConnerSax). - Added
Polysemy.Input.Streaming
, which offers streaming interoperability. - Added
Polysemy.Reader.Compact
, which is useful forReader
effects which provide a large structure (thanks to @spacekitteh).
- Fixed the implementation of
atomicPut
Final
has been migrated topolysemy
proper. OnlyPolysemy.Final.MTL
and experimental features pertaining toFinal
remain inpolysemy-zoo
.- Added
Fresh
effect. - Added
Tagged
effect. - Added
MonadCont
constraint absorber which operates via theCont
effect. - Added
runContViaFresh
, which is still under development. - Added
runReaderFixSem
- Added
EndState
effect - Added
RevState
effect - Added
lowerFinal
- Added
runFinalSem
- Added
nonDetToFinal
- Added
interpretFinalGlobal
- Added
asyncToIOFinalGlobal
- Added
resourceToIOFinalGlobal
- Fixed some bugs with haddock
- Added Continuation effects (thanks to @KingoftheHomeless)
- Update to
polysemy-1.0.0.0
's new names
- Fixed an erroneous lower bound in the tests
- The semantics of
absorbWriter
are now aligned with theMTL
implementation
- Added
SetStore
effect - Added
Floodgate
effect - Added
Final
effect, together with submodules of interpreters using it (thanks to @KingoftheHomeless) - Added
lookupOrThrowKV
,existsKV
andmodifyKV
actions toKVStore
- Added Redis interpretations of
SetStore
andKVStore
- Removed
Polysemy.MTL
- The machinery for MTL absorption is now monomorphized in
Polysemy.ConstraintAbsorber
. See the documentation there and in submodules for more information.
- Removed
Polysemy.RandomFu
, which is moving to its own package - Add explicit cabal bounds for dependencies of
polysemy-zoo
- Update the tests to run against
polysemy-0.4.0.0
- Added
Polysemy.MTL
for inter-op with MTL (thanks to @adamConnerSax) - Moved
Polysemy.Random
frompolysemy
- Added
Polysemy.RandomFu
(thanks to @adamConnerSax) - Added
fixedNat
andfixedNat'
toPolysemy.IdempotentLowering
for working with higher-order effects.
- Added
Polysemy.IdempotentLowering