arrow-extras-extensions / arrow.data.extensions.writert.applicative

Package arrow.data.extensions.writert.applicative

Extensions for External Classes

arrow.Kind  
arrow.data.WriterT  

Functions

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