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

TraversalLaws

monocle.law.TraversalLaws
case class TraversalLaws[S, A](traversal: Traversal[S, A])

Attributes

Source:
TraversalLaws.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:
TraversalLaws.scala
def headOption(s: S): IsEq[Option[A]]

Attributes

Source:
TraversalLaws.scala
def modifyGetAll(s: S, f: A => A): IsEq[List[A]]

Attributes

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

Attributes

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

Attributes

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