core/monocle.law/TraversalLaws

TraversalLaws

case class TraversalLaws[S, A](traversal: Traversal[S, A])
Source
TraversalLaws.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def composeModify(s: S, f: A => A, g: A => A): IsEq[S]
def headOption(s: S): IsEq[Option[A]]
def modifyGetAll(s: S, f: A => A): IsEq[List[A]]
def replaceIdempotent(s: S, a: A): IsEq[S]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product