All Versions
27
Latest Version
Avg Release Cycle
40 days
Latest Release
1246 days ago

Changelog History
Page 2

  • v1.1.0.0 Changes

    August 15, 2019

    💥 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)

  • v1.0.0.0 Changes

    July 24, 2019

    💥 Breaking Changes

    • 📇 Renamed Lift to Embed (thanks to @googleson78)
    • 📇 Renamed runAsyncInIO to lowerAsync
    • 📇 Renamed runAsync to asyncToIO
    • 📇 Renamed runBatchOutput to runOutputBatched
    • 📇 Renamed runConstInput to runInputConst
    • 📇 Renamed runEmbed to runEmbedded (thanks to @googleson78)
    • 📇 Renamed runEmbedded to lowerEmbedded
    • 📇 Renamed runErrorAsAnother to mapError
    • 📇 Renamed runErrorInIO to lowerError
    • 📇 Renamed runFoldMapOutput to runOutputMonoid
    • 📇 Renamed runIO to embedToMonadIO
    • 📇 Renamed runIgnoringOutput to ignoreOutput
    • 📇 Renamed runIgnoringTrace to ignoreTrace
    • 📇 Renamed runInputAsReader to inputToReader
    • 📇 Renamed runListInput to runInputList
    • 📇 Renamed runMonadicInput to runInputSem
    • 📇 Renamed runOutputAsList to runOutputList
    • 📇 Renamed runOutputAsTrace to outputToTrace
    • 📇 Renamed runOutputAsWriter to outputToWriter
    • 📇 Renamed runResourceBase to resourceToIO
    • 📇 Renamed runResourceInIO to lowerResource
    • 📇 Renamed runStateInIORef to runStateIORef
    • 📇 Renamed runTraceAsList to runTraceList
    • 📇 Renamed runTraceAsOutput to traceToOutput
    • 📇 Renamed runTraceIO to traceToIO
    • 📇 Renamed sendM to embed (thanks to @googleson78)
    • The NonDet effect is now higher-order (thanks to @KingoftheHomeless)

    Other Changes

    • ➕ Added evalState and evalLazyState
    • ➕ Added runNonDetMaybe (thanks to @KingoftheHomeless)
    • ➕ Added nonDetToError (thanks to @KingoftheHomeless)
    • 📚 Haddock documentation for smart constructors generated via makeSem will no longer have weird variable names (thanks to @TheMatten)

  • v0.7.0.0 Changes

    July 08, 2019

    💥 Breaking Changes

    • ➕ Added a Pass constructor to Writer (thanks to @KingoftheHomeless)
    • 🛠 Fixed a bug in runWriter where the MTL semantics wouldn't be respected (thanks to @KingoftheHomeless)
    • ✂ Removed the Censor constructor of Writer (thanks to @KingoftheHomeless)
    • 📇 Renamed Yo to Weaving
    • 🔄 Changed the visible type applications for asks, gets, runEmbedded, fromEitherM and runErrorAsAnother

    Other Changes

    • 🛠 Fixed haddock generation

  • v0.6.0.0 Changes

    July 04, 2019

    💥 Breaking Changes

    • 🔄 Changed the type of runBatchOutput to be more useful (thanks to @Infinisil)

    Other Changes

    • 👍 THE ERROR MESSAGES ARE SO MUCH BETTER :party: :party: :party:
    • ➕ Added runEmbedded to Polysemy.IO
    • ➕ Added runOutputAsList to Polysemy.Output (thanks to @googleson78)
    • 🐎 Asymptotically improved the performance of runTraceAsList (thanks to @googleson78)

  • v0.5.1.0 Changes

    June 28, 2019
    • 🆕 New combinators for Polysemy.Error: fromEither and fromEitherM

  • v0.5.0.1 Changes

    June 27, 2019
    • 🛠 Fixed a bug where intercept and interceptH wouldn't correctly handle higher-order effects

  • v0.5.0.0 Changes

    June 26, 2019

    💥 Breaking Changes

    • ✂ Removed the internal Effect machinery

    🆕 New Effects and Interpretations

    • 🆕 New effect; Async, for describing asynchronous computations
    • 🆕 New interpretation for Resource: runResourceBase, which can lower Resource effects without giving a lowering natural transformation
    • 🆕 New interpretation for Trace: runTraceAsList
    • 🆕 New combinator: withLowerToIO, which is capable of transforming IO-invariant functions as effects.

    Other Changes

    • 👷 Lots of hard work on the package and CI infrastructure to make it green on GHC 8.4.4 (thanks to @jkachmar)
    • 🔄 Changed the order of the types for runMonadicInput to be more helpful (thanks to @tempname11)
    • 👌 Improved the error machinery to be more selective about when it runs
    • Factored out the TH into a common library for third-party consumers

  • v0.4.0.0 Changes

    June 12, 2019

    💥 Breaking Changes

    • 📇 Renamed runResource to runResourceInIO

    Other Changes

    • ➕ Added runResource, which runs a Resource purely
    • ➕ Added onException, finally and bracketOnError to Resource
    • ➕ Added a new function, runResource which performs bracketing for pure code

  • v0.3.0.1 Changes

    June 09, 2019
    • 🛠 Fixed a type error in the benchmark caused by deprecation of Semantic

  • v0.3.0.0 Changes

    June 01, 2019

    💥 Breaking Changes

    • ✂ Removed all deprecated names
    • 🚚 Moved Random effect to polysemy-zoo

    Other Changes

    • makeSem can now be used to create term-level operators (thanks to @TheMatten)