core/monocle.law/OptionalLaws

OptionalLaws

case class OptionalLaws[S, A](optional: Optional[S, A])
Source
OptionalLaws.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 consistentModifyModifyId(s: S, f: A => A): IsEq[S]
def replaceGetOption(s: S, a: A): IsEq[Option[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