traverse
dev.constructive.eo.data.Affine.traverse
object traverse extends ForgetfulTraverse[Affine, Applicative]
ForgetfulTraverse[Affine, Applicative] — lifts a focus-level A => G[B] into an Affine[X, A] => G[Affine[X, B]]. Unlocks .modifyA / .all / .modifyF on Affine- carrier optics.
Attributes
- Source
- Affine.scala
- Graph
-
- Supertypes
- Self type
-
traverse.type
Members list
In this article