cats.tagless.laws.discipline
package cats.tagless.laws.discipline
Members list
Type members
Classlikes
trait ApplyKTests[F[_[_]]] extends FunctorKTests[F], SemigroupalKTests[F]
Attributes
- Companion
- object
- Source
- ApplyKTests.scala
- Supertypes
-
trait SemigroupalKTests[F]trait FunctorKTests[F]trait InvariantKTests[F]trait Lawsclass Objecttrait Matchableclass AnyShow all
object ApplyKTests
Attributes
- Companion
- trait
- Source
- ApplyKTests.scala
- Supertypes
- Self type
-
ApplyKTests.type
trait AspectTests[F[_[_]], Dom[_], Cod[_]] extends InstrumentTests[F]
Attributes
- Companion
- object
- Source
- AspectTests.scala
- Supertypes
-
trait InstrumentTests[F]trait FunctorKTests[F]trait InvariantKTests[F]trait Lawsclass Objecttrait Matchableclass AnyShow all
object AspectTests
Attributes
- Companion
- trait
- Source
- AspectTests.scala
- Supertypes
- Self type
-
AspectTests.type
trait ContravariantKTests[F[_[_]]] extends InvariantKTests[F]
Attributes
- Companion
- object
- Source
- ContravariantKTests.scala
- Supertypes
object ContravariantKTests
Attributes
- Companion
- trait
- Source
- ContravariantKTests.scala
- Supertypes
- Self type
-
ContravariantKTests.type
trait FunctorKTests[F[_[_]]] extends InvariantKTests[F]
Attributes
- Companion
- object
- Source
- FunctorKTests.scala
- Supertypes
- Known subtypes
object FunctorKTests
Attributes
- Companion
- trait
- Source
- FunctorKTests.scala
- Supertypes
- Self type
-
FunctorKTests.type
trait InstrumentTests[F[_[_]]] extends FunctorKTests[F]
Attributes
- Companion
- object
- Source
- InstrumentTests.scala
- Supertypes
-
trait FunctorKTests[F]trait InvariantKTests[F]trait Lawsclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
object InstrumentTests
Attributes
- Companion
- trait
- Source
- InstrumentTests.scala
- Supertypes
- Self type
-
InstrumentTests.type
trait InvariantKTests[F[_[_]]] extends Laws
Attributes
- Companion
- object
- Source
- InvariantKTests.scala
- Supertypes
- Known subtypes
object InvariantKTests
Attributes
- Companion
- trait
- Source
- InvariantKTests.scala
- Supertypes
- Self type
-
InvariantKTests.type
trait SemigroupalKTests[F[_[_]]] extends Laws
Attributes
- Companion
- object
- Source
- SemigroupalKTests.scala
- Supertypes
- Known subtypes
-
trait ApplyKTests[F]
object SemigroupalKTests
Attributes
- Companion
- trait
- Source
- SemigroupalKTests.scala
- Supertypes
- Self type
-
SemigroupalKTests.type
In this article