All Versions
20
Latest Version
Avg Release Cycle
57 days
Latest Release
264 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