Skip to content

Latest commit

 

History

History
40 lines (31 loc) · 1.18 KB

CHANGELOG.md

File metadata and controls

40 lines (31 loc) · 1.18 KB

0.8.0 (2024-10-12)

  • tweak Simplify exports (should stay fairly stable now)

0.7.0 (2024-10-11)

  • add predicate simplifier at Rerefined.Simplify
    • old "normalizer" stuff removed

0.6.0 (2024-10-01)

  • remove Via predicate, only need validateVia
  • swap validateBool args

0.5.1 (2024-06-11)

  • add Via predicate

0.5.0 (2024-05-26)

  • add tentative operator versions of predicates
  • clear up WIP normalization story

0.4.0 (2024-05-11)

  • add Eq, Ord, Arbitrary instances
  • simplify modules (fewer)
  • add reifyPredicate, reifyPredicate1 for reifying predicates to a -> Bool

0.3.0 (2024-05-07)

  • refactor predicate names: now handled with a sort of type-level Show. no Typeable, lots of custom prettiness (infix operators!)
  • refactor logical predicates, keeping them together doesn't help
  • define relational operators using Ordering and logical Or
  • add missing Foldable, Traversable instances to Refined1
  • general cleanup

0.2.0 (2024-05-01)

  • add missing Show instance to RefineFailure
  • add missing Functor instance to Refined1
  • general cleanup

0.1.0 (2024-04-30)

Initial release.

  • rewrite of Nikita Volkov's refined library