Skip to content

0.2.3
Compare
Choose a tag to compare
@fthomas fthomas released this 01 Sep 18:36
· 2791 commits to master since this release
v0.2.3
19d3e40

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.
Assets 2