cats.effect.laws
package cats.effect.laws
Members list
Type members
Classlikes
trait AsyncLaws[F[_]] extends GenTemporalLaws[F, Throwable], SyncLaws[F]
Attributes
- Companion
- object
- Source
- AsyncLaws.scala
- Supertypes
-
trait SyncLaws[F]trait ClockLaws[F]trait UniqueLaws[F]trait MonadLaws[F]trait FlatMapLaws[F]trait ApplicativeLaws[F]trait ApplyLaws[F]trait SemigroupalLaws[F]trait FunctorLaws[F]trait InvariantLaws[F]class Objecttrait Matchableclass AnyShow all
object AsyncLaws
Attributes
- Companion
- trait
- Source
- AsyncLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
AsyncLaws.type
trait AsyncTests[F[_]] extends GenTemporalTests[F, Throwable], SyncTests[F]
Attributes
- Companion
- object
- Source
- AsyncTests.scala
- Supertypes
-
trait SyncTests[F]trait ClockTests[F]trait UniqueTests[F]trait MonadTests[F]trait FlatMapTests[F]trait ApplicativeTests[F]trait ApplyTests[F]trait SemigroupalTests[F]trait FunctorTests[F]trait InvariantTests[F]trait Lawsclass Objecttrait Matchableclass AnyShow all
object AsyncTests
Attributes
- Companion
- trait
- Source
- AsyncTests.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
AsyncTests.type
Attributes
- Companion
- object
- Source
- ClockLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
object ClockLaws
Attributes
- Companion
- trait
- Source
- ClockLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ClockLaws.type
trait ClockTests[F[_]] extends Laws
Attributes
- Companion
- object
- Source
- ClockTests.scala
- Supertypes
- Known subtypes
object ClockTests
Attributes
- Companion
- trait
- Source
- ClockTests.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
ClockTests.type
trait GenSpawnLaws[F[_], E] extends MonadCancelLaws[F, E], UniqueLaws[F]
Attributes
- Companion
- object
- Source
- GenSpawnLaws.scala
- Supertypes
-
trait UniqueLaws[F]trait MonadLaws[F]trait FlatMapLaws[F]trait ApplicativeLaws[F]trait ApplyLaws[F]trait SemigroupalLaws[F]trait FunctorLaws[F]trait InvariantLaws[F]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait AsyncLaws[F]
object GenSpawnLaws
Attributes
- Companion
- trait
- Source
- GenSpawnLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
GenSpawnLaws.type
trait GenSpawnTests[F[_], E] extends MonadCancelTests[F, E], UniqueTests[F]
Attributes
- Companion
- object
- Source
- GenSpawnTests.scala
- Supertypes
-
trait UniqueTests[F]trait MonadTests[F]trait FlatMapTests[F]trait ApplicativeTests[F]trait ApplyTests[F]trait SemigroupalTests[F]trait FunctorTests[F]trait InvariantTests[F]trait Lawsclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait AsyncTests[F]
object GenSpawnTests
Attributes
- Companion
- trait
- Source
- GenSpawnTests.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
GenSpawnTests.type
trait GenTemporalLaws[F[_], E] extends GenSpawnLaws[F, E], ClockLaws[F]
Attributes
- Companion
- object
- Source
- GenTemporalLaws.scala
- Supertypes
-
trait ClockLaws[F]trait UniqueLaws[F]trait MonadLaws[F]trait FlatMapLaws[F]trait ApplicativeLaws[F]trait ApplyLaws[F]trait SemigroupalLaws[F]trait FunctorLaws[F]trait InvariantLaws[F]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait AsyncLaws[F]
object GenTemporalLaws
Attributes
- Companion
- trait
- Source
- GenTemporalLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
GenTemporalLaws.type
trait GenTemporalTests[F[_], E] extends GenSpawnTests[F, E], ClockTests[F]
Attributes
- Companion
- object
- Source
- GenTemporalTests.scala
- Supertypes
-
trait ClockTests[F]trait UniqueTests[F]trait MonadTests[F]trait FlatMapTests[F]trait ApplicativeTests[F]trait ApplyTests[F]trait SemigroupalTests[F]trait FunctorTests[F]trait InvariantTests[F]trait Lawsclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait AsyncTests[F]
object GenTemporalTests
Attributes
- Companion
- trait
- Source
- GenTemporalTests.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
GenTemporalTests.type
Attributes
- Companion
- object
- Source
- IsEq.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class Assert[A]
object IsEq
Attributes
- Companion
- trait
- Source
- IsEq.scala
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
IsEq.type
final implicit class IsEqArrow[A](lhs: A) extends AnyVal
Attributes
- Source
- package.scala
- Supertypes
-
class AnyValtrait Matchableclass Any
trait MonadCancelLaws[F[_], E] extends MonadErrorLaws[F, E]
Attributes
- Companion
- object
- Source
- MonadCancelLaws.scala
- Supertypes
-
trait MonadLaws[F]trait FlatMapLaws[F]trait ApplicativeLaws[F]trait ApplyLaws[F]trait SemigroupalLaws[F]trait FunctorLaws[F]trait InvariantLaws[F]class Objecttrait Matchableclass AnyShow all
- Known subtypes
object MonadCancelLaws
Attributes
- Companion
- trait
- Source
- MonadCancelLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
MonadCancelLaws.type
trait MonadCancelTests[F[_], E] extends MonadErrorTests[F, E]
Attributes
- Companion
- object
- Source
- MonadCancelTests.scala
- Supertypes
-
trait MonadTests[F]trait FlatMapTests[F]trait ApplicativeTests[F]trait ApplyTests[F]trait SemigroupalTests[F]trait FunctorTests[F]trait InvariantTests[F]trait Lawsclass Objecttrait Matchableclass AnyShow all
- Known subtypes
object MonadCancelTests
Attributes
- Companion
- trait
- Source
- MonadCancelTests.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
MonadCancelTests.type
trait SyncLaws[F[_]] extends MonadCancelLaws[F, Throwable], ClockLaws[F], UniqueLaws[F]
Attributes
- Companion
- object
- Source
- SyncLaws.scala
- Supertypes
-
trait UniqueLaws[F]trait ClockLaws[F]trait MonadLaws[F]trait FlatMapLaws[F]trait ApplicativeLaws[F]trait ApplyLaws[F]trait SemigroupalLaws[F]trait FunctorLaws[F]trait InvariantLaws[F]class Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait AsyncLaws[F]
object SyncLaws
Attributes
- Companion
- trait
- Source
- SyncLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SyncLaws.type
trait SyncTests[F[_]] extends MonadCancelTests[F, Throwable], ClockTests[F], UniqueTests[F]
Attributes
- Companion
- object
- Source
- SyncTests.scala
- Supertypes
-
trait UniqueTests[F]trait ClockTests[F]trait MonadTests[F]trait FlatMapTests[F]trait ApplicativeTests[F]trait ApplyTests[F]trait SemigroupalTests[F]trait FunctorTests[F]trait InvariantTests[F]trait Lawsclass Objecttrait Matchableclass AnyShow all
- Known subtypes
-
trait AsyncTests[F]
object SyncTests
Attributes
- Companion
- trait
- Source
- SyncTests.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
SyncTests.type
Attributes
- Companion
- object
- Source
- Tolerance.scala
- Supertypes
object Tolerance
Attributes
- Companion
- class
- Source
- Tolerance.scala
- Supertypes
-
trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
Tolerance.type
Attributes
- Companion
- object
- Source
- UniqueLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
object UniqueLaws
Attributes
- Companion
- trait
- Source
- UniqueLaws.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
UniqueLaws.type
trait UniqueTests[F[_]] extends Laws
Attributes
- Companion
- object
- Source
- UniqueTests.scala
- Supertypes
- Known subtypes
object UniqueTests
Attributes
- Companion
- trait
- Source
- UniqueTests.scala
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
UniqueTests.type
Implicits
Implicits
Attributes
- Source
- package.scala
In this article