core
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
core/monocle.law/IsoLaws

IsoLaws

monocle.law.IsoLaws
case class IsoLaws[S, A](iso: Iso[S, A])

Attributes

Source:
IsoLaws.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def composeModify(s: S, f: A => A, g: A => A): IsEq[S]

Attributes

Source:
IsoLaws.scala
def consistentGetModifyId(s: S): IsEq[A]

Attributes

Source:
IsoLaws.scala
def consistentModifyModifyId(s: S, f: A => A): IsEq[S]

Attributes

Source:
IsoLaws.scala
def consistentReplaceModify(s: S, a: A): IsEq[S]

Attributes

Source:
IsoLaws.scala
def modifyIdentity(s: S): IsEq[S]

Attributes

Source:
IsoLaws.scala
def roundTripOneWay(s: S): IsEq[S]

Attributes

Source:
IsoLaws.scala
def roundTripOtherWay(a: A): IsEq[A]

Attributes

Source:
IsoLaws.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL