Packages

package law

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Package Members

  1. package discipline

Type Members

  1. trait ALensLaws[S, A] extends AnyRef
  2. trait APrismLaws[S, A] extends AnyRef
  3. trait ATraversalLaws[S, A] extends AnyRef
  4. trait AffineTraversalLaws[S, A] extends AnyRef
  5. trait AnAffineTraversalLaws[S, A] extends AnyRef
  6. trait AnIndexedLensLaws[I, S, A] extends AnyRef
  7. trait AnIsoLaws[S, A] extends AnyRef
  8. trait ChoiceLaws[F[_, _]] extends ProfunctorLaws[F]
  9. trait ClosedLaws[F[_, _]] extends ProfunctorLaws[F]
  10. trait CochoiceLaws[F[_, _]] extends ProfunctorLaws[F]
  11. trait FoldableWithIndexLaws[F[_], I] extends AnyRef
  12. trait FunctorWithIndexLaws[F[_], I] extends AnyRef
  13. trait GrateLaws[S, A] extends AnyRef
  14. trait IndexedLensLaws[I, S, A] extends AnyRef
  15. trait IndexedSetterLaws[I, S, A] extends AnyRef
  16. trait IndexedTraversalLaws[I, S, A] extends AnyRef
  17. trait IsoLaws[S, A] extends AnyRef
  18. trait LensLaws[S, A] extends AnyRef
  19. trait PrismLaws[S, A] extends AnyRef
  20. trait SetterLaws[S, A] extends AnyRef
  21. trait TraversalLaws[S, A] extends AnyRef
  22. trait TraverseWithIndexLaws[F[_], I] extends FunctorWithIndexLaws[F, I] with FoldableWithIndexLaws[F, I]
  23. trait WanderLaws[F[_, _]] extends AnyRef

Ungrouped