cats-effect-laws
3.6-e9aeb8c
API
Generated with
cats-effect-laws/cats.effect.laws

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 Object
trait Matchable
class Any
Show all
object AsyncLaws

Attributes

Companion
trait
Source
AsyncLaws.scala
Supertypes
class Object
trait Matchable
class 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 Laws
class Object
trait Matchable
class Any
Show all
object AsyncTests

Attributes

Companion
trait
Source
AsyncTests.scala
Supertypes
class Object
trait Matchable
class Any
Self type
AsyncTests.type
trait ClockLaws[F[_]]

Attributes

Companion
object
Source
ClockLaws.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait GenTemporalLaws[F, E]
trait AsyncLaws[F]
trait SyncLaws[F]
object ClockLaws

Attributes

Companion
trait
Source
ClockLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
ClockLaws.type
trait ClockTests[F[_]] extends Laws

Attributes

Companion
object
Source
ClockTests.scala
Supertypes
trait Laws
class Object
trait Matchable
class Any
Known subtypes
trait GenTemporalTests[F, E]
trait AsyncTests[F]
trait SyncTests[F]
object ClockTests

Attributes

Companion
trait
Source
ClockTests.scala
Supertypes
class Object
trait Matchable
class 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 MonadCancelLaws[F, E]
trait MonadErrorLaws[F, E]
trait MonadLaws[F]
trait FlatMapLaws[F]
trait ApplicativeErrorLaws[F, E]
trait ApplicativeLaws[F]
trait ApplyLaws[F]
trait SemigroupalLaws[F]
trait FunctorLaws[F]
trait InvariantLaws[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait GenTemporalLaws[F, E]
trait AsyncLaws[F]
object GenSpawnLaws

Attributes

Companion
trait
Source
GenSpawnLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait GenSpawnTests[F[_], E] extends MonadCancelTests[F, E], UniqueTests[F]

Attributes

Companion
object
Source
GenSpawnTests.scala
Supertypes
trait UniqueTests[F]
trait MonadCancelTests[F, E]
trait MonadErrorTests[F, E]
trait MonadTests[F]
trait FlatMapTests[F]
trait ApplicativeErrorTests[F, E]
trait ApplicativeTests[F]
trait ApplyTests[F]
trait SemigroupalTests[F]
trait FunctorTests[F]
trait InvariantTests[F]
trait Laws
class Object
trait Matchable
class Any
Show all
Known subtypes
trait GenTemporalTests[F, E]
trait AsyncTests[F]
object GenSpawnTests

Attributes

Companion
trait
Source
GenSpawnTests.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait GenTemporalLaws[F[_], E] extends GenSpawnLaws[F, E], ClockLaws[F]

Attributes

Companion
object
Source
GenTemporalLaws.scala
Supertypes
trait ClockLaws[F]
trait GenSpawnLaws[F, E]
trait UniqueLaws[F]
trait MonadCancelLaws[F, E]
trait MonadErrorLaws[F, E]
trait MonadLaws[F]
trait FlatMapLaws[F]
trait ApplicativeErrorLaws[F, E]
trait ApplicativeLaws[F]
trait ApplyLaws[F]
trait SemigroupalLaws[F]
trait FunctorLaws[F]
trait InvariantLaws[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AsyncLaws[F]
object GenTemporalLaws

Attributes

Companion
trait
Source
GenTemporalLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait GenTemporalTests[F[_], E] extends GenSpawnTests[F, E], ClockTests[F]

Attributes

Companion
object
Source
GenTemporalTests.scala
Supertypes
trait ClockTests[F]
trait GenSpawnTests[F, E]
trait UniqueTests[F]
trait MonadCancelTests[F, E]
trait MonadErrorTests[F, E]
trait MonadTests[F]
trait FlatMapTests[F]
trait ApplicativeErrorTests[F, E]
trait ApplicativeTests[F]
trait ApplyTests[F]
trait SemigroupalTests[F]
trait FunctorTests[F]
trait InvariantTests[F]
trait Laws
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AsyncTests[F]
object GenTemporalTests

Attributes

Companion
trait
Source
GenTemporalTests.scala
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait IsEq[A]

Attributes

Companion
object
Source
IsEq.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Assert[A]
object IsEq

Attributes

Companion
trait
Source
IsEq.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
IsEq.type
final implicit class IsEqArrow[A](lhs: A) extends AnyVal

Attributes

Source
package.scala
Supertypes
class AnyVal
trait Matchable
class Any
trait MonadCancelLaws[F[_], E] extends MonadErrorLaws[F, E]

Attributes

Companion
object
Source
MonadCancelLaws.scala
Supertypes
trait MonadErrorLaws[F, E]
trait MonadLaws[F]
trait FlatMapLaws[F]
trait ApplicativeErrorLaws[F, E]
trait ApplicativeLaws[F]
trait ApplyLaws[F]
trait SemigroupalLaws[F]
trait FunctorLaws[F]
trait InvariantLaws[F]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait GenSpawnLaws[F, E]
trait GenTemporalLaws[F, E]
trait AsyncLaws[F]
trait SyncLaws[F]
object MonadCancelLaws

Attributes

Companion
trait
Source
MonadCancelLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait MonadCancelTests[F[_], E] extends MonadErrorTests[F, E]

Attributes

Companion
object
Source
MonadCancelTests.scala
Supertypes
trait MonadErrorTests[F, E]
trait MonadTests[F]
trait FlatMapTests[F]
trait ApplicativeErrorTests[F, E]
trait ApplicativeTests[F]
trait ApplyTests[F]
trait SemigroupalTests[F]
trait FunctorTests[F]
trait InvariantTests[F]
trait Laws
class Object
trait Matchable
class Any
Show all
Known subtypes
trait GenSpawnTests[F, E]
trait GenTemporalTests[F, E]
trait AsyncTests[F]
trait SyncTests[F]
object MonadCancelTests

Attributes

Companion
trait
Source
MonadCancelTests.scala
Supertypes
class Object
trait Matchable
class Any
Self 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 Object
trait Matchable
class Any
Show all
Known subtypes
trait AsyncLaws[F]
object SyncLaws

Attributes

Companion
trait
Source
SyncLaws.scala
Supertypes
class Object
trait Matchable
class 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 Laws
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AsyncTests[F]
object SyncTests

Attributes

Companion
trait
Source
SyncTests.scala
Supertypes
class Object
trait Matchable
class Any
Self type
SyncTests.type
final case class Tolerance[+A](value: A)

Attributes

Companion
object
Source
Tolerance.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Tolerance

Attributes

Companion
class
Source
Tolerance.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Tolerance.type
trait UniqueLaws[F[_]]

Attributes

Companion
object
Source
UniqueLaws.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait GenSpawnLaws[F, E]
trait GenTemporalLaws[F, E]
trait AsyncLaws[F]
trait SyncLaws[F]
object UniqueLaws

Attributes

Companion
trait
Source
UniqueLaws.scala
Supertypes
class Object
trait Matchable
class Any
Self type
UniqueLaws.type
trait UniqueTests[F[_]] extends Laws

Attributes

Companion
object
Source
UniqueTests.scala
Supertypes
trait Laws
class Object
trait Matchable
class Any
Known subtypes
trait GenSpawnTests[F, E]
trait GenTemporalTests[F, E]
trait AsyncTests[F]
trait SyncTests[F]
object UniqueTests

Attributes

Companion
trait
Source
UniqueTests.scala
Supertypes
class Object
trait Matchable
class Any
Self type

Implicits

Implicits

final implicit def IsEqArrow[A](lhs: A): IsEqArrow[A]

Attributes

Source
package.scala
Generated with