law/monocle.law.discipline

monocle.law.discipline

package monocle.law.discipline

Type members

Classlikes

object IsoTests extends Laws
object LensTests extends Laws
object OptionalTests extends Laws
object PrismTests extends Laws
object SetterTests extends Laws
object TraversalTests extends Laws

Implicits

Implicits

implicit def isEqToProp[A](isEq: IsEq[A])(A: Eq[A]): Prop