wisteria
wisteria copied to clipboard
propensive
Easy, fast, transparent generic derivation of typeclass instances in Scala
It seems like a default value can be accessed when deriving a product type, but not if that product type is being derived as part of a sum type.
Assuming I want to only implement type class for Products, therefore I deliberately leave `split` method unimplemented. When trying to derive type class for Sum type - I get extremely...
A proper test is required, but it seems like inline summoning does not work inside polymorphic lambdas, e.g. in ```scala fields(value): [FieldType] => field => summonFrom: case given Show[FieldType] =>...
When trying to provide typeclass for sum type(taking into account that `split` method is implemented, I get following: ``` [error] 60 | val typeclass = summon[Default[DefaultTest]] [error] | ^ [error]...
Metadata
Owner
Metadata
Easy, fast, transparent generic derivation of typeclass instances in Scala