Attempt at implementing the auto derivation macro for the Aspect type class.
Submitting this more as a way of getting other pair of eyes to look over it than as a final implementation, someone that knows about Scala 3 macros more than me. It currently doesn't compile the AspectTests.ShowFAlgebra when deriving for the Show type class (more info in the line comment)
This implementation is based on quotes but also tried building the tree manually without success.
Attempt at implementing the auto derivation macro for the
Aspecttype class.Submitting this more as a way of getting other pair of eyes to look over it than as a final implementation, someone that knows about Scala 3 macros more than me. It currently doesn't compile the
AspectTests.ShowFAlgebrawhen deriving for theShowtype class (more info in the line comment)This implementation is based on quotes but also tried building the tree manually without success.