Proptics law/proptics.law/IsoLaws

IsoLaws

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

Value members

Abstract methods

def iso: Iso[S, A]

Concrete methods

def composeFocusIso(a: A): IsEq[A]
def composeOver(s: S)(f: A => A)(g: A => A): IsEq[S]
def composeSourceIso(s: S): IsEq[S]
def focusReversibility(a: A): IsEq[A]
def overIdentity(s: S): IsEq[S]