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