arrow-mtl / arrow.mtl.extensions / OptionTTraverseFilter

OptionTTraverseFilter

@extension interface OptionTTraverseFilter<F> : TraverseFilter<OptionTPartialOf<F>>, OptionTTraverse<F>

Functions

FFF abstract fun FFF(): TraverseFilter<F>
FFT open fun FFT(): Traverse<F>
traverseFilter open fun <G, A, B> Kind<OptionTPartialOf<F>, A>.traverseFilter(AP: Applicative<G>, f: (A) -> Kind<G, Option<B>>): Kind<G, OptionT<F, B>>