trait IndexedTraversalLaws[I, S, A] extends AnyRef

Source
IndexedTraversalLaws.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IndexedTraversalLaws
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def indexedTraversal: IndexedTraversal_[I, S, S, A, A]

Concrete Value Members

  1. def composeOver(s: S)(f: (A, I) => A)(g: (A, I) => A): IsEq[S]
  2. def consistentFoci(s: S, f: (A, I) => A, g: (A, I) => A): IsEq[S]
  3. def getSet(s: S, f: (A, I) => A): IsEq[List[(A, I)]]
  4. def overIdentity(s: S): IsEq[S]
  5. def preview(s: S): IsEq[Option[(A, I)]]
  6. def respectPurity[F[_]](s: S)(implicit arg0: Applicative[F]): IsEq[F[S]]
  7. def setSet(s: S, a: A): IsEq[S]