arrow-core / arrow.core.extensions.andthen.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 <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~fproduct~~(arg1: (A) -> B): AndThen<X, Tuple2<A, B>> |
| imap | fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~imap~~(arg1: (A) -> B, arg2: (B) -> A): AndThen<X, B> |
| map | Transform the F wrapped value A into B preserving the F structure Kind<F, A> -> Kind<F, B>fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~map~~(arg1: (A) -> B): AndThen<X, B> |
| mapConst | Replaces A inside F with B resulting in a Kind<F, B>fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~mapConst~~(arg1: B): AndThen<X, B> |
| tupleLeft | Pairs B with A returning a Kind<F, Tuple2<B, A>>fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~tupleLeft~~(arg1: B): AndThen<X, Tuple2<B, A>> |
| tupleRight | Pairs A with B returning a Kind<F, Tuple2<A, B>>fun <X, A, B> Kind<Kind<ForAndThen, X>, A>.~~tupleRight~~(arg1: B): AndThen<X, Tuple2<A, B>> |
| void | fun <X, A> Kind<Kind<ForAndThen, X>, A>.~~void~~(): AndThen<X, Unit> |
| widen | Given A is a sub type of B, re-type this value from Kind<F, A> to Kind<F, B>fun <X, B, A : B> Kind<Kind<ForAndThen, X>, A>.~~widen~~(): AndThen<X, B> |