p

proptics.law

discipline

package discipline

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. trait ALensTests[S, A] extends Laws
  2. trait APrismTests[S, A] extends Laws
  3. trait ATraversalTests[S, A] extends Laws
  4. trait AffineTraversalTests[S, I, A] extends Laws
  5. trait AnAffineTraversalTests[S, A] extends Laws
  6. trait AnIndexedLensTests[I, S, A] extends Laws
  7. trait AnIsoTests[S, A] extends Laws
  8. trait AtTests[S, I, A] extends Laws
  9. trait ChoiceTests[F[_, _]] extends ProfunctorTests[F]
  10. trait ClosedTests[F[_, _]] extends ProfunctorTests[F]
  11. trait CochoiceTests[F[_, _]] extends ProfunctorTests[F]
  12. trait ConsTests[S, A] extends Laws
  13. trait EachTests[S, A] extends Laws
  14. trait EmptyTests[S] extends Laws
  15. trait Field1Tests[A, B] extends Laws
  16. trait Field2Tests[A, B] extends Laws
  17. trait Field3Tests[A, B, C] extends Laws
  18. trait Field4Tests[A, B, C, D] extends Laws
  19. trait Field5Tests[A, B, C, D, E] extends Laws
  20. trait FoldableWithIndexTests[F[_], I] extends Laws
  21. trait FunctorWithIndexTests[F[_], I] extends Laws
  22. trait GrateTests[S, A] extends Laws
  23. trait IndexTests[S, I, A] extends Laws
  24. trait IndexedLensTests[I, S, A] extends Laws
  25. trait IndexedSetterTests[I, S, A] extends Laws
  26. trait IndexedTraversalTests[I, S, A] extends Laws
  27. trait IsoTests[S, A] extends Laws
  28. trait LensTests[S, I, A] extends Laws
  29. trait NonEmptyConsTests[S, H, T] extends Laws
  30. trait PrefixedTests[S, T] extends Laws
  31. trait PrismTests[S, T, A] extends Laws
  32. trait ReverseTests[S, T] extends Laws
  33. trait SetterTests[S, A] extends Laws
  34. trait SuffixedTests[S, T] extends Laws
  35. trait TraversalTests[S, A] extends Laws
  36. trait TraverseWithIndexTests[F[_], I] extends FunctorWithIndexTests[F, I] with FoldableWithIndexTests[F, I]
  37. trait WanderTests[F[_, _]] extends Laws

Ungrouped