Object/Trait

zio.prelude

AssociativeEither

Related Docs: trait AssociativeEither | package prelude

Permalink

object AssociativeEither extends test.laws.LawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]

Linear Supertypes
test.laws.ZLawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal, Any], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AssociativeEither
  2. Invariant
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. 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]

    Permalink
    Definition Classes
    Invariant
  4. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  5. implicit def EitherAssociativeEither[L]: AssociativeEither[[+r]Either[L, r]]

    Permalink

    The AssociativeEither instance for Either.

  6. implicit def EitherFailedAssociativeEither[R]: AssociativeEither[[+l]Type[Either[l, R]]]

    Permalink

    The AssociativeEither instance for a failed Either

  7. implicit def ExitAssociativeEither[E]: AssociativeEither[[+a]Exit[E, a]]

    Permalink

    The AssociativeEither instance for Exit.

  8. implicit def ExitFailureAssociativeEither[A]: AssociativeEither[[+e]Type[Exit[e, A]]]

    Permalink

    The AssociativeEither instance for failed Exit.

  9. implicit def FiberAssociativeEither[E]: AssociativeEither[[+a]Fiber[E, a]]

    Permalink

    The AssociativeEither instance for Fiber.

  10. implicit def FutureAssociativeEither(implicit ec: ExecutionContext): AssociativeEither[Future]

    Permalink

    The AssociativeEither instance for Future.

  11. implicit val OptionIdentityEither: IdentityEither[Option]

    Permalink

    The IdentityEither (and AssociativeEither) instance for Option.

  12. implicit def ScheduleAssociativeEither[R, E]: AssociativeEither[[+a]Schedule[R, E, a]]

    Permalink

    The AssociativeEither instance for Schedule.

  13. implicit val TryAssociativeEither: AssociativeEither[Try]

    Permalink

    The AssociativeEither instance for Try.

  14. implicit def ZIOAssociativeEither[R, E]: AssociativeEither[[+a]ZIO[R, E, a]]

    Permalink

    The AssociativeEither instance for ZIO.

  15. implicit def ZIOFailureAssociativeEither[R, A]: AssociativeEither[[+e]Type[ZIO[R, e, A]]]

    Permalink

    The AssociativeEither instance for failed ZIO.

  16. implicit def ZLayerAssociativeEither[R, E]: AssociativeEither[[+a]ZLayer[R, E, a]]

    Permalink

    The AssociativeEither instance for ZLayer.

  17. implicit def ZManagedAssociativeEither[R, E]: AssociativeEither[[+a]ZManaged[R, E, a]]

    Permalink

    The AssociativeEither instance for ZManaged.

  18. implicit def ZManagedFailureAssociativeEither[R, A]: AssociativeEither[[+e]Type[ZManaged[R, e, A]]]

    Permalink

    The AssociativeEither instance for failed ZManaged.

  19. implicit def ZStreamAssociativeEither[R, E]: AssociativeEither[[+a]ZStream[R, E, a]]

    Permalink

    The AssociativeEither instance for ZStream.

  20. implicit def ZStreamFailureAssociativeEither[R, A]: AssociativeEither[[+e]Type[ZStream[R, e, A]]]

    Permalink

    The AssociativeEither instance for failed ZStream.

  21. def apply[F[_]](implicit associativeEither: AssociativeEither[F]): AssociativeEither[F]

    Permalink

    Summons an implicit AssociativeEither[F].

  22. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  23. lazy val associativityLaw: test.laws.LawsF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]

    Permalink

    For all fa, fb, and fc, either(fa, either(fb, fc)) is equivalent to either(either(fa, fb), fc).

  24. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  26. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  27. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  28. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  29. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  30. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  31. lazy val laws: test.laws.LawsF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal]

    Permalink

    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
  32. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  33. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  34. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  36. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  37. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  38. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from test.laws.ZLawfulF.Invariant[AssociativeEitherDeriveEqualInvariant, Equal, Any]

Inherited from AnyRef

Inherited from Any

Ungrouped