fthomas/refined v0.2.3

0.2.3

on GitHub

Changes

• Add an implicit conversion from refined types to their base types. (#55)
• Equal[N <: Nat] can now be used with all types that have a Numeric
  instance. This allows types like Double @@ Not[Equal[_0]].
• Add an inference rule to go from Equal[N <: Nat] to any numeric predicate.
• Remove deprecated refine, refineLit, and refineM.
• Update to Scala.js 0.6.5.