package laws
- Source
- package.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- laws
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- trait AsyncLaws[F[_]] extends GenTemporalLaws[F, Throwable] with SyncLaws[F]
- trait AsyncTests[F[_]] extends GenTemporalTests[F, Throwable] with SyncTests[F]
- trait ClockLaws[F[_]] extends AnyRef
- trait ClockTests[F[_]] extends Laws
- trait GenSpawnLaws[F[_], E] extends MonadCancelLaws[F, E] with UniqueLaws[F]
- trait GenSpawnTests[F[_], E] extends MonadCancelTests[F, E] with UniqueTests[F]
- trait GenTemporalLaws[F[_], E] extends GenSpawnLaws[F, E] with ClockLaws[F]
- trait GenTemporalTests[F[_], E] extends GenSpawnTests[F, E] with ClockTests[F]
- sealed trait IsEq[A] extends AnyRef
- implicit final class IsEqArrow[A] extends AnyVal
- trait MonadCancelLaws[F[_], E] extends MonadErrorLaws[F, E]
- trait MonadCancelTests[F[_], E] extends MonadErrorTests[F, E]
- trait SyncLaws[F[_]] extends MonadCancelLaws[F, Throwable] with ClockLaws[F] with UniqueLaws[F]
- trait SyncTests[F[_]] extends MonadCancelTests[F, Throwable] with ClockTests[F] with UniqueTests[F]
- final case class Tolerance[+A](value: A) extends Product with Serializable
- trait UniqueLaws[F[_]] extends AnyRef
- trait UniqueTests[F[_]] extends Laws
Value Members
- object AsyncLaws
- object AsyncTests
- object ClockLaws
- object ClockTests
- object GenSpawnLaws
- object GenSpawnTests
- object GenTemporalLaws
- object GenTemporalTests
- object IsEq extends IsEqLowPriorityImplicits
- object MonadCancelLaws
- object MonadCancelTests
- object SyncLaws
- object SyncTests
- object Tolerance extends Serializable
- object UniqueLaws
- object UniqueTests