Proptics law/proptics.law/IndexedLensLaws

IndexedLensLaws

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

Value members

Abstract methods

def indexedLens: IndexedLens[I, S, A]

Concrete methods

def composeFocusLens(s: S, a: A): IsEq[A]
def composeOver(s: S)(f: (A, I) => A)(g: (A, I) => A): IsEq[S]
def composeSourceLens(s: S): IsEq[S]
def getSet(s: S, a: A): IsEq[A]
def overIdentity(s: S): IsEq[S]
def setGet(s: S): IsEq[S]
def setSet(s: S, a: A): IsEq[S]