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

SetterLaws

monocle.law.SetterLaws
case class SetterLaws[S, A](setter: Setter[S, A])

Attributes

Source:
SetterLaws.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:
SetterLaws.scala
def consistentReplaceModify(s: S, a: A): IsEq[S]

Attributes

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

Attributes

Source:
SetterLaws.scala
def replaceIdempotent(s: S, a: A): IsEq[S]

Attributes

Source:
SetterLaws.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