Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Unify numeric type class instances #483

Merged
merged 14 commits into from
Apr 21, 2018
Merged

Unify numeric type class instances #483

merged 14 commits into from
Apr 21, 2018

Commits on Apr 20, 2018

  1. Add AsValueOf[A, B] type class 

    A type class that converts the type `A` to a value of type `B`.
    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    90836ca View commit details
    Browse the repository at this point in the history

  2. Change the definition of MaxSize[N] 

    ... to `type MaxSize[N] = Size[Interval.Closed[_0, N]]` and use
`AsValueOf` for the `Arbitrary` instance of `Interval.Closed[L, H]`
so that we can generate instances where the LUB of `L` and `H` is
`Any` (as for example in ``Interval.Closed[_0, W.`10`.T]``).
    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    4d1e614 View commit details
    Browse the repository at this point in the history

  3. Remove duplicated numeric ScalaCheck instances 

    The instances with `AsValueOf` works for both `Nat` and primitive types.
    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    3afc3a1 View commit details
    Browse the repository at this point in the history

  4. Unify duplicated Equal instances

    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    8047447 View commit details
    Browse the repository at this point in the history

  5. Unify numeric Validate instances

    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    3515e0c View commit details
    Browse the repository at this point in the history

  6. Unify some Min/Max instances

    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    a80f354 View commit details
    Browse the repository at this point in the history

  7. More MiMa exceptions

    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    6da5b51 View commit details
    Browse the repository at this point in the history

  8. Disable MiMa until 0.9.0 is released

    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    dcadeff View commit details
    Browse the repository at this point in the history

  9. Unify some numeric Infernce instances

    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    4e12f25 View commit details
    Browse the repository at this point in the history

  10. Rename AsValueOf to WitnessAs

    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    f9cb982 View commit details
    Browse the repository at this point in the history

  11. Fix test failures

    @fthomas
    fthomas committed Apr 20, 2018
    Configuration menu
    Copy the full SHA
    e63678f View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2018

  1. Split validate in validate{JVM,JS} fo fix GC OOME

    @fthomas
    fthomas committed Apr 21, 2018
    Configuration menu
    Copy the full SHA
    f25151d View commit details
    Browse the repository at this point in the history

  2. Do not clean again in validateJS

    @fthomas
    fthomas committed Apr 21, 2018
    Configuration menu
    Copy the full SHA
    cae5bc5 View commit details
    Browse the repository at this point in the history

  3. Update release notes

    @fthomas
    fthomas committed Apr 21, 2018
    Configuration menu
    Copy the full SHA
    4443b36 View commit details
    Browse the repository at this point in the history