Georgi Krastev
Georgi Krastev
I looked for a scalafix rule but it doesn't exist yet.
> What makes this mostly useful only for Scala 3? There is a problem in Scala 2 for SAM traits with method implementations (i.e. having concrete methods that derive from...
@diesalbla no, the proposal just evolved to using helper `instance` methods - best to take a look at #3871
But that's a very general problem with `scalac` and implicits not resolving for `Nothing`. The question is if Cats should add specialized instances for `Nothing`. I couldn't find any precedent...
Maybe I'm missing something but actually I don't see a way to implement this for interfaces.
We have an open issue for case class support: #29 So that won't work right now. > I also have an OptionT instance now... Does that mean we can have...
> I'm all for using the sam syntax for things like val eqBool: Eq[Boolean] = { (a, b) => a == b } since (I believe) that is the same...
Ok I made the changes to use SAM syntax
I don't think it's there. I would like to have this as well. Quiver doesn't cover this, rather it uses `scalaz.Tree` and having a Cats based `Tree` would be necessary...
I don't know, I haven't seen a `Tree` implementation in Circe.