polysemy v1.3.0.0 Release Notes

Release Date: 2020-02-14 // about 2 months ago
  • 💥 Breaking Changes

    • The semantics for runNonDet when <|> is used inside a higher-order action of another effect has been reverted to that of and earlier. (See issue #246)
    • Type parameters for outputToTrace have been rearranged (thanks to @juanpaucar)

    Other Changes

    • ➕ Added Bundle effect, for bundling multiple effects into a single one.
    • ➕ Added Tagged effect, for annotating and disambiguating identical effects.
    • ➕ Added View effect, an Input-like effect for caching an expensive computation.
    • ➕ Added fromException/Via and fromExceptionSem/Via
    • ➕ Added note
    • ➕ Added catchJust, try and tryJust (thanks to @bolt12)
    • Using listen with runWriterTVar or writerToIO will no longer delay writing until the listen completes.
    • ➕ Added runStateSTRef and stateToST (thanks to @incertia)
    • ➕ Added execState and execLazyState (thanks to @tjweir)
    • ➕ Added Polysemy.Law, which offers machinery for creating laws for effects.
    • ➕ Added Polysemy.Membership for retrieving and making use of effect membership proofs.

Previous changes from v1.2.3.0

    • Polysemy now works on GHC 8.8.1 (thanks to @googleson78 and @sevanspowell)
    • Exported MemberWithError from Polysemy
    • ➕ Added rewrite and transform interpretation combinators