arrow-core / arrow.core.extensions.tuple2.functor / arrow.Kind
Extensions for arrow.Kind
| fproduct | Applies f to an A inside F and returns the F structure with a tuple of the A value and the computed B value as result of applying ffun <F, A, B> Kind<Kind<ForTuple2, F>, A>.~~fproduct~~(arg1: (A) -> B): Tuple2<F, Tuple2<A, B>> |
| imap | fun <F, A, B> Kind<Kind<ForTuple2, F>, A>.~~imap~~(arg1: (A) -> B, arg2: (B) -> A): Tuple2<F, B> |
| map | Transform the F wrapped value A into B preserving the F structure Kind<F, A> -> Kind<F, B>fun <F, A, B> Kind<Kind<ForTuple2, F>, A>.~~map~~(arg1: (A) -> B): Tuple2<F, B> |
| mapConst | Replaces A inside F with B resulting in a Kind<F, B>fun <F, A, B> Kind<Kind<ForTuple2, F>, A>.~~mapConst~~(arg1: B): Tuple2<F, B> |
| tupleLeft | Pairs B with A returning a Kind<F, Tuple2<B, A>>fun <F, A, B> Kind<Kind<ForTuple2, F>, A>.~~tupleLeft~~(arg1: B): Tuple2<F, Tuple2<B, A>> |
| tupleRight | Pairs A with B returning a Kind<F, Tuple2<A, B>>fun <F, A, B> Kind<Kind<ForTuple2, F>, A>.~~tupleRight~~(arg1: B): Tuple2<F, Tuple2<A, B>> |
| void | fun <F, A> Kind<Kind<ForTuple2, F>, A>.~~void~~(): Tuple2<F, Unit> |
| widen | Given A is a sub type of B, re-type this value from Kind<F, A> to Kind<F, B>fun <F, B, A : B> Kind<Kind<ForTuple2, F>, A>.~~widen~~(): Tuple2<F, B> |