aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Include class name in `join` methodJon Pretty2017-06-233-15/+31
* Merge pull request #12 from propensive/ruippeixotog-cats-contravariant-exampleJon Pretty2017-06-236-51/+52
|\
| * Tidied up and made it compile and runJon Pretty2017-06-235-91/+33
| * Merge branch 'master' into cats-contravariant-exampleJon Pretty2017-06-224-70/+160
| |\ | |/ |/|
* | Merge pull request #5 from propensive/use-case-instead-of-asinstanceofJon Pretty2017-06-223-17/+15
|\ \
| * | Use case clauses and switch statement instead of is/asInstanceOfJon Pretty2017-06-223-17/+15
|/ /
* | Merge branch 'krzemin-feature/support-2-arg-contravariant-derivations'Jon Pretty2017-06-223-66/+145
|\ \
| * | Merge branch 'feature/support-2-arg-contravariant-derivations' of https://git...Jon Pretty2017-06-223-66/+145
|/| |
| * | refactorPiotr Krzemiński2017-06-221-14/+19
| * | bring back support for 1-arg type classes; now both Show and Eq are supportedPiotr Krzemiński2017-06-212-64/+64
| * | defined DerivationImplicitPiotr Krzemiński2017-06-211-11/+18
| * | initial support for 2-arg contravariant derivations; works for simple Eq type...Piotr Krzemiński2017-06-213-36/+103
* | | Merge pull request #1 from gitter-badger/gitter-badgeJon Pretty2017-06-221-0/+2
|\ \ \ | |/ / |/| |
| * | Add Gitter badgeThe Gitter Badger2017-06-121-0/+2
| | * Add ContravariantDerivation for cats.ShowRui Gonçalves2017-06-212-0/+40
| | * Reorganize magnolia.Show implicitsRui Gonçalves2017-06-213-12/+16
| | * Add cats-core to the examples' dependenciesRui Gonçalves2017-06-211-0/+4
| |/ |/|
* | Better error reportingJon Pretty2017-06-134-15/+20
* | Corrected ContravariantDerivation typeclassJon Pretty2017-06-132-5/+13
|/
* Slight tidyup of examplesJon Pretty2017-06-122-84/+3
* Remove spurious generic.scala~ fileJon Pretty2017-06-121-173/+0
* Include readme and licenseJon Pretty2017-06-122-0/+215
* Improvements to error reportingv0.1.0Jon Pretty2017-06-124-16/+55
* Fixes for substitution of Lazy valuesJon Pretty2017-06-123-27/+49
* Appears to be working for both covariant and contravariant typeclassesJon Pretty2017-06-113-30/+109
* Generalized for typeclass-based extensionJon Pretty2017-06-112-31/+15
* Starting to move towards typeclass-based implementationJon Pretty2017-06-113-66/+107
* More typesafety in the macroJon Pretty2017-06-111-11/+13
* Use List instead of ListMap in compiler stateJon Pretty2017-06-111-10/+8
* Further cleanup; no long linesJon Pretty2017-06-102-150/+97
* More cleanupJon Pretty2017-06-102-11/+6
* Avoid nasty asInstanceOf tree-rewriting hackJon Pretty2017-06-101-5/+7
* Fixed (I think) last remaining recursion bugJon Pretty2017-06-102-14/+14
* Generic macro appears to work more universallyJon Pretty2017-06-062-85/+114
* Apparent progressJon Pretty2017-06-053-40/+213
* Looks like it's finally working!Jon Pretty2017-05-292-1/+7
* Pretty close to having the generic macro workingJon Pretty2017-05-293-54/+177
* Progress with mutual recursionJon Pretty2017-05-253-67/+52
* First cleanup stepJon Pretty2017-05-241-0/+14
* Initial checkin of messy code which appears to be a PoCJon Pretty2017-05-246-0/+314