core/monocle.law

monocle.law

package monocle.law

Type members

Classlikes

case class IsoLaws[S, A](iso: Iso[S, A])
case class LensLaws[S, A](lens: Lens[S, A])
case class OptionalLaws[S, A](optional: Optional[S, A])
case class PrismLaws[S, A](prism: Prism[S, A])
case class SetterLaws[S, A](setter: Setter[S, A])
case class TraversalLaws[S, A](traversal: Traversal[S, A])