trait AsyncLaws[F[_]] extends GenTemporalLaws[F, Throwable] with SyncLaws[F]
- Source
- AsyncLaws.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- AsyncLaws
- SyncLaws
- GenTemporalLaws
- ClockLaws
- GenSpawnLaws
- UniqueLaws
- MonadCancelLaws
- MonadErrorLaws
- MonadLaws
- FlatMapLaws
- ApplicativeErrorLaws
- ApplicativeLaws
- ApplyLaws
- SemigroupalLaws
- FunctorLaws
- InvariantLaws
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Abstract Value Members
- implicit abstract val F: kernel.Async[F]
- Definition Classes
- AsyncLaws → SyncLaws → GenTemporalLaws → ClockLaws → GenSpawnLaws → UniqueLaws → MonadCancelLaws → MonadErrorLaws → MonadLaws → FlatMapLaws → ApplicativeErrorLaws → ApplicativeLaws → ApplyLaws → SemigroupalLaws → FunctorLaws → InvariantLaws
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def adaptErrorPure[A](a: A, f: (Throwable) => Throwable): laws.IsEq[F[A]]
- Definition Classes
- MonadErrorLaws → ApplicativeErrorLaws
- def adaptErrorRaise[A](e: Throwable, f: (Throwable) => Throwable): laws.IsEq[F[A]]
- Definition Classes
- MonadErrorLaws → ApplicativeErrorLaws
- def apProductConsistent[A, B](fa: F[A], f: F[(A) => B]): laws.IsEq[F[B]]
- Definition Classes
- ApplicativeLaws
- def applicativeComposition[A, B, C](fa: F[A], fab: F[(A) => B], fbc: F[(B) => C]): laws.IsEq[F[C]]
- Definition Classes
- ApplicativeLaws
- def applicativeErrorHandle[A](e: Throwable, f: (Throwable) => A): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def applicativeErrorHandleWith[A](e: Throwable, f: (Throwable) => F[A]): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def applicativeHomomorphism[A, B](a: A, f: (A) => B): laws.IsEq[F[B]]
- Definition Classes
- ApplicativeLaws
- def applicativeIdentity[A](fa: F[A]): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeLaws
- def applicativeInterchange[A, B](a: A, ff: F[(A) => B]): laws.IsEq[F[B]]
- Definition Classes
- ApplicativeLaws
- def applicativeMap[A, B](fa: F[A], f: (A) => B): laws.IsEq[F[B]]
- Definition Classes
- ApplicativeLaws
- def applicativeUnit[A](a: A): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeLaws
- def applyComposition[A, B, C](fa: F[A], fab: F[(A) => B], fbc: F[(B) => C]): laws.IsEq[F[C]]
- Definition Classes
- ApplyLaws
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def asyncCancelTokenIsUnsequencedOnCompletion[A](a: A, fu: F[Unit]): IsEq[F[A]]
- def asyncCancelTokenIsUnsequencedOnError[A](e: Throwable, fu: F[Unit]): IsEq[F[A]]
- def asyncCheckAttemptImmediateIsPure[A](a: A): IsEq[F[A]]
- def asyncCheckAttemptSuspendedLeftIsAsyncLeft[A](e: Throwable, fu: F[Unit]): IsEq[F[A]]
- def asyncCheckAttemptSuspendedRightIsAsyncRight[A](a: A, fu: F[Unit]): IsEq[F[A]]
- def asyncLeftIsUncancelableSequencedRaiseError[A](e: Throwable, fu: F[Unit]): IsEq[F[A]]
- def asyncRepeatedCallbackIgnored[A](a: A): IsEq[F[A]]
- def asyncRightIsUncancelableSequencedPure[A](a: A, fu: F[Unit]): IsEq[F[A]]
- def attemptConsistentWithAttemptT[A](fa: F[A]): laws.IsEq[EitherT[F, Throwable, A]]
- Definition Classes
- ApplicativeErrorLaws
- def attemptFromEitherConsistentWithPure[A](eab: Either[Throwable, A]): laws.IsEq[F[Either[Throwable, A]]]
- Definition Classes
- ApplicativeErrorLaws
- def canceledAssociatesLeftOverFlatMap[A](fa: F[A]): IsEq[F[Unit]]
- Definition Classes
- MonadCancelLaws
- def canceledSequencesOnCancelInOrder(fin1: F[Unit], fin2: F[Unit]): IsEq[F[Unit]]
- Definition Classes
- MonadCancelLaws
- def canceledUnitIdentity: IsEq[F[Unit]]
- Definition Classes
- MonadCancelLaws
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def covariantComposition[A, B, C](fa: F[A], f: (A) => B, g: (B) => C): laws.IsEq[F[C]]
- Definition Classes
- FunctorLaws
- def covariantIdentity[A](fa: F[A]): laws.IsEq[F[A]]
- Definition Classes
- FunctorLaws
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def evalOnCanceledIdentity(ec: ExecutionContext): IsEq[F[Unit]]
- def evalOnLocalPure(ec: ExecutionContext): IsEq[F[ExecutionContext]]
- def evalOnNeverIdentity(ec: ExecutionContext): IsEq[F[Unit]]
- def evalOnPureIdentity[A](a: A, ec: ExecutionContext): IsEq[F[A]]
- def evalOnRaiseErrorIdentity(e: Throwable, ec: ExecutionContext): IsEq[F[Unit]]
- def executionContextCommutativity[A](fa: F[A]): IsEq[F[ExecutionContext]]
- def fiberCancelationIsOutcomeCanceled: IsEq[F[kernel.Outcome[F, Throwable, Unit]]]
- Definition Classes
- GenSpawnLaws
- def fiberCanceledIsOutcomeCanceled: IsEq[F[kernel.Outcome[F, Throwable, Unit]]]
- Definition Classes
- GenSpawnLaws
- def fiberErrorIsOutcomeErrored(e: Throwable): IsEq[F[kernel.Outcome[F, Throwable, Unit]]]
- Definition Classes
- GenSpawnLaws
- def fiberJoinIsGuaranteeCase[A](fa0: F[A], f: (kernel.Outcome[F, Throwable, A]) => F[Unit]): IsEq[F[A]]
- Definition Classes
- GenSpawnLaws
- def fiberNeverIsNever: IsEq[F[kernel.Outcome[F, Throwable, Unit]]]
- Definition Classes
- GenSpawnLaws
- def fiberPureIsOutcomeCompletedPure[A](a: A): IsEq[F[kernel.Outcome[F, Throwable, A]]]
- Definition Classes
- GenSpawnLaws
- def fiberStartOfNeverIsUnit: IsEq[F[Unit]]
- Definition Classes
- GenSpawnLaws
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def flatMapAssociativity[A, B, C](fa: F[A], f: (A) => F[B], g: (B) => F[C]): laws.IsEq[F[C]]
- Definition Classes
- FlatMapLaws
- def flatMapConsistentApply[A, B](fa: F[A], fab: F[(A) => B]): laws.IsEq[F[B]]
- Definition Classes
- FlatMapLaws
- def flatMapFromTailRecMConsistency[A, B](fa: F[A], fn: (A) => F[B]): laws.IsEq[F[B]]
- Definition Classes
- FlatMapLaws
- def forceRAssociativity[A, B, C](fa: F[A], fb: F[B], fc: F[C]): IsEq[F[C]]
- Definition Classes
- MonadCancelLaws
- def forceRCanceledShortCircuits[A](fa: F[A]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def forceRDiscardsError[A](e: Throwable, fa: F[A]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def forceRDiscardsPure[A, B](a: A, fa: F[B]): IsEq[F[B]]
- Definition Classes
- MonadCancelLaws
- def forceRNeverIsNever[A](fa: F[A]): IsEq[F[A]]
- Definition Classes
- GenSpawnLaws
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def guaranteeIsGuaranteeCase[A](fa: F[A], fin: F[Unit]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def handleErrorConsistentWithRecover[A](fa: F[A], f: (Throwable) => A): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def handleErrorPure[A](a: A, f: (Throwable) => A): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def handleErrorWithConsistentWithRecoverWith[A](fa: F[A], f: (Throwable) => F[A]): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def handleErrorWithPure[A](a: A, f: (Throwable) => F[A]): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def invariantComposition[A, B, C](fa: F[A], f1: (A) => B, f2: (B) => A, g1: (B) => C, g2: (C) => B): laws.IsEq[F[C]]
- Definition Classes
- InvariantLaws
- def invariantIdentity[A](fa: F[A]): laws.IsEq[F[A]]
- Definition Classes
- InvariantLaws
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def kleisliAssociativity[A, B, C, D](f: (A) => F[B], g: (B) => F[C], h: (C) => F[D], a: A): laws.IsEq[F[D]]
- Definition Classes
- FlatMapLaws
- def kleisliLeftIdentity[A, B](a: A, f: (A) => F[B]): laws.IsEq[F[B]]
- Definition Classes
- MonadLaws
- def kleisliRightIdentity[A, B](a: A, f: (A) => F[B]): laws.IsEq[F[B]]
- Definition Classes
- MonadLaws
- def map2EvalConsistency[A, B, C](fa: F[A], fb: F[B], f: (A, B) => C): laws.IsEq[F[C]]
- Definition Classes
- ApplyLaws
- def map2ProductConsistency[A, B, C](fa: F[A], fb: F[B], f: (A, B) => C): laws.IsEq[F[C]]
- Definition Classes
- ApplyLaws
- def mapFlatMapCoherence[A, B](fa: F[A], f: (A) => B): laws.IsEq[F[B]]
- Definition Classes
- MonadLaws
- def monadErrorEnsureConsistency[A](fa: F[A], e: Throwable, p: (A) => Boolean): laws.IsEq[F[A]]
- Definition Classes
- MonadErrorLaws
- def monadErrorEnsureOrConsistency[A](fa: F[A], e: (A) => Throwable, p: (A) => Boolean): laws.IsEq[F[A]]
- Definition Classes
- MonadErrorLaws
- def monadErrorLeftZero[A, B](e: Throwable, f: (A) => F[B]): laws.IsEq[F[B]]
- Definition Classes
- MonadErrorLaws
- def monadLeftIdentity[A, B](a: A, f: (A) => F[B]): laws.IsEq[F[B]]
- Definition Classes
- MonadLaws
- def monadRightIdentity[A](fa: F[A]): laws.IsEq[F[A]]
- Definition Classes
- MonadLaws
- def monoidalLeftIdentity[A](fa: F[A]): (F[(Unit, A)], F[A])
- Definition Classes
- ApplicativeLaws
- def monoidalRightIdentity[A](fa: F[A]): (F[(A, Unit)], F[A])
- Definition Classes
- ApplicativeLaws
- def monotonicSleepSumIdentity(delta: FiniteDuration): IsEq[F[FiniteDuration]]
- Definition Classes
- GenTemporalLaws
- def monotonicity: F[Boolean]
- Definition Classes
- ClockLaws
- def mproductConsistency[A, B](fa: F[A], fb: (A) => F[B]): laws.IsEq[F[(A, B)]]
- Definition Classes
- FlatMapLaws
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def neverDominatesOverFlatMap[A](fa: F[A]): IsEq[F[A]]
- Definition Classes
- GenSpawnLaws
- def neverIsDerivedFromAsync[A]: IsEq[F[A]]
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def onCancelAssociatesOverUncancelableBoundary[A](fa: F[A], fin: F[Unit]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def onCancelImpliesUncancelable[A](fa: F[A], fin1: F[Unit], fin2: F[Unit]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def onErrorPure[A](a: A, f: (Throwable) => F[Unit]): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def onErrorRaise[A](fa: F[A], e: Throwable, fb: F[Unit]): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def productLConsistency[A, B](fa: F[A], fb: F[B]): laws.IsEq[F[A]]
- Definition Classes
- ApplyLaws
- def productRConsistency[A, B](fa: F[A], fb: F[B]): laws.IsEq[F[B]]
- Definition Classes
- ApplyLaws
- def pureAttempt[A](a: A): laws.IsEq[F[Either[Throwable, A]]]
- Definition Classes
- ApplicativeErrorLaws
- def raceDerivesFromRacePairLeft[A, B](fa: F[A]): IsEq[F[Either[A, B]]]
- Definition Classes
- GenSpawnLaws
- def raceDerivesFromRacePairRight[A, B](fb: F[B]): IsEq[F[Either[A, B]]]
- Definition Classes
- GenSpawnLaws
- def raceNeverNoncanceledIdentityLeft[A](fa: F[A]): IsEq[F[Either[Unit, A]]]
- Definition Classes
- GenSpawnLaws
- def raceNeverNoncanceledIdentityRight[A](fa: F[A]): IsEq[F[Either[A, Unit]]]
- Definition Classes
- GenSpawnLaws
- def raiseErrorAttempt(e: Throwable): laws.IsEq[F[Either[Throwable, Unit]]]
- Definition Classes
- ApplicativeErrorLaws
- def raiseErrorDistributesOverApLeft[A](h: (Throwable) => F[A], e: Throwable): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def raiseErrorDistributesOverApRight[A](h: (Throwable) => F[A], e: Throwable): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def recoverConsistentWithRecoverWith[A](fa: F[A], pf: PartialFunction[Throwable, A]): laws.IsEq[F[A]]
- Definition Classes
- ApplicativeErrorLaws
- def redeemDerivedFromAttemptMap[A, B](fa: F[A], fe: (Throwable) => B, fs: (A) => B): laws.IsEq[F[B]]
- Definition Classes
- ApplicativeErrorLaws
- def redeemWithDerivedFromAttemptFlatMap[A, B](fa: F[A], fe: (Throwable) => F[B], fs: (A) => F[B]): laws.IsEq[F[B]]
- Definition Classes
- MonadErrorLaws
- def repeatedSuspendNotMemoized[A](a: A, f: (A) => A, hint: Type): IsEq[F[A]]
- Definition Classes
- SyncLaws
- def replicateAVoidReplicateA_Consistent[A](n: Int, fa: F[A]): laws.IsEq[F[Unit]]
- Definition Classes
- ApplicativeLaws
- def rethrowAttempt[A](fa: F[A]): laws.IsEq[F[A]]
- Definition Classes
- MonadErrorLaws
- def semigroupalAssociativity[A, B, C](fa: F[A], fb: F[B], fc: F[C]): (F[(A, (B, C))], F[((A, B), C)])
- Definition Classes
- SemigroupalLaws
- def sleepRaceMinimum(d1: FiniteDuration, d2: FiniteDuration): IsEq[F[FiniteDuration]]
- Definition Classes
- GenTemporalLaws
- def startSleepMaximum(d1: FiniteDuration, d2: FiniteDuration): IsEq[F[FiniteDuration]]
- Definition Classes
- GenTemporalLaws
- def suspendThrowIsRaiseError[A](e: Throwable, hint: Type): IsEq[F[A]]
- Definition Classes
- SyncLaws
- def suspendValueIsPure[A](a: A, hint: Type): IsEq[F[A]]
- Definition Classes
- SyncLaws
- def syncStepIdentity[A](fa: F[A], limit: Int): IsEq[F[A]]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def tailRecMConsistentFlatMap[A](a: A, f: (A) => F[A]): laws.IsEq[F[A]]
- Definition Classes
- FlatMapLaws
- lazy val tailRecMStackSafety: laws.IsEq[F[Int]]
- Definition Classes
- MonadLaws
- def toString(): String
- Definition Classes
- AnyRef → Any
- def uncancelableCancelCancels: IsEq[F[kernel.Outcome[F, Throwable, Unit]]]
- Definition Classes
- GenSpawnLaws
- def uncancelableCanceledAssociatesRightOverFlatMapAttempt[A](fa: F[A]): IsEq[F[Unit]]
- Definition Classes
- MonadCancelLaws
- def uncancelableEliminatesOnCancel[A](fa: F[A], fin: F[Unit]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def uncancelableFinalizers[A](fin: F[Unit]): IsEq[F[Unit]]
- Definition Classes
- MonadCancelLaws
- def uncancelableIdentity[A](fa: F[A]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def uncancelableIgnoredPollEliminatesNesting[A](fa: F[A]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def uncancelablePollInverseNestIsUncancelable[A](fa: F[A]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def uncancelablePollIsIdentity[A](fa: F[A]): IsEq[F[A]]
- Definition Classes
- MonadCancelLaws
- def uncancelableRaceNotInherited: IsEq[F[Unit]]
- Definition Classes
- GenSpawnLaws
- def uncancelableStartIsCancelable: IsEq[F[kernel.Outcome[F, Throwable, Unit]]]
- Definition Classes
- GenSpawnLaws
- def uniqueness: F[Boolean]
- Definition Classes
- UniqueLaws
- def unsequencedSuspendIsNoop[A](a: A, f: (A) => A, hint: Type): IsEq[F[A]]
- Definition Classes
- SyncLaws
- def voidErrorConsistentWithHandleError(fu: F[Unit]): laws.IsEq[F[Unit]]
- Definition Classes
- ApplicativeErrorLaws
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def raceCanceledIdentityLeft[A](fa: F[A]): IsEq[F[Either[Unit, A]]]
- Definition Classes
- GenSpawnLaws
- Annotations
- @deprecated
- Deprecated
(Since version 3.5.0) law is no longer applicable (or correct)
- def raceCanceledIdentityRight[A](fa: F[A]): IsEq[F[Either[A, Unit]]]
- Definition Classes
- GenSpawnLaws
- Annotations
- @deprecated
- Deprecated
(Since version 3.5.0) law is no longer applicable (or correct)