package
law
Type Members
-
case class
IsoLaws
[S, A](iso: Iso[S, A]) extends Product with Serializable
-
case class
LensLaws
[S, A](lens: Lens[S, A]) extends Product with Serializable
-
case class
OptionalLaws
[S, A](optional: Optional[S, A]) extends Product with Serializable
-
case class
PrismLaws
[S, A](prism: Prism[S, A]) extends Product with Serializable
-
case class
SetterLaws
[S, A](setter: Setter[S, A]) extends Product with Serializable
-
case class
TraversalLaws
[S, A](traversal: Traversal[S, A]) extends Product with Serializable