Packages

package law

Type Members

  1. case class IsoLaws[S, A](iso: Iso[S, A]) extends Product with Serializable
  2. case class LensLaws[S, A](lens: Lens[S, A]) extends Product with Serializable
  3. case class OptionalLaws[S, A](optional: Optional[S, A]) extends Product with Serializable
  4. case class PrismLaws[S, A](prism: Prism[S, A]) extends Product with Serializable
  5. case class SetterLaws[S, A](setter: Setter[S, A]) extends Product with Serializable
  6. case class TraversalLaws[S, A](traversal: Traversal[S, A]) extends Product with Serializable

Ungrouped