cats-eo-api-docs
0.8.1-3-6c70289-SNAPSHOT
API
Generated with
cats-eo-api-docs/dev.constructive.eo/dev.constructive.eo.laws/dev.constructive.eo.laws.eo/ModifyAIdLaws

ModifyAIdLaws

dev.constructive.eo.laws.eo.ModifyAIdLaws
trait ModifyAIdLaws[S, A, F[_, _]]

D1 — optic.modifyA[Id] is pointwise equal to optic.modify.

Attributes

Source
ModifyALaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def optic: Optic[S, S, A, A, F]

The optic under test.

The optic under test.

Attributes

Source
ModifyALaws.scala

Concrete methods

def modifyAIdIsModify(s: S, f: A => A)(using ForgetfulFunctor[F], ForgetfulTraverse[F, Applicative]): Boolean

modifyA[Id](f)(s) == modify(f)(s).

modifyA[Id](f)(s) == modify(f)(s).

Attributes

Source
ModifyALaws.scala
Generated with