arrow-optics/arrow.optics.typeclasses/FilterIndex/Companion

Companion

object Companion(source)

Functions

fun <S, A, I, B> fromIso(FI: FilterIndex<A, I, B>, iso: Iso<S, A>): FilterIndex<S, I, B>

Lift an instance of FilterIndex using an Iso

fun <A> list(): FilterIndex<List<A>, Int, A>

FilterIndex instance definition for List.

fun <K, V> map(): FilterIndex<Map<K, V>, K, V>

fun <A> nonEmptyList(): FilterIndex<NonEmptyList<A>, Int, A>

FilterIndex instance definition for NonEmptyList.

fun <A> sequence(): FilterIndex<Sequence<A>, Int, A>

fun string(): FilterIndex<String, Int, Char>

FilterIndex instance for String. It allows filtering of every Char in a String by its index's position.