cats.effect.laws
package cats.effect.laws
Members list
Concise view
Type members
Classlikes
Attributes
- Companion:
- object
- Source:
- AsyncLaws.scala
- Graph
- 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 Any
object AsyncLaws
Attributes
- Companion:
- trait
- Source:
- AsyncLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- AsyncLaws.type
Attributes
- Companion:
- object
- Source:
- AsyncTests.scala
- Graph
- 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 Any
object AsyncTests
Attributes
- Companion:
- trait
- Source:
- AsyncTests.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- AsyncTests.type
Attributes
- Companion:
- object
- Source:
- ClockLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
object ClockLaws
Attributes
- Companion:
- trait
- Source:
- ClockLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- ClockLaws.type
Attributes
- Companion:
- object
- Source:
- ClockTests.scala
- Graph
- Supertypes
- Known subtypes
object ClockTests
Attributes
- Companion:
- trait
- Source:
- ClockTests.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- ClockTests.type
Attributes
- Companion:
- object
- Source:
- GenSpawnLaws.scala
- Graph
- 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 Any
- Known subtypes
- trait AsyncLaws[F]
object GenSpawnLaws
Attributes
- Companion:
- trait
- Source:
- GenSpawnLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- GenSpawnLaws.type
Attributes
- Companion:
- object
- Source:
- GenSpawnTests.scala
- Graph
- 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 Any
- Known subtypes
- trait AsyncTests[F]
object GenSpawnTests
Attributes
- Companion:
- trait
- Source:
- GenSpawnTests.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- GenSpawnTests.type
Attributes
- Companion:
- object
- Source:
- GenTemporalLaws.scala
- Graph
- 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 Any
- Known subtypes
- trait AsyncLaws[F]
object GenTemporalLaws
Attributes
- Companion:
- trait
- Source:
- GenTemporalLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- GenTemporalLaws.type
Attributes
- Companion:
- object
- Source:
- GenTemporalTests.scala
- Graph
- 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 Any
- Known subtypes
- trait AsyncTests[F]
object GenTemporalTests
Attributes
- Companion:
- trait
- Source:
- GenTemporalTests.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- GenTemporalTests.type
Attributes
- Companion:
- object
- Source:
- IsEq.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- class Assert[A]
object IsEq
Attributes
- Companion:
- trait
- Source:
- IsEq.scala
- Graph
- Supertypes
- trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
- IsEq.type
Attributes
- Source:
- package.scala
- Graph
- Supertypes
- class AnyValtrait Matchableclass Any
Attributes
- Companion:
- object
- Source:
- MonadCancelLaws.scala
- Graph
- 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 Any
- Known subtypes
object MonadCancelLaws
Attributes
- Companion:
- trait
- Source:
- MonadCancelLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- MonadCancelLaws.type
Attributes
- Companion:
- object
- Source:
- MonadCancelTests.scala
- Graph
- 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 Any
- Known subtypes
object MonadCancelTests
Attributes
- Companion:
- trait
- Source:
- MonadCancelTests.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- MonadCancelTests.type
Attributes
- Companion:
- object
- Source:
- SyncLaws.scala
- Graph
- 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 Any
- Known subtypes
- trait AsyncLaws[F]
object SyncLaws
Attributes
- Companion:
- trait
- Source:
- SyncLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- SyncLaws.type
Attributes
- Companion:
- object
- Source:
- SyncTests.scala
- Graph
- 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 Any
- Known subtypes
- trait AsyncTests[F]
object SyncTests
Attributes
- Companion:
- trait
- Source:
- SyncTests.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- SyncTests.type
Attributes
- Companion:
- object
- Source:
- Tolerance.scala
- Graph
- Supertypes
object Tolerance
Attributes
- Companion:
- class
- Source:
- Tolerance.scala
- Graph
- Supertypes
- trait Producttrait Mirrorclass Objecttrait Matchableclass Any
- Self type
- Tolerance.type
Attributes
- Companion:
- object
- Source:
- UniqueLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
object UniqueLaws
Attributes
- Companion:
- trait
- Source:
- UniqueLaws.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- UniqueLaws.type
Attributes
- Companion:
- object
- Source:
- UniqueTests.scala
- Graph
- Supertypes
- Known subtypes
object UniqueTests
Attributes
- Companion:
- trait
- Source:
- UniqueTests.scala
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- UniqueTests.type
Implicits
Implicits
Attributes
- Source:
- package.scala