polysemy v1.3.0.0 Release Notes

Release Date: 2020-02-14 // almost 3 years 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.