scalaz.std

EitherInstances

trait EitherInstances extends EitherInstances0

Source
Either.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. EitherInstances
  2. EitherInstances0
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def FirstLeftProjectionEIso2[E]: Isomorphism.<~>[[α]TagModule.@@[LeftProjection[E, α], First], [β$10$]Either[E, β$10$]]

    scala.Either.LeftProjection is isomorphic to scala.Either, when the type parameter E is partially applied.

  7. val FirstLeftProjectionIso2: Isomorphism.<~~>[[α, β]TagModule.@@[LeftProjection[α, β], First], Either]

    scala.Either.LeftProjection is isomorphic to scala.Either

  8. def FirstRightProjectionAIso2[A]: Isomorphism.<~>[[α]TagModule.@@[RightProjection[α, A], First], [α$14$]Either[α$14$, A]]

    scala.Either.RightProjection is isomorphic to scala.Either, when the type parameter A is partially applied.

  9. val FirstRightProjectionIso2: Isomorphism.<~~>[[α, β]TagModule.@@[RightProjection[α, β], First], Either]

    scala.Either.RightProjection is isomorphic to scala.Either

  10. def LastLeftProjectionEIso2[E]: Isomorphism.<~>[[α]TagModule.@@[LeftProjection[E, α], Last], [β$11$]Either[E, β$11$]]

    scala.Either.LeftProjection is isomorphic to scala.Either, when the type parameter E is partially applied.

  11. val LastLeftProjectionIso2: Isomorphism.<~~>[[α, β]TagModule.@@[LeftProjection[α, β], Last], Either]

    scala.Either.LeftProjection is isomorphic to scala.Either

  12. def LastRightProjectionAIso2[A]: Isomorphism.<~>[[α]TagModule.@@[RightProjection[α, A], Last], [α$15$]Either[α$15$, A]]

    scala.Either.RightProjection is isomorphic to scala.Either, when the type parameter A is partially applied.

  13. val LastRightProjectionIso2: Isomorphism.<~~>[[α, β]TagModule.@@[RightProjection[α, β], Last], Either]

    scala.Either.RightProjection is isomorphic to scala.Either

  14. def LeftProjectionEIso2[E]: Isomorphism.<~>[[β$8$]LeftProjection[E, β$8$], [β$9$]Either[E, β$9$]]

    scala.Either.LeftProjection is isomorphic to scala.Either, when the type parameter E is partially applied.

  15. val LeftProjectionIso2: Isomorphism.<~~>[LeftProjection, Either]

    scala.Either.LeftProjection is isomorphic to scala.Either

  16. def RightProjectionAIso2[A]: Isomorphism.<~>[[α$12$]RightProjection[α$12$, A], [α$13$]Either[α$13$, A]]

    scala.Either.RightProjection is isomorphic to scala.Either, when the type parameter A is partially applied.

  17. val RightProjectionIso2: Isomorphism.<~~>[RightProjection, Either]

    scala.Either.RightProjection is isomorphic to scala.Either

  18. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  19. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  20. implicit def eitherAssociative: Associative[Either]

  21. implicit def eitherEqual[A, B](implicit A0: Equal[A], B0: Equal[B]): Equal[Either[A, B]]

    Definition Classes
    EitherInstances0
  22. implicit def eitherFirstLeftEqual[A, X](implicit A0: Equal[A]): Equal[@@[LeftProjection[A, X], First]]

    Definition Classes
    EitherInstances0
  23. val eitherFirstLeftInstance: IsomorphismBifunctor[[α, β]TagModule.@@[LeftProjection[α, β], First], Either]

  24. implicit def eitherFirstLeftMonoid[A, X](implicit MonoidX: Monoid[X]): Monoid[@@[LeftProjection[A, X], First]]

  25. implicit def eitherFirstLeftOrder[A, X](implicit OrderA: Order[A]): Order[@@[LeftProjection[A, X], First]]

  26. implicit def eitherFirstLeftRInstance[R]: Monad[[α]TagModule.@@[LeftProjection[α, R], First]]

  27. implicit def eitherFirstLeftSemigroup[A, X](implicit arg0: Semigroup[A]): Semigroup[@@[LeftProjection[A, X], First]]

    Definition Classes
    EitherInstances0
  28. implicit def eitherFirstRightEqual[X, A](implicit A0: Equal[A]): Equal[@@[RightProjection[X, A], First]]

    Definition Classes
    EitherInstances0
  29. implicit def eitherFirstRightLInstance[L]: Monad[[α]TagModule.@@[RightProjection[L, α], First]]

  30. implicit def eitherFirstRightMonoid[X, A](implicit MonoidX: Monoid[X]): Monoid[@@[RightProjection[X, A], First]]

  31. implicit def eitherFirstRightOrder[X, A](implicit OrderA: Order[A]): Order[@@[RightProjection[X, A], First]]

  32. implicit def eitherFirstRightSemigroup[X, A](implicit arg0: Semigroup[A]): Semigroup[@@[RightProjection[X, A], First]]

    Definition Classes
    EitherInstances0
  33. implicit val eitherInstance: Bitraverse[Either]

  34. implicit def eitherLastLeftEqual[A, X](implicit A0: Equal[A]): Equal[@@[LeftProjection[A, X], Last]]

    Definition Classes
    EitherInstances0
  35. implicit def eitherLastLeftMonoid[A, X](implicit MonoidX: Monoid[X]): Monoid[@@[LeftProjection[A, X], Last]]

  36. implicit def eitherLastLeftOrder[A, X](implicit OrderA: Order[A]): Order[@@[LeftProjection[A, X], Last]]

  37. implicit def eitherLastLeftRInstance[R]: Monad[[α]TagModule.@@[LeftProjection[α, R], Last]]

  38. implicit def eitherLastLeftSemigroup[A, X](implicit arg0: Semigroup[A]): Semigroup[@@[LeftProjection[A, X], Last]]

    Definition Classes
    EitherInstances0
  39. implicit def eitherLastRightEqual[X, A](implicit A0: Equal[A]): Equal[@@[RightProjection[X, A], Last]]

    Definition Classes
    EitherInstances0
  40. implicit def eitherLastRightLInstance[L]: Monad[[α]TagModule.@@[RightProjection[L, α], Last]]

  41. implicit def eitherLastRightMonoid[X, A](implicit MonoidX: Monoid[X]): Monoid[@@[RightProjection[X, A], Last]]

  42. implicit def eitherLastRightOrder[X, A](implicit OrderA: Order[A]): Order[@@[RightProjection[X, A], Last]]

  43. implicit def eitherLastRightSemigroup[X, A](implicit arg0: Semigroup[A]): Semigroup[@@[RightProjection[X, A], Last]]

    Definition Classes
    EitherInstances0
  44. implicit def eitherLeftEqual[A, X](implicit A0: Equal[A]): Equal[LeftProjection[A, X]]

    Definition Classes
    EitherInstances0
  45. val eitherLeftInstance: IsomorphismBifunctor[LeftProjection, Either]

  46. implicit def eitherLeftMonoid[A, X](implicit MonoidA: Monoid[A], MonoidX: Monoid[X]): Monoid[LeftProjection[A, X]]

  47. implicit def eitherLeftOrder[A, X](implicit OrderA: Order[A]): Order[LeftProjection[A, X]]

  48. implicit def eitherLeftRInstance[R]: Monad[[α$21$]LeftProjection[α$21$, R]] { def point[A](a: => A): scala.util.Either.LeftProjection[A,Nothing] }

  49. implicit def eitherLeftSemigroup[A, X](implicit SemigroupA: Semigroup[A], MonoidX: Monoid[X]): Semigroup[LeftProjection[A, X]]

    Definition Classes
    EitherInstances0
  50. implicit def eitherMonad[L]: Traverse[[β$0$]Either[L, β$0$]] with MonadError[[β$1$]Either[L, β$1$], L] with BindRec[[β$2$]Either[L, β$2$]] with Cozip[[β$3$]Either[L, β$3$]]

    Right biased monad

  51. implicit def eitherOrder[A, B](implicit OrderA: Order[A], OrderB: Order[B]): Order[Either[A, B]]

  52. implicit def eitherRightEqual[X, A](implicit A0: Equal[A]): Equal[RightProjection[X, A]]

    Definition Classes
    EitherInstances0
  53. val eitherRightInstance: IsomorphismBifunctor[RightProjection, Either]

  54. implicit def eitherRightLInstance[L]: Monad[[β$16$]RightProjection[L, β$16$]] { def point[A](a: => A): scala.util.Either.RightProjection[Nothing,A] }

  55. implicit def eitherRightMonoid[X, A](implicit MonoidX: Monoid[X], MonoidA: Monoid[A]): Monoid[RightProjection[X, A]]

  56. implicit def eitherRightOrder[X, A](implicit OrderA: Order[A]): Order[RightProjection[X, A]]

  57. implicit def eitherRightSemigroup[X, A](implicit MonoidX: Monoid[X], SemigroupA: Semigroup[A]): Semigroup[RightProjection[X, A]]

    Definition Classes
    EitherInstances0
  58. implicit def eitherShow[A, B](implicit SA: Show[A], SB: Show[B]): Show[Either[A, B]]

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

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

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

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

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

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

    Definition Classes
    Any
  65. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  66. final def notify(): Unit

    Definition Classes
    AnyRef
  67. final def notifyAll(): Unit

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

    Definition Classes
    AnyRef
  69. def toString(): String

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

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from EitherInstances0

Inherited from AnyRef

Inherited from Any

Ungrouped