ATraversalLaws

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

Value members

Abstract methods

Concrete methods

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