tupleFTraverseApplicative
dev.constructive.eo.forgetful.ForgetfulTraverse.tupleFTraverseApplicative
object tupleFTraverseApplicative extends ForgetfulTraverse[Tuple2, Applicative]
Tuple2 under Applicative[G] — same body, stricter bound (Applicative ext Functor) so Optic.modifyA[G] applies uniformly across carriers.
Attributes
- Source
- ForgetfulTraverse.scala
- Graph
-
- Supertypes
- Self type
Members list
In this article