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.

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

Finishing up #1564 (add As a.k.a liskov) #1728

Merged
merged 16 commits into from
Jun 14, 2017
Merged

Commits on Mar 18, 2017

  1. Adds an As class which represents subtyping relationships

    This is a direct port of the Liskov class from scalaz.  I named it `As` to be
    similar to our new `Is` class representing type equality, but there are aliases
    named `<~<` and `Liskov`
    stew committed Mar 18, 2017
    Configuration menu
    Copy the full SHA
    6a7d719 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2017

  1. Configuration menu
    Copy the full SHA
    974bdf5 View commit details
    Browse the repository at this point in the history
  2. delete-trailing-whitespace

    stew committed Mar 19, 2017
    Configuration menu
    Copy the full SHA
    03411c1 View commit details
    Browse the repository at this point in the history
  3. Minor changes to evidence/packages.scala

    remove explicit reference to package in Is type alias (for posco)
    add === type alias for `Is` (for sellout)
    stew committed Mar 19, 2017
    Configuration menu
    Copy the full SHA
    399dce3 View commit details
    Browse the repository at this point in the history

Commits on Mar 25, 2017

  1. Configuration menu
    Copy the full SHA
    548d220 View commit details
    Browse the repository at this point in the history
  2. More enhancements for posco's feedback (thanks!)

    - change unsafeFromPredef to just use refl
    - add tests for some expected relationships such as Int <~< Any,
      and List[String] <~< List[Any]
    stew committed Mar 25, 2017
    Configuration menu
    Copy the full SHA
    fbee74b View commit details
    Browse the repository at this point in the history
  3. ome more

    stew committed Mar 25, 2017
    Configuration menu
    Copy the full SHA
    7ffa0db View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2017

  1. Configuration menu
    Copy the full SHA
    9ccdf88 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2017

  1. Configuration menu
    Copy the full SHA
    e76268a View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4e59c6e View commit details
    Browse the repository at this point in the history
  3. add contra tests and get rid fo the liftF like functions (they can be…

    … derrived from what we have, and I can't find anyone using them in the wild)
    stew committed Apr 16, 2017
    Configuration menu
    Copy the full SHA
    5be6037 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    2c9b8b0 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2017

  1. fix test failure on 2.10.6 + scalajs

    Thank you very much @kailuowang for the solutiongit diff
    stew committed May 19, 2017
    Configuration menu
    Copy the full SHA
    3954ec7 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2017

  1. Configuration menu
    Copy the full SHA
    578da72 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    384e887 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2017

  1. added category law tests

    kailuowang committed Jun 13, 2017
    Configuration menu
    Copy the full SHA
    48f539f View commit details
    Browse the repository at this point in the history