arrow-core-extensions / arrow.core.extensions.tuple2.applicative

Package arrow.core.extensions.tuple2.applicative

Extensions for External Classes

arrow.Kind  
arrow.core.Tuple2  

Functions

just fun <F, A> A.just(MF: Monoid<F>): Tuple2<F, A>
map fun <F, A, B, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: (Tuple2<A, B>) -> Z): Tuple2<F, Z>
fun <F, A, B, C, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: (Tuple3<A, B, C>) -> Z): Tuple2<F, Z>
fun <F, A, B, C, D, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: (Tuple4<A, B, C, D>) -> Z): Tuple2<F, Z>
fun <F, A, B, C, D, E, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: (Tuple5<A, B, C, D, E>) -> Z): Tuple2<F, Z>
fun <F, A, B, C, D, E, FF, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: (Tuple6<A, B, C, D, E, FF>) -> Z): Tuple2<F, Z>
fun <F, A, B, C, D, E, FF, G, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: Kind<Kind<ForTuple2, F>, G>, arg7: (Tuple7<A, B, C, D, E, FF, G>) -> Z): Tuple2<F, Z>
fun <F, A, B, C, D, E, FF, G, H, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: Kind<Kind<ForTuple2, F>, G>, arg7: Kind<Kind<ForTuple2, F>, H>, arg8: (Tuple8<A, B, C, D, E, FF, G, H>) -> Z): Tuple2<F, Z>
fun <F, A, B, C, D, E, FF, G, H, I, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: Kind<Kind<ForTuple2, F>, G>, arg7: Kind<Kind<ForTuple2, F>, H>, arg8: Kind<Kind<ForTuple2, F>, I>, arg9: (Tuple9<A, B, C, D, E, FF, G, H, I>) -> Z): Tuple2<F, Z>
fun <F, A, B, C, D, E, FF, G, H, I, J, Z> map(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: Kind<Kind<ForTuple2, F>, G>, arg7: Kind<Kind<ForTuple2, F>, H>, arg8: Kind<Kind<ForTuple2, F>, I>, arg9: Kind<Kind<ForTuple2, F>, J>, arg10: (Tuple10<A, B, C, D, E, FF, G, H, I, J>) -> Z): Tuple2<F, Z>
tupled fun <F, A, B> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>): Tuple2<F, Tuple2<A, B>>
fun <F, A, B, C> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>): Tuple2<F, Tuple3<A, B, C>>
fun <F, A, B, C, D> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>): Tuple2<F, Tuple4<A, B, C, D>>
fun <F, A, B, C, D, E> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>): Tuple2<F, Tuple5<A, B, C, D, E>>
fun <F, A, B, C, D, E, FF> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>): Tuple2<F, Tuple6<A, B, C, D, E, FF>>
fun <F, A, B, C, D, E, FF, G> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: Kind<Kind<ForTuple2, F>, G>): Tuple2<F, Tuple7<A, B, C, D, E, FF, G>>
fun <F, A, B, C, D, E, FF, G, H> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: Kind<Kind<ForTuple2, F>, G>, arg7: Kind<Kind<ForTuple2, F>, H>): Tuple2<F, Tuple8<A, B, C, D, E, FF, G, H>>
fun <F, A, B, C, D, E, FF, G, H, I> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: Kind<Kind<ForTuple2, F>, G>, arg7: Kind<Kind<ForTuple2, F>, H>, arg8: Kind<Kind<ForTuple2, F>, I>): Tuple2<F, Tuple9<A, B, C, D, E, FF, G, H, I>>
fun <F, A, B, C, D, E, FF, G, H, I, J> tupled(MF: Monoid<F>, arg0: Kind<Kind<ForTuple2, F>, A>, arg1: Kind<Kind<ForTuple2, F>, B>, arg2: Kind<Kind<ForTuple2, F>, C>, arg3: Kind<Kind<ForTuple2, F>, D>, arg4: Kind<Kind<ForTuple2, F>, E>, arg5: Kind<Kind<ForTuple2, F>, FF>, arg6: Kind<Kind<ForTuple2, F>, G>, arg7: Kind<Kind<ForTuple2, F>, H>, arg8: Kind<Kind<ForTuple2, F>, I>, arg9: Kind<Kind<ForTuple2, F>, J>): Tuple2<F, Tuple10<A, B, C, D, E, FF, G, H, I, J>>
unit fun <F> unit(MF: Monoid<F>): Tuple2<F, Unit>