BSD-3-Clause licensed by Sandy Maguire
Maintained by sandy@sandymaguire.me

Module documentation for 0.6.0.1

This version can be pinned in stack with:polysemy-zoo-0.6.0.1@sha256:a1f545d34cb7cfa7c7b3511a1ff21843473d8b7d1f4d1570cda2cdc4616e5696,3852
  • Polysemy
    • Polysemy.Alias
    • Polysemy.Capture
    • Polysemy.ConstraintAbsorber
      • Polysemy.ConstraintAbsorber.MonadCont
      • Polysemy.ConstraintAbsorber.MonadError
      • Polysemy.ConstraintAbsorber.MonadReader
      • Polysemy.ConstraintAbsorber.MonadState
      • Polysemy.ConstraintAbsorber.MonadWriter
    • Polysemy.Cont
      • Polysemy.Cont.Internal
    • Polysemy.EndState
    • Polysemy.Final
      • Polysemy.Final.IO
        • Polysemy.Final.IO.Internal
      • Polysemy.Final.MTL
      • Polysemy.Final.More
      • Polysemy.Final.NonDet
    • Polysemy.Floodgate
    • Polysemy.Fresh
    • Polysemy.IdempotentLowering
    • Polysemy.KVStore
    • Polysemy.Operators
    • Polysemy.Random
    • Polysemy.Reader
      • Polysemy.Reader.More
    • Polysemy.Redis
      • Polysemy.Redis.Utils
    • Polysemy.RevState
    • Polysemy.SetStore
    • Polysemy.Several
    • Polysemy.Shift
      • Polysemy.Shift.Internal
    • Polysemy.Tagged

polysemy-zoo

Build Status Hackage

Dedication

Once I was chased by the king of all scorpions.

Rachel Hunter

Overview

The polysemy-zoo is an experimental repository for user-contributed additions to the polysemy ecosystem. You’re encouraged to open Pull Requests here for any effects/interpretations that you write and think might be useful for others.

Particularly successful contributions here will be migrated into either polysemy proper, or polysemy-contrib (the less experimental version of the zoo.)

Polysemy in the Wild

The Zoo isn’t the only place to find great user-contributions to polysemy! Here is a curated list of other great effects and interops:

Changes

Changelog for polysemy-zoo

0.6.0.1 (2019-09-12)

  • Fixed the implementation of atomicPut

0.6.0.0 (2019-09-05)

  • Final has been migrated to polysemy proper. Only Polysemy.Final.MTL and experimental features pertaining to Final remain in polysemy-zoo.
  • Added Fresh effect.
  • Added Tagged effect.
  • Added MonadCont constraint absorber which operates via the Cont 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

0.5.0.1 (2019-07-25)

  • Fixed some bugs with haddock

0.5.0.0 (2019-07-24)

  • Added Continuation effects (thanks to @KingoftheHomeless)
  • Update to polysemy-1.0.0.0’s new names

0.4.0.1 (2019-07-10)

  • Fixed an erroneous lower bound in the tests

0.4.0.0 (2019-07-10)

Breaking Changes

  • The semantics of absorbWriter are now aligned with the MTL implementation

New Effects and Interpreters

  • Added SetStore effect
  • Added Floodgate effect
  • Added Final effect, together with submodules of interpreters using it (thanks to @KingoftheHomeless)
  • Added lookupOrThrowKV, existsKV and modifyKV actions to KVStore
  • Added Redis interpretations of SetStore and KVStore

0.3.0.0 (2019-06-17)

  • Removed Polysemy.MTL
  • The machinery for MTL absorption is now monomorphized in Polysemy.ConstraintAbsorber. See the documentation there and in submodules for more information.

0.2.0.0 (2019-06-14)

  • Removed Polysemy.RandomFu, which is moving to its own package
  • Add explicit cabal bounds for dependencies of polysemy-zoo

0.1.2.1 (2019-06-12)

  • Update the tests to run against polysemy-0.4.0.0

0.1.2.0 (2019-06-01)

  • Added Polysemy.MTL for inter-op with MTL (thanks to @adamConnerSax)
  • Moved Polysemy.Random from polysemy
  • Added Polysemy.RandomFu (thanks to @adamConnerSax)
  • Added fixedNat and fixedNat' to Polysemy.IdempotentLowering for working with higher-order effects.

0.1.1.0 (2019-05-22)

  • Added Polysemy.IdempotentLowering

Unreleased changes

comments powered byDisqus