Proptics law/proptics.law.discipline

proptics.law.discipline

package proptics.law.discipline

Type members

Classlikes

trait ALensTests[S, A] extends Laws
Companion:
object
object ALensTests
Companion:
class
trait APrismTests[S, A] extends Laws
Companion:
object
object APrismTests
Companion:
class
trait ATraversalTests[S, A] extends Laws
Companion:
object
object ATraversalTests
Companion:
class
trait AffineTraversalTests[S, I, A] extends Laws
Companion:
object
object AffineTraversalTests
Companion:
class
trait AnAffineTraversalTests[S, A] extends Laws
Companion:
object
object AnAffineTraversalTests
Companion:
class
trait AnIndexedLensTests[I, S, A] extends Laws
Companion:
object
object AnIndexedLensTests
Companion:
class
trait AnIsoTests[S, A] extends Laws
Companion:
object
object AnIsoTests
Companion:
class
trait AtTests[S, I, A] extends Laws
Companion:
object
object AtTests
Companion:
class
trait ChoiceTests[F[_, _]] extends ProfunctorTests[F]
Companion:
object
object ChoiceTests
Companion:
class
trait ClosedTests[F[_, _]] extends ProfunctorTests[F]
Companion:
object
object ClosedTests
Companion:
class
trait CochoiceTests[F[_, _]] extends ProfunctorTests[F]
Companion:
object
object CochoiceTests
Companion:
class
trait ConsTests[S, A] extends Laws
Companion:
object
object ConsTests
Companion:
class
trait EachTests[S, A] extends Laws
Companion:
object
object EachTests
Companion:
class
trait EmptyTests[S] extends Laws
Companion:
object
object EmptyTests
Companion:
class
trait Field1Tests[A, B] extends Laws
Companion:
object
object Field1Tests
Companion:
class
trait Field2Tests[A, B] extends Laws
Companion:
object
object Field2Tests
Companion:
class
trait Field3Tests[A, B, C] extends Laws
Companion:
object
object Field3Tests
Companion:
class
trait Field4Tests[A, B, C, D] extends Laws
Companion:
object
object Field4Tests
Companion:
class
trait Field5Tests[A, B, C, D, E] extends Laws
Companion:
object
object Field5Tests
Companion:
class
trait FoldableWithIndexTests[F[_], I] extends Laws
Companion:
object
object FoldableWithIndexTests
Companion:
class
trait FunctorWithIndexTests[F[_], I] extends Laws
Companion:
object
object FunctorWithIndexTests
Companion:
class
trait GrateTests[S, A] extends Laws
Companion:
object
object GrateTests
Companion:
class
trait IndexTests[S, I, A] extends Laws
Companion:
object
object IndexTests
Companion:
class
trait IndexedLensTests[I, S, A] extends Laws
Companion:
object
object IndexedLensTests
Companion:
class
trait IndexedSetterTests[I, S, A] extends Laws
Companion:
object
object IndexedSetterTests
Companion:
class
trait IndexedTraversalTests[I, S, A] extends Laws
Companion:
object
object IndexedTraversalTests
Companion:
class
trait IsoTests[S, A] extends Laws
Companion:
object
object IsoTests
Companion:
class
trait LensTests[S, I, A] extends Laws
Companion:
object
object LensTests
Companion:
class
trait NonEmptyConsTests[S, H, T] extends Laws
Companion:
object
object NonEmptyConsTests
Companion:
class
trait PrefixedTests[S, T] extends Laws
Companion:
object
object PrefixedTests
Companion:
class
trait PrismTests[S, T, A] extends Laws
Companion:
object
object PrismTests
Companion:
class
trait ReverseTests[S, T] extends Laws
Companion:
object
object ReverseTests
Companion:
class
trait SetterTests[S, A] extends Laws
Companion:
object
object SetterTests
Companion:
class
trait SuffixedTests[S, T] extends Laws
Companion:
object
object SuffixedTests
Companion:
class
trait TraversalTests[S, A] extends Laws
Companion:
object
object TraversalTests
Companion:
class
trait TraverseWithIndexTests[F[_], I] extends FunctorWithIndexTests[F, I] with FoldableWithIndexTests[F, I]
Companion:
object
object TraverseWithIndexTests
Companion:
class
trait WanderTests[F[_, _]] extends Laws
Companion:
object
object WanderTests
Companion:
class