either2multifocusPSVec
dev.constructive.eo.data.MultiFocus$package.MultiFocusK.either2multifocusPSVec
object either2multifocusPSVec extends Composer[Either, MultiFocus[PSVec]]
Prism → MultiFocus[PSVec] — lifts a Prism-carrier optic so prism.andThen(traversal) type-checks. Mixes in MultiFocusPSMaybeHit so the PSVec-specialised mfAssocPSVec body skips the per-element Either[o.X, Unit] wrapper the generic to path would build.
Attributes
- Source
- MultiFocus.scala
- Graph
-
- Supertypes
- Self type
Members list
In this article