cats-effect-laws
cats-effect-laws
cats.effect
cats.effect.laws
cats-effect-laws
/
cats.effect.laws
cats.effect.laws
package
cats.effect.laws
Type members
Type members
Classlikes
trait
AsyncLaws
[F <: ([_$1] =>>
Any
)] extends
GenTemporalLaws
[
F
,
Throwable
] with
SyncLaws
[
F
]
Companion
object
object
AsyncLaws
Companion
class
trait
AsyncTests
[F <: ([_$1] =>>
Any
)] extends
GenTemporalTests
[
F
,
Throwable
] with
SyncTests
[
F
]
Companion
object
object
AsyncTests
Companion
class
trait
ClockLaws
[F <: ([_$1] =>>
Any
)]
Companion
object
object
ClockLaws
Companion
class
trait
ClockTests
[F <: ([_$1] =>>
Any
)] extends
Laws
Companion
object
object
ClockTests
Companion
class
trait
GenSpawnLaws
[F <: ([_$1] =>>
Any
), E] extends
MonadCancelLaws
[
F
,
E
]
Companion
object
object
GenSpawnLaws
Companion
class
trait
GenSpawnTests
[F <: ([_$1] =>>
Any
), E] extends
MonadCancelTests
[
F
,
E
]
Companion
object
object
GenSpawnTests
Companion
class
trait
GenTemporalLaws
[F <: ([_$1] =>>
Any
), E] extends
GenSpawnLaws
[
F
,
E
] with
ClockLaws
[
F
]
Companion
object
object
GenTemporalLaws
Companion
class
trait
GenTemporalTests
[F <: ([_$1] =>>
Any
), E] extends
GenSpawnTests
[
F
,
E
] with
ClockTests
[
F
]
Companion
object
object
GenTemporalTests
Companion
class
sealed
trait
IsEq
[A]
Companion
object
object
IsEq
extends
IsEqLowPriorityImplicits
Companion
class
final
class
IsEqArrow
[A](lhs:
A
) extends
AnyVal
trait
MonadCancelLaws
[F <: ([_$1] =>>
Any
), E] extends
MonadErrorLaws
[
F
,
E
]
Companion
object
object
MonadCancelLaws
Companion
class
trait
MonadCancelTests
[F <: ([_$1] =>>
Any
), E] extends
MonadErrorTests
[
F
,
E
]
Companion
object
object
MonadCancelTests
Companion
class
trait
SyncLaws
[F <: ([_$1] =>>
Any
)] extends
MonadErrorLaws
[
F
,
Throwable
] with
ClockLaws
[
F
]
Companion
object
object
SyncLaws
Companion
class
trait
SyncTests
[F <: ([_$1] =>>
Any
)] extends
MonadErrorTests
[
F
,
Throwable
] with
ClockTests
[
F
]
Companion
object
object
SyncTests
Companion
class
final case
class
Tolerance
[+A](value:
A
)
Companion
object
object
Tolerance
Companion
class