Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | All variants now deriving | Jon Pretty | 2017-10-30 | 3 | -37/+53 |
| | | | | Though there's a stack overflow when trying to derive a `Decoder`. | ||||
* | Derivation working for Show and Eq | Jon Pretty | 2017-10-30 | 8 | -352/+389 |
| | |||||
* | Include the prefix 'magnolia: ' before all compiler messages | Jon Pretty | 2017-06-30 | 1 | -4/+4 |
| | |||||
* | Merge pull request #14 from propensive/better-api | Jon Pretty | 2017-06-30 | 4 | -41/+40 |
|\ | | | | | Made a nicer API for inclusion | ||||
| * | Made a nicer API for inclusion | Jon Pretty | 2017-06-30 | 4 | -41/+40 |
|/ | |||||
* | Merge pull request #13 from propensive/rename-derivation | Jon Pretty | 2017-06-29 | 3 | -42/+41 |
|\ | | | | | Rename derivations to Derivation and Coderivation | ||||
| * | Renamed derivations to Derivation and Coderivation | Jon Pretty | 2017-06-29 | 3 | -42/+41 |
|/ | |||||
* | Include class name in `join` method | Jon Pretty | 2017-06-23 | 3 | -15/+31 |
| | |||||
* | Merge pull request #12 from propensive/ruippeixotog-cats-contravariant-example | Jon Pretty | 2017-06-23 | 6 | -51/+52 |
|\ | | | | | Ruippeixotog cats contravariant example | ||||
| * | Tidied up and made it compile and run | Jon Pretty | 2017-06-23 | 5 | -91/+33 |
| | | |||||
| * | Merge branch 'master' into cats-contravariant-example | Jon Pretty | 2017-06-22 | 4 | -70/+160 |
| |\ | |/ |/| | |||||
* | | Merge pull request #5 from propensive/use-case-instead-of-asinstanceof | Jon Pretty | 2017-06-22 | 3 | -17/+15 |
|\ \ | | | | | | | Use case clauses and switch statement instead of is/asInstanceOf | ||||
| * | | Use case clauses and switch statement instead of is/asInstanceOf | Jon Pretty | 2017-06-22 | 3 | -17/+15 |
|/ / | |||||
* | | Merge branch 'krzemin-feature/support-2-arg-contravariant-derivations' | Jon Pretty | 2017-06-22 | 3 | -66/+145 |
|\ \ | |||||
| * | | Merge branch 'feature/support-2-arg-contravariant-derivations' of ↵ | Jon Pretty | 2017-06-22 | 3 | -66/+145 |
|/| | | | | | | | | | | | https://github.com/krzemin/magnolia into krzemin-feature/support-2-arg-contravariant-derivations | ||||
| * | | refactor | Piotr Krzemiński | 2017-06-22 | 1 | -14/+19 |
| | | | |||||
| * | | bring back support for 1-arg type classes; now both Show and Eq are supported | Piotr Krzemiński | 2017-06-21 | 2 | -64/+64 |
| | | | |||||
| * | | defined DerivationImplicit | Piotr Krzemiński | 2017-06-21 | 1 | -11/+18 |
| | | | |||||
| * | | initial support for 2-arg contravariant derivations; works for simple Eq ↵ | Piotr Krzemiński | 2017-06-21 | 3 | -36/+103 |
| | | | | | | | | | | | | typeclass, still wip | ||||
* | | | Merge pull request #1 from gitter-badger/gitter-badge | Jon Pretty | 2017-06-22 | 1 | -0/+2 |
|\ \ \ | |/ / |/| | | Add a Gitter chat badge to README.md | ||||
| * | | Add Gitter badge | The Gitter Badger | 2017-06-12 | 1 | -0/+2 |
| | | | |||||
| | * | Add ContravariantDerivation for cats.Show | Rui Gonçalves | 2017-06-21 | 2 | -0/+40 |
| | | | |||||
| | * | Reorganize magnolia.Show implicits | Rui Gonçalves | 2017-06-21 | 3 | -12/+16 |
| | | | | | | | | | | | | Scopes magnolia.Show implicits so that they do not clash with cats' Show type class | ||||
| | * | Add cats-core to the examples' dependencies | Rui Gonçalves | 2017-06-21 | 1 | -0/+4 |
| |/ |/| | |||||
* | | Better error reporting | Jon Pretty | 2017-06-13 | 4 | -15/+20 |
| | | |||||
* | | Corrected ContravariantDerivation typeclass | Jon Pretty | 2017-06-13 | 2 | -5/+13 |
|/ | |||||
* | Slight tidyup of examples | Jon Pretty | 2017-06-12 | 2 | -84/+3 |
| | |||||
* | Remove spurious generic.scala~ file | Jon Pretty | 2017-06-12 | 1 | -173/+0 |
| | |||||
* | Include readme and license | Jon Pretty | 2017-06-12 | 2 | -0/+215 |
| | |||||
* | Improvements to error reportingv0.1.0 | Jon Pretty | 2017-06-12 | 4 | -16/+55 |
| | |||||
* | Fixes for substitution of Lazy values | Jon Pretty | 2017-06-12 | 3 | -27/+49 |
| | |||||
* | Appears to be working for both covariant and contravariant typeclasses | Jon Pretty | 2017-06-11 | 3 | -30/+109 |
| | |||||
* | Generalized for typeclass-based extension | Jon Pretty | 2017-06-11 | 2 | -31/+15 |
| | |||||
* | Starting to move towards typeclass-based implementation | Jon Pretty | 2017-06-11 | 3 | -66/+107 |
| | |||||
* | More typesafety in the macro | Jon Pretty | 2017-06-11 | 1 | -11/+13 |
| | |||||
* | Use List instead of ListMap in compiler state | Jon Pretty | 2017-06-11 | 1 | -10/+8 |
| | |||||
* | Further cleanup; no long lines | Jon Pretty | 2017-06-10 | 2 | -150/+97 |
| | |||||
* | More cleanup | Jon Pretty | 2017-06-10 | 2 | -11/+6 |
| | |||||
* | Avoid nasty asInstanceOf tree-rewriting hack | Jon Pretty | 2017-06-10 | 1 | -5/+7 |
| | |||||
* | Fixed (I think) last remaining recursion bug | Jon Pretty | 2017-06-10 | 2 | -14/+14 |
| | |||||
* | Generic macro appears to work more universally | Jon Pretty | 2017-06-06 | 2 | -85/+114 |
| | |||||
* | Apparent progress | Jon Pretty | 2017-06-05 | 3 | -40/+213 |
| | |||||
* | Looks like it's finally working! | Jon Pretty | 2017-05-29 | 2 | -1/+7 |
| | |||||
* | Pretty close to having the generic macro working | Jon Pretty | 2017-05-29 | 3 | -54/+177 |
| | | | | And yet so far. | ||||
* | Progress with mutual recursion | Jon Pretty | 2017-05-25 | 3 | -67/+52 |
| | |||||
* | First cleanup step | Jon Pretty | 2017-05-24 | 1 | -0/+14 |
| | |||||
* | Initial checkin of messy code which appears to be a PoC | Jon Pretty | 2017-05-24 | 6 | -0/+314 |