Trait

scalaz.std

EitherInstances

Related Doc: package std

Permalink

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
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. final def ==(arg0: Any): Boolean

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

    Permalink

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

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

    Permalink

    scala.Either.LeftProjection is isomorphic to scala.Either

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

    Permalink

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

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

    Permalink

    scala.Either.RightProjection is isomorphic to scala.Either

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

    Permalink

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

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

    Permalink

    scala.Either.LeftProjection is isomorphic to scala.Either

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

    Permalink

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

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

    Permalink

    scala.Either.RightProjection is isomorphic to scala.Either

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

    Permalink

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

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

    Permalink

    scala.Either.LeftProjection is isomorphic to scala.Either

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

    Permalink

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

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

    Permalink

    scala.Either.RightProjection is isomorphic to scala.Either

  16. final def asInstanceOf[T0]: T0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
    Definition Classes
    EitherInstances0
  48. 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$]]

    Permalink

    Right biased monad

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

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

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

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

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

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

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

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

    Permalink
  57. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Inherited from EitherInstances0

Inherited from AnyRef

Inherited from Any

Ungrouped