polysemy v1.1.0.0 Release Notes

Release Date: 2019-08-15 // over 2 years ago
  • ๐Ÿ’ฅ Breaking Changes

    • MonadFail is now implemented in terms of Fail, instead of NonDet (thanks to @KingoftheHomeless)
    • ๐Ÿšš LastMember has been removed. withLowerToIO and all interpreters that make use of it now only requires Member (Embed IO) r (thanks to @KingoftheHomeless)
    • ๐Ÿ‘ State and Writer now have better strictness semantics

    Other Changes

    • โž• Added AtomicState effect (thanks to @KingoftheHomeless)
    • โž• Added Fail effect (thanks to @KingoftheHomeless)
    • โž• Added runOutputSem (thanks to @cnr)
    • โž• Added modify', a strict variant of modify (thanks to @KingoftheHomeless)
    • โž• Added right-associative variants of runOutputMonoid and runWriter (thanks to @KingoftheHomeless)
    • โž• Added runOutputMonoidIORef and runOutputMonoidTVar (thanks to @KingoftheHomeless)
    • ๐Ÿ‘Œ Improved Fixpoint so it won't always diverge (thanks to @KingoftheHomeless)
    • makeSem will now complain if DataKinds isn't enabled (thanks to @pepegar)