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

Value Members

  1. object ALensLaws
  2. object APrismLaws
  3. object ATraversalLaws
  4. object AffineTraversalLaws
  5. object AnAffineTraversalLaws
  6. object AnIndexedLensLaws
  7. object AnIsoLaws
  8. object ChoiceLaws
  9. object ClosedLaws
  10. object CochoiceLaws
  11. object FoldableWithIndexLaws
  12. object FunctorWithIndexLaws
  13. object GrateLaws
  14. object IndexedLensLaws
  15. object IndexedSetterLaws
  16. object IndexedTraversalLaws
  17. object IsoLaws
  18. object LensLaws
  19. object PrismLaws
  20. object SetterLaws
  21. object TraversalLaws
  22. object TraverseWithIndexLaws
  23. object WanderLaws

Ungrouped