fthomas/refined v0.3.3

0.3.3

on GitHub

Changes

• Add Arbitrary instances for numeric predicates indexed by Nats and
  improve the implementation of the other numeric Arbitrary instances.
  Thanks to Jean-Rémi Desjardins! (#106, #109)
• Add the RefType.refineMF macro which requires that the base type must
  be specified and cannot be inferred from its argument. This allows to
  define aliases for the RefineM macro where the base type and
  predicate are fixed. (#107)
• Update refined-scalaz to Scalaz 7.2.0

Released on 2015-12-18