aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | 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