Object/Trait

zio.prelude

CommutativeEither

Related Docs: trait CommutativeEither | package prelude

Permalink

object CommutativeEither extends test.laws.LawfulF.Invariant[CommutativeEitherDeriveEqualInvariant, Equal]

Linear Supertypes
test.laws.ZLawfulF.Invariant[CommutativeEitherDeriveEqualInvariant, Equal, Any], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CommutativeEither
  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[_]] <: CommutativeEitherDeriveEqualInvariant[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 FutureCommutativeEither(implicit ec: ExecutionContext): CommutativeEither[Future]

    Permalink

    The CommutativeEither instance for Future.

  6. implicit def ZIOCommutativeEither[R, E]: CommutativeEither[[+a]ZIO[R, E, a]]

    Permalink

    The CommutativeEither instance for ZIO.

  7. implicit def ZSinkCommutativeEither[R, E, I, L]: CommutativeEither[[+a]ZSink[R, E, I, L, a]]

    Permalink

    The CommutativeEither instance for ZSink.

  8. implicit def ZStreamCommutativeEither[R, E]: CommutativeEither[[+a]ZStream[R, E, a]]

    Permalink

    The CommutativeEither instance for ZStream.

  9. def apply[F[_]](implicit commutativeEither: CommutativeEither[F]): CommutativeEither[F]

    Permalink

    Summons an implicit CommutativeEither[F].

  10. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  11. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  12. val commutativeLaw: test.laws.LawsF.Invariant[CommutativeEitherDeriveEqualInvariant, Equal]

    Permalink

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

  13. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

    Permalink
    Definition Classes
    Any
  19. val laws: test.laws.LawsF.Invariant[CommutativeEitherDeriveEqualInvariant, Equal]

    Permalink

    The set of law laws that instances of CommutativeEither must satisfy.

    The set of law laws that instances of CommutativeEither must satisfy.

    Definition Classes
    CommutativeEither → Invariant
  20. final def ne(arg0: AnyRef): Boolean

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

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

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

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

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

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped