core/monocle.function/FilterIndex

FilterIndex

object FilterIndex extends FilterIndexFunctions
Companion
class
Source
FilterIndex.scala
class Object
trait Matchable
class Any

Value members

Concrete methods

def fromIso[S, A, I, B](iso: Iso[S, A])(ev: FilterIndex[A, I, B]): FilterIndex[S, I, B]

lift an instance of FilterIndex using an Iso

lift an instance of FilterIndex using an Iso

Source
FilterIndex.scala
def fromTraverse[S[_], A](zipWithIndex: S[A] => S[(A, Int)])(`evidence$1`: Traverse[S]): FilterIndex[S[A], Int, A]

Inherited methods

def filterIndex[S, I, A](predicate: I => Boolean)(ev: FilterIndex[S, I, A]): Traversal[S, A]

Implicits

Implicits

implicit def chainFilterIndex[A]: FilterIndex[Chain[A], Int, A]
implicit def lazyListFilterIndex[A]: FilterIndex[LazyList[A], Int, A]
implicit def listFilterIndex[A]: FilterIndex[List[A], Int, A]
implicit def mapFilterIndex[K, V]: FilterIndex[Map[K, V], K, V]
implicit def necFilterIndex[A]: FilterIndex[Type[A], Int, A]
implicit def nelFilterIndex[A]: FilterIndex[NonEmptyList[A], Int, A]
implicit def nevFilterIndex[A]: FilterIndex[NonEmptyVector[A], Int, A]
implicit def sortedMapFilterIndex[K, V](ok: Order[K]): FilterIndex[SortedMap[K, V], K, V]
implicit val stringFilterIndex: FilterIndex[String, Int, Char]
implicit def vectorFilterIndex[A]: FilterIndex[Vector[A], Int, A]