« Changelog History


polysemy v1.1.0.0 Release Notes

Release Date: 2019-08-15 // over 4 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)