Hi, so I see that Lenses for now are CompanionObje...

# arrow-meta

[jereksel]

Hi, so I see that Lenses for now are CompanionObject.iso. Do you know how we can generate and make available for autocomplete intermediate methods like extension vals for Lenses inline val <A> Lens<A, MyObject>.myObject2(): Lens<A, MyObject2> = {}?

[simon.vergauwen]

This is how it’s done in the HKT plugin by calling synthethic on expression.

https://github.com/arrow-kt/arrow-meta/blob/5c83567bdd0a621341e2cfc1fdcb7c862258a59b/compiler-plugin/src/main/kotlin/arrow/meta/plugins/higherkind/HigherKindPlugin.kt#L35