object AssociativeEither extends test.laws.LawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]
- Alphabetic
- By Inheritance
- AssociativeEither
- Invariant
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +[CapsF1[x[_]] <: AssociativeEitherDeriveEqualInvariant[x[_]], Caps1[x] <: Equal[x], R1 <: Any](that: test.laws.ZLawfulF.Invariant[CapsF1, Caps1, R1]): test.laws.ZLawfulF.Invariant[CapsF1, Caps1, R1]
- Definition Classes
- Invariant
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit def EitherAssociativeEither[L]: AssociativeEither[[+r]Either[L, r]]
The
AssociativeEither
instance forEither
. - implicit def EitherFailedAssociativeEither[R]: AssociativeEither[[+l]Type[Either[l, R]]]
The
AssociativeEither
instance for a failedEither
- implicit def ExitAssociativeEither[E]: AssociativeEither[[+a]Exit[E, a]]
The
AssociativeEither
instance forExit
. - implicit def ExitFailureAssociativeEither[A]: AssociativeEither[[+e]Type[Exit[e, A]]]
The
AssociativeEither
instance for failedExit
. - implicit def FiberAssociativeEither[E]: AssociativeEither[[+a]Fiber[E, a]]
The
AssociativeEither
instance forFiber
. - implicit def FutureAssociativeEither(implicit ec: ExecutionContext): AssociativeEither[Future]
The
AssociativeEither
instance forFuture
. - implicit val OptionIdentityEither: IdentityEither[Option]
The
IdentityEither
(andAssociativeEither
) instance forOption
. - implicit def ScheduleAssociativeEither[R, E]: AssociativeEither[[+a]Schedule[R, E, a]]
The
AssociativeEither
instance forSchedule
. - implicit val TryAssociativeEither: AssociativeEither[Try]
The
AssociativeEither
instance forTry
. - implicit def ZIOAssociativeEither[R, E]: AssociativeEither[[+a]ZIO[R, E, a]]
The
AssociativeEither
instance forZIO
. - implicit def ZIOFailureAssociativeEither[R, A]: AssociativeEither[[+e]Type[ZIO[R, e, A]]]
The
AssociativeEither
instance for failedZIO
. - implicit def ZLayerAssociativeEither[R, E]: AssociativeEither[[+a]ZLayer[R, E, a]]
The
AssociativeEither
instance forZLayer
. - implicit def ZManagedAssociativeEither[R, E]: AssociativeEither[[+a]ZManaged[R, E, a]]
The
AssociativeEither
instance forZManaged
. - implicit def ZManagedFailureAssociativeEither[R, A]: AssociativeEither[[+e]Type[ZManaged[R, e, A]]]
The
AssociativeEither
instance for failedZManaged
. - implicit def ZStreamAssociativeEither[R, E]: AssociativeEither[[+a]ZStream[R, E, a]]
The
AssociativeEither
instance forZStream
. - implicit def ZStreamFailureAssociativeEither[R, A]: AssociativeEither[[+e]Type[ZStream[R, e, A]]]
The
AssociativeEither
instance for failedZStream
. - def apply[F[_]](implicit associativeEither: AssociativeEither[F]): AssociativeEither[F]
Summons an implicit
AssociativeEither[F]
. - final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- val associativityLaw: test.laws.LawsF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]
For all
fa
,fb
, andfc
,either(fa, either(fb, fc))
is equivalent toeither(either(fa, fb), fc)
. - def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val laws: test.laws.LawsF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]
The set of law laws that instances of
AssociativeEither
must satisfy.The set of law laws that instances of
AssociativeEither
must satisfy.- Definition Classes
- AssociativeEither → Invariant
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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()