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