typeclasses

Should return something like IO[Trace], which should be an immutable data type containing methods like enhanceException(Throwable): Throwable, pretty: String, oneline: String (or maybe just toString), etc. This handles use-cases like ad-hoc debugging and external exception handlers (like Sentry).

I'm labeling this as a good first issue even though it's going to be a bit involved

Let tofu-optics users do this:

import tofu.optics.syntax.tupleN._

val lense = Tuple3._2[Int, String, Long]   // : Contains[(Int, String, Long), String]

tupleN object should contain all possible implicit extensions to Tuple{N} companion objects. Implementations should be macro generated.

Parent issue: #335
Every plugin must be able to use all properties to construct the exact PSI element being fed in to achieve isomorphism between Quote and Scope. To ensure that AST parsing and our quote-and-template system is robust, more testing is needed to increase stability and reliability.

Checklist for WhenExpression

• Destructure and make available all methods related to re

Hi Taine,

In one of your example, you have

@trait Addable{L, R} begin
    (+) :: [L, R] => Any
    (+) = Base.:+
end

I'd like to do something like this, but avoid the Any. I was thinking something like

@trait Addable{L, R, X} where {X = inferAddable(L,R)} begin
    (+) :: [L, R] => X
    (+) = Base.:+
end

But then I'm having trouble getting the `@i