All Versions
20
Latest Version
Avg Release Cycle
57 days
Latest Release
1179 days ago

Changelog History
Page 1

  • v0.6.2 Changes

    January 31, 2021

    🔄 Changed

    • strengthen no longer returns an Either, since the proof that it should always succeed is in its constraints.
    • 📚 correct success documentation

  • v0.6.1 Changes

    August 02, 2020

    🔄 Changed

    • upper bound on QuickCheck: <2.15

  • v0.6 Changes

    July 21, 2020

    🔄 Changed

    • strengthen no longer returns an Either, since the proof that it should always succeed is in its constraints.
    • validate now takes a Proxy as its first argument.
    • 🖨 All uses of prettyprinter are now just Text

    ✂ Removed

    • Refined.These module
    • 🖨 Dependency on prettyprinter

    🛠 Fixed

    • 🐛 bug in sized internal helper that caused formatting issues in sized predicate errors

  • v0.5.1 Changes

    July 14, 2020

    🔄 Changed

    • refineTH_ is now implemented in terms of refineTH
    • 🛠 Fix pretty-printing of RefineExceptions during compile-time

  • v0.5 Changes

    July 11, 2020

    ➕ Added

    • sized Predicate instances for Text
    • ✅ sized Predicate instances for strict and lazy ByteString
    • INLINABLE pragmas on refine_ reifyPredicate
    • NFData instance for Refined
    • RefineSomeException constructor. Enables recovering specific validation exceptions. Thanks to @haroldcarr for adding this.
    • RefineXorException constructor.
    • Empty and NotEmpty predicates.
    • NaN and Infinite predicates for floating-point numbers.
    • @since pragmas to EVERYTHING.

    🔄 Changed

    • lower bound on mtl to 2.2.2 due to use of liftEither. Thanks to @k0ral for reporting this
    • Generalize sized predicates
    • 👍 Allow newer template-haskell (< 0.16 ==> < 0.17)
    • 👍 Allow newer aeson (< 1.5 ==> < 1.6) Thanks to @locallycompact for this change.

    ✂ Removed

    • Refined.Internal module Thanks to @nikita-volkov for pushing me to do this.
    • Orphan modules Thanks to @symbiont-sam-halliday for pointing out the silliness of these modules.
    • RefineT. It was a needless abstraction that just made the library harder to learn and use, providing little benefit over Maybe RefineException. Thanks to @nikita-volkov for helping me see the light.

    🗄 Deprecated

    • Refined.These module in favour of Data.These from these-skinny

  • v0.4.4 Changes

    October 18, 2019

    ➕ Added

    • refine_
    • refineTH_
    • ✅ test suite: unit tests for compiling. ### 🔄 Changed
    • 👍 Allow newer template-haskell and QuickCheck.

  • v0.4.3 Changes

    September 17, 2019

    2019-09-17

  • v0.4.2 Changes

    May 30, 2019

    ✂ Removed

    • 📦 Re-removed dependency of these package. ### ➕ Added
    • Even, Odd, and DivisibleBy predicates.
    • ✅ doctests for all predicates. ### 🔄 Changed
    • 👉 Make all predicates unary data constructors, instead of nullary, and export those newly added constructors.

  • v0.4.2.3 Changes

    September 17, 2019

    ➕ Added

    • reifyPredicate ### 🛠 Fixed
    • Arbitrary instance for Refined should now always terminate. Thanks to @symbiont-joseph-kachmar for reporting this.

  • v0.4.2.2 Changes

    July 19, 2019

    ➕ Added

    • exceptRefine, strengthen, and strengthenM