core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/monocle.function/FilterIndex

FilterIndex

monocle.function.FilterIndex$
See theFilterIndex companion class
object FilterIndex extends FilterIndexFunctions

Attributes

Companion:
class
Source:
FilterIndex.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def fromIso[S, A, I, B](iso: Iso[S, A])(implicit 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

Attributes

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

Attributes

Source:
FilterIndex.scala

Inherited methods

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

Attributes

Inherited from:
FilterIndexFunctions
Source:
FilterIndex.scala

Implicits

Implicits

implicit def chainFilterIndex[A]: FilterIndex[Chain[A], Int, A]

Attributes

Source:
FilterIndex.scala
implicit def lazyListFilterIndex[A]: FilterIndex[LazyList[A], Int, A]

Attributes

Source:
FilterIndex.scala
implicit def listFilterIndex[A]: FilterIndex[List[A], Int, A]

Attributes

Source:
FilterIndex.scala
implicit def mapFilterIndex[K, V]: FilterIndex[Map[K, V], K, V]

Attributes

Source:
FilterIndex.scala
implicit def necFilterIndex[A]: FilterIndex[Type[A], Int, A]

Attributes

Source:
FilterIndex.scala
implicit def nelFilterIndex[A]: FilterIndex[NonEmptyList[A], Int, A]

Attributes

Source:
FilterIndex.scala
implicit def nevFilterIndex[A]: FilterIndex[NonEmptyVector[A], Int, A]

Attributes

Source:
FilterIndex.scala
implicit def sortedMapFilterIndex[K, V](implicit ok: Order[K]): FilterIndex[SortedMap[K, V], K, V]

Attributes

Source:
FilterIndex.scala
implicit def vectorFilterIndex[A]: FilterIndex[Vector[A], Int, A]

Attributes

Source:
FilterIndex.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL