scalaz/scalaz.std/either

either

object either extends EitherInstances
class Object
trait Matchable
class Any

Value members

Inherited methods

def FirstLeftProjectionEIso2[E]: IsoFunctor[[α] =>> LeftProjection[E, α] @@ First, [_] =>> Either[E, _$14]]

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

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

Inherited from
EitherInstances
def FirstRightProjectionAIso2[A]: IsoFunctor[[α] =>> RightProjection[α, A] @@ First, Either]

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

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

Inherited from
EitherInstances
def LastLeftProjectionEIso2[E]: IsoFunctor[[α] =>> LeftProjection[E, α] @@ Last, [_] =>> Either[E, _$15]]

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

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

Inherited from
EitherInstances
def LastRightProjectionAIso2[A]: IsoFunctor[[α] =>> RightProjection[α, A] @@ Last, Either]

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

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

Inherited from
EitherInstances
def LeftProjectionEIso2[E]: IsoFunctor[[_] =>> LeftProjection[E, _$12], [_] =>> Either[E, _$13]]

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

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

Inherited from
EitherInstances
def RightProjectionAIso2[A]: IsoFunctor[RightProjection, Either]

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

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

Inherited from
EitherInstances

Inherited fields

val FirstLeftProjectionIso2: IsoBifunctor[[α, β] =>> LeftProjection[α, β] @@ First, Either]

scala.Either.LeftProjection is isomorphic to scala.Either

scala.Either.LeftProjection is isomorphic to scala.Either

Inherited from
EitherInstances
val FirstRightProjectionIso2: IsoBifunctor[[α, β] =>> RightProjection[α, β] @@ First, Either]

scala.Either.RightProjection is isomorphic to scala.Either

scala.Either.RightProjection is isomorphic to scala.Either

Inherited from
EitherInstances
val LastLeftProjectionIso2: IsoBifunctor[[α, β] =>> LeftProjection[α, β] @@ Last, Either]

scala.Either.LeftProjection is isomorphic to scala.Either

scala.Either.LeftProjection is isomorphic to scala.Either

Inherited from
EitherInstances
val LastRightProjectionIso2: IsoBifunctor[[α, β] =>> RightProjection[α, β] @@ Last, Either]

scala.Either.RightProjection is isomorphic to scala.Either

scala.Either.RightProjection is isomorphic to scala.Either

Inherited from
EitherInstances
val LeftProjectionIso2: IsoBifunctor[LeftProjection, Either]

scala.Either.LeftProjection is isomorphic to scala.Either

scala.Either.LeftProjection is isomorphic to scala.Either

Inherited from
EitherInstances
val RightProjectionIso2: IsoBifunctor[RightProjection, Either]

scala.Either.RightProjection is isomorphic to scala.Either

scala.Either.RightProjection is isomorphic to scala.Either

Inherited from
EitherInstances
val eitherFirstLeftInstance: IsomorphismBifunctor[[α, β] =>> LeftProjection[α, β] @@ First, Either]
Inherited from
EitherInstances
val eitherLeftInstance: IsomorphismBifunctor[LeftProjection, Either]
Inherited from
EitherInstances
val eitherRightInstance: IsomorphismBifunctor[RightProjection, Either]
Inherited from
EitherInstances

Implicits

Inherited implicits

implicit
def eitherAssociative: Associative[Either]
Inherited from
EitherInstances
implicit
def eitherEqual[A, B](implicit A0: Equal[A], B0: Equal[B]): Equal[Either[A, B]]
Inherited from
EitherInstances0
implicit
def eitherFirstLeftEqual[A, X](implicit A0: Equal[A]): Equal[LeftProjection[A, X] @@ First]
Inherited from
EitherInstances0
implicit
def eitherFirstLeftMonoid[A, X](implicit MonoidX: Monoid[X]): Monoid[LeftProjection[A, X] @@ First]
Inherited from
EitherInstances
implicit
def eitherFirstLeftOrder[A, X](implicit OrderA: Order[A]): Order[LeftProjection[A, X] @@ First]
Inherited from
EitherInstances
implicit
def eitherFirstLeftRInstance[R]: Monad[[α] =>> LeftProjection[α, R] @@ First]
Inherited from
EitherInstances
implicit
def eitherFirstLeftSemigroup[A : Semigroup, X]: Semigroup[LeftProjection[A, X] @@ First]
Inherited from
EitherInstances0
implicit
def eitherFirstRightEqual[X, A](implicit A0: Equal[A]): Equal[RightProjection[X, A] @@ First]
Inherited from
EitherInstances0
implicit
def eitherFirstRightLInstance[L]: Monad[[α] =>> RightProjection[L, α] @@ First]
Inherited from
EitherInstances
implicit
def eitherFirstRightMonoid[X, A](implicit MonoidX: Monoid[X]): Monoid[RightProjection[X, A] @@ First]
Inherited from
EitherInstances
implicit
def eitherFirstRightOrder[X, A](implicit OrderA: Order[A]): Order[RightProjection[X, A] @@ First]
Inherited from
EitherInstances
implicit
def eitherFirstRightSemigroup[X, A : Semigroup]: Semigroup[RightProjection[X, A] @@ First]
Inherited from
EitherInstances0
implicit
val eitherInstance: Bitraverse[Either]
Inherited from
EitherInstances
implicit
def eitherLastLeftEqual[A, X](implicit A0: Equal[A]): Equal[LeftProjection[A, X] @@ Last]
Inherited from
EitherInstances0
implicit
def eitherLastLeftMonoid[A, X](implicit MonoidX: Monoid[X]): Monoid[LeftProjection[A, X] @@ Last]
Inherited from
EitherInstances
implicit
def eitherLastLeftOrder[A, X](implicit OrderA: Order[A]): Order[LeftProjection[A, X] @@ Last]
Inherited from
EitherInstances
implicit
def eitherLastLeftRInstance[R]: Monad[[α] =>> LeftProjection[α, R] @@ Last]
Inherited from
EitherInstances
implicit
def eitherLastLeftSemigroup[A : Semigroup, X]: Semigroup[LeftProjection[A, X] @@ Last]
Inherited from
EitherInstances0
implicit
def eitherLastRightEqual[X, A](implicit A0: Equal[A]): Equal[RightProjection[X, A] @@ Last]
Inherited from
EitherInstances0
implicit
def eitherLastRightLInstance[L]: Monad[[α] =>> RightProjection[L, α] @@ Last]
Inherited from
EitherInstances
implicit
def eitherLastRightMonoid[X, A](implicit MonoidX: Monoid[X]): Monoid[RightProjection[X, A] @@ Last]
Inherited from
EitherInstances
implicit
def eitherLastRightOrder[X, A](implicit OrderA: Order[A]): Order[RightProjection[X, A] @@ Last]
Inherited from
EitherInstances
implicit
def eitherLastRightSemigroup[X, A : Semigroup]: Semigroup[RightProjection[X, A] @@ Last]
Inherited from
EitherInstances0
implicit
def eitherLeftEqual[A, X](implicit A0: Equal[A]): Equal[LeftProjection[A, X]]
Inherited from
EitherInstances0
implicit
def eitherLeftMonoid[A, X](implicit MonoidA: Monoid[A], MonoidX: Monoid[X]): Monoid[LeftProjection[A, X]]
Inherited from
EitherInstances
implicit
def eitherLeftOrder[A, X](implicit OrderA: Order[A]): Order[LeftProjection[A, X]]
Inherited from
EitherInstances
implicit
def eitherLeftRInstance[R]: Monad[LeftProjection]
Inherited from
EitherInstances
implicit
def eitherLeftSemigroup[A, X](implicit SemigroupA: Semigroup[A], MonoidX: Monoid[X]): Semigroup[LeftProjection[A, X]]
Inherited from
EitherInstances0
implicit
def eitherMonad[L]: Traverse[[_] =>> Either[L, _$2]] & MonadError[[_] =>> Either[L, _$3], L] & BindRec[[_] =>> Either[L, _$4]] & Cozip[[_] =>> Either[L, _$5]]

Right biased monad

Right biased monad

Inherited from
EitherInstances
implicit
def eitherOrder[A, B](implicit OrderA: Order[A], OrderB: Order[B]): Order[Either[A, B]]
Inherited from
EitherInstances
implicit
def eitherRightEqual[X, A](implicit A0: Equal[A]): Equal[RightProjection[X, A]]
Inherited from
EitherInstances0
implicit
def eitherRightLInstance[L]: Monad[[_] =>> RightProjection[L, _$20]]
Inherited from
EitherInstances
implicit
def eitherRightMonoid[X, A](implicit MonoidX: Monoid[X], MonoidA: Monoid[A]): Monoid[RightProjection[X, A]]
Inherited from
EitherInstances
implicit
def eitherRightOrder[X, A](implicit OrderA: Order[A]): Order[RightProjection[X, A]]
Inherited from
EitherInstances
implicit
def eitherRightSemigroup[X, A](implicit MonoidX: Monoid[X], SemigroupA: Semigroup[A]): Semigroup[RightProjection[X, A]]
Inherited from
EitherInstances0
implicit
def eitherShow[A, B](implicit SA: Show[A], SB: Show[B]): Show[Either[A, B]]
Inherited from
EitherInstances