Adam Warski

It's not immediately clear to me how that would work (sorry for being slow :) ) - what would be an example result and what would be the signature of...

Thanks! So this would be kind of filtering the "collection" on which `focus` is called + mapping to some value, which can be then traversed further, correct?

This sounds good! Just would need good docs - or rather examples. The two examples (with person and URI) would be great to have in the docs

Quicklens macros are "blackbox", which means they return precise types, so this should be already IDE-friendly, with autocomplete etc., as long as there's the import `import com.softwaremill.quicklens._`. Could you maybe...

Ah true, thanks! Though the issue is with IntelliJ's type checker, doesn't really involve macros.

Currently, that's not possible. But of course possible to implement :)

Maybe it would be enough to locally pimp the `PathModify` and use its members: `obj` and `doModify` to implement both an optional/replicating modification?

But that would add a dependency on scalaz's/cat's/... `Monad` implementation?

Though I really like the example with quickcheck :)

Definitely, adding scalaz/cats dependency would be way too much :) I'm not at all happy having to define yet another `XxxFunctor` trait, but I guess there are no better options...