arrow-optics / arrow.optics.extensions / StringFilterIndex
StringFilterIndex
interface ~~StringFilterIndex~~ : FilterIndex<String, Int, Char>
Deprecated: Typeclass interface implementation will not be exposed directly anymore.
FilterIndex instance for String. It allows filtering of every Char in a String by its index’s position.
Functions
| filter | Filter the foci A of a Traversal with the predicate p.open fun filter(p: (Int) -> Boolean): Traversal<String, Char> |
Companion Object Functions
| invoke | Operator overload to instantiate typeclass instance.operator fun invoke(): FilterIndex<String, Int, Char> |