Natural transformation allowing to change the outer type that final interfaces work against.
- Companion:
- object
Value members
Abstract methods
Concrete methods
Pre-computes the transormation by applying it on an iterable of all possible inputs.
Pre-computes the transormation by applying it on an iterable of all possible inputs.
Unsafe because calling the resulting transformation with an value that wasn't precomputed will result in an exception.
See https://stackoverflow.com/questions/67750145/how-to-implement-types-like-mapk-in-scala-3-dotty
def zip[G2[_, _, _, _, _]](other: Transformation[F, G2]): Transformation[F, [_, _, _, _, _] =>> Zip[G, G2, _$16, _$17, _$18, _$19, _$20]]