Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Existentially abstract unbound subtype parameters | Georgi Krastev | 2017-11-29 | 1 | -0/+23 |
| | | | | | | | That happens when the subtype of a sealed trait has more type parameters than its parent. When those extra type parameters are covariant they are replaced by their upper bounds, otherwise they are existentially quantified. | ||||
* | Merge pull request #48 from leandrob13/fix/errorWithAlternativeApplyMethods | Jon Pretty | 2017-11-29 | 1 | -0/+15 |
|\ | | | | | Fixed derivation error when companion has alternative apply methods | ||||
| * | Fixed error that ocurred when the companion object of a case class has ↵ | Leandro Bolivar | 2017-11-25 | 1 | -0/+15 |
| | | | | | | | | alternative apply methods | ||||
* | | Avoid instantiating Unit when producing error stack | Rahul Goma Phulore | 2017-11-26 | 1 | -0/+10 |
|/ | | | | Fixes https://github.com/propensive/magnolia/issues/41. | ||||
* | Include warnings if `combine` or `dispatch` methods are missing | Jon Pretty | 2017-11-10 | 1 | -1/+1 |
| | |||||
* | Include support for decomposing AnyVals, like case classes | Jon Pretty | 2017-11-10 | 1 | -0/+6 |
| | |||||
* | Decode typeNames and labels | Jon Pretty | 2017-11-10 | 1 | -0/+6 |
| | |||||
* | Scalafmt | Jon Pretty | 2017-11-10 | 1 | -1/+3 |
| | |||||
* | More build cleanup, and a couple of extra tests | Jon Pretty | 2017-11-10 | 1 | -0/+38 |
| | |||||
* | Upgrade to SBT 1.0 and include testing binariesv0.5.0 | Jon Pretty | 2017-11-09 | 9 | -8/+10 |
| | |||||
* | Added better scaladocs and provide default values | Jon Pretty | 2017-11-08 | 1 | -12/+18 |
| | |||||
* | API improvements and better examples | Jon Pretty | 2017-11-07 | 2 | -21/+41 |
| | |||||
* | Deduplication within case class parameter typeclasses | Jon Pretty | 2017-11-05 | 1 | -2/+0 |
| | |||||
* | Start of performance-enhancing refactoring | Jon Pretty | 2017-11-04 | 2 | -1/+5 |
| | |||||
* | Test fixes and other miscellaneous changes | Jon Pretty | 2017-11-03 | 2 | -5/+12 |
| | |||||
* | Support for GADTs (including recursive ones) | Jon Pretty | 2017-11-01 | 1 | -11/+11 |
| | | | | Some tests still failing, but macros are working | ||||
* | Support nontrivial type constructors | Jon Pretty | 2017-10-31 | 1 | -7/+7 |
| | |||||
* | Support for case objects | Jon Pretty | 2017-10-30 | 1 | -10/+13 |
| | |||||
* | All variants now deriving | Jon Pretty | 2017-10-30 | 1 | -8/+15 |
| | | | | Though there's a stack overflow when trying to derive a `Decoder`. | ||||
* | Derivation working for Show and Eq | Jon Pretty | 2017-10-30 | 2 | -24/+81 |
| | |||||
* | Made a nicer API for inclusion | Jon Pretty | 2017-06-30 | 1 | -3/+6 |
| | |||||
* | Tidied up and made it compile and run | Jon Pretty | 2017-06-23 | 2 | -27/+7 |
| | |||||
* | Merge branch 'master' into cats-contravariant-example | Jon Pretty | 2017-06-22 | 1 | -2/+12 |
|\ | |||||
| * | Use case clauses and switch statement instead of is/asInstanceOf | Jon Pretty | 2017-06-22 | 1 | -2/+4 |
| | | |||||
| * | bring back support for 1-arg type classes; now both Show and Eq are supported | Piotr Krzemiński | 2017-06-21 | 1 | -4/+4 |
| | | |||||
| * | initial support for 2-arg contravariant derivations; works for simple Eq ↵ | Piotr Krzemiński | 2017-06-21 | 1 | -4/+12 |
| | | | | | | | | typeclass, still wip | ||||
* | | Add ContravariantDerivation for cats.Show | Rui Gonçalves | 2017-06-21 | 1 | -0/+17 |
| | | |||||
* | | Reorganize magnolia.Show implicits | Rui Gonçalves | 2017-06-21 | 1 | -1/+2 |
|/ | | | | Scopes magnolia.Show implicits so that they do not clash with cats' Show type class | ||||
* | Better error reporting | Jon Pretty | 2017-06-13 | 1 | -1/+1 |
| | |||||
* | Slight tidyup of examples | Jon Pretty | 2017-06-12 | 1 | -4/+3 |
| | |||||
* | Improvements to error reportingv0.1.0 | Jon Pretty | 2017-06-12 | 1 | -0/+3 |
| | |||||
* | Fixes for substitution of Lazy values | Jon Pretty | 2017-06-12 | 1 | -10/+2 |
| | |||||
* | Appears to be working for both covariant and contravariant typeclasses | Jon Pretty | 2017-06-11 | 1 | -2/+4 |
| | |||||
* | Starting to move towards typeclass-based implementation | Jon Pretty | 2017-06-11 | 1 | -2/+2 |
| | |||||
* | More cleanup | Jon Pretty | 2017-06-10 | 1 | -1/+2 |
| | |||||
* | Fixed (I think) last remaining recursion bug | Jon Pretty | 2017-06-10 | 1 | -6/+4 |
| | |||||
* | Generic macro appears to work more universally | Jon Pretty | 2017-06-06 | 1 | -5/+3 |
| | |||||
* | Apparent progress | Jon Pretty | 2017-06-05 | 1 | -9/+4 |
| | |||||
* | Looks like it's finally working! | Jon Pretty | 2017-05-29 | 1 | -1/+5 |
| | |||||
* | Pretty close to having the generic macro working | Jon Pretty | 2017-05-29 | 1 | -7/+8 |
| | | | | And yet so far. | ||||
* | Progress with mutual recursion | Jon Pretty | 2017-05-25 | 1 | -4/+6 |
| | |||||
* | Initial checkin of messy code which appears to be a PoC | Jon Pretty | 2017-05-24 | 1 | -0/+18 |