cats.data
Tuple2K is a product to two independent functor values.
See: The Essence of the Iterator Pattern
Modify the context G of second using transformation f.
G
second
f
Tuple2K is a product to two independent functor values.
See: The Essence of the Iterator Pattern