Proptics law/proptics.law/IndexedTraversalLaws

IndexedTraversalLaws

trait IndexedTraversalLaws[I, S, A]
Companion:
object
class Object
trait Matchable
class Any

Value members

Abstract methods

Concrete methods

def composeOver(s: S)(f: (A, I) => A)(g: (A, I) => A): IsEq[S]
def consistentFoci(s: S, f: (A, I) => A, g: (A, I) => A): IsEq[S]
def getSet(s: S, f: (A, I) => A): IsEq[List[(A, I)]]
def overIdentity(s: S): IsEq[S]
def preview(s: S): IsEq[Option[(A, I)]]
def respectPurity[F[_] : Applicative](s: S): IsEq[F[S]]
def setSet(s: S, a: A): IsEq[S]