polysemy v1.2.0.0 Release Notes

Release Date: 2019-09-04 // almost 3 years ago
  • ๐Ÿ’ฅ Breaking Changes

    • ๐Ÿ—„ All lower- interpreters have been deprecated, in favor of corresponding -Final interpreters.
    • ๐Ÿ—„ runFixpoint and runFixpointM have been deprecated in favor of fixpointToFinal.
    • The semantics for runNonDet when <|> is used inside a higher-order action of another effect has been changed.
    • Type variables for certain internal functions, failToEmbed, and atomicState' have been rearranged.

    Other changes

    • โž• Added Final effect, an effect for embedding higher-order actions in the final monad of the effect stack. Any interpreter should use this instead of requiring to be provided an explicit lowering function to the final monad.
    • โž• Added Strategy environment for use together with Final
    • โž• Added asyncToIOFinal, a better alternative of lowerAsync
    • โž• Added errorToIOFinal, a better alternative of lowerError
    • โž• Added fixpointToFinal, a better alternative of runFixpoint and runFixpointM
    • โž• Added resourceToIOFinal, a better alternative of lowerResource
    • โž• Added outputToIOMonoid and outputToIOMonoidAssocR
    • โž• Added stateToIO
    • โž• Added atomicStateToIO
    • โž• Added runWriterTVar, writerToIOFinal, and writerToIOAssocRFinal
    • โž• Added writerToEndoWriter
    • โž• Added subsume operation
    • ๐Ÿ”ฆ Exposed raiseUnder/2/3 in Polysemy