arrow-mtl / arrow.mtl.extensions / ComposedTraverseFilter

ComposedTraverseFilter

interface ComposedTraverseFilter<F, G> : TraverseFilter<Nested<F, G>>, ComposedTraverse<F, G>

Functions

FT abstract fun FT(): Traverse<F>
GT abstract fun GT(): TraverseFilter<G>
traverseFilter open fun <H, A, B> Kind<Nested<F, G>, A>.traverseFilter(AP: Applicative<H>, f: (A) -> Kind<H, Option<B>>): Kind<H, Kind<Nested<F, G>, B>>
traverseFilterC open fun <H, A, B> traverseFilterC(fa: Kind<F, Kind<G, A>>, f: (A) -> Kind<H, Option<B>>, HA: Applicative<H>): Kind<H, Kind<Nested<F, G>, B>>

Companion Object Functions

invoke operator fun <F, G> invoke(FF: Traverse<F>, GF: TraverseFilter<G>): ComposedTraverseFilter<F, G>