arrow-core-data / arrow.core / SequenceK

SequenceK

@higherkind data class SequenceK<out A> : SequenceKOf<A>, Sequence<A>

Constructors

<init> SequenceK(sequence: Sequence<A>)

Properties

sequence val sequence: Sequence<A>

Functions

ap fun <B> ap(ff: SequenceKOf<(A) -> B>): SequenceK<B>
filterMap fun <B> filterMap(f: (A) -> Option<B>): SequenceK<B>
flatMap fun <B> flatMap(f: (A) -> SequenceKOf<B>): SequenceK<B>
foldLeft fun <B> foldLeft(b: B, f: (B, A) -> B): B
foldRight fun <B> foldRight(lb: Eval<B>, f: (A, Eval<B>) -> Eval<B>): Eval<B>
map fun <B> map(f: (A) -> B): SequenceK<B>
map2 fun <B, Z> map2(fb: SequenceKOf<B>, f: (Tuple2<A, B>) -> Z): SequenceK<Z>
show fun show(SA: Show<A>): String
toList fun toList(): List<A>
toString fun toString(): String
traverse fun <G, B> traverse(GA: Applicative<G>, f: (A) -> Kind<G, B>): Kind<G, SequenceK<B>>

Companion Object Functions

empty fun <A> empty(): SequenceK<A>
just fun <A> just(a: A): SequenceK<A>
tailRecM fun <A, B> tailRecM(a: A, f: (A) -> SequenceKOf<Either<A, B>>): SequenceK<B>

Extension Functions

altFold fun <T, F, A> Kind<T, A>.altFold(AF: Alternative<F>, FT: Foldable<T>): Kind<F, A>
altSum fun <T, F, A> Kind<T, Kind<F, A>>.altSum(AF: Alternative<F>, FT: Foldable<T>): Kind<F, A>
combineK fun <A> SequenceKOf<A>.combineK(y: SequenceKOf<A>): SequenceK<A>
sequence fun <A, G> SequenceKOf<Kind<G, A>>.sequence(GA: Applicative<G>): Kind<G, SequenceK<A>>

Do you like Arrow?

Arrow Org
<