object EitherT extends EitherTInstances with Serializable
- Source
- EitherT.scala
- Alphabetic
- By Inheritance
- EitherT
- Serializable
- EitherTInstances
- EitherTInstances0
- EitherTInstances1
- EitherTInstances2
- EitherTInstances3
- EitherTInstances4
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- final class FromDisjunctionAux[F[_]] extends AnyRef
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def either[F[_], A, B](d: \/[A, B])(implicit arg0: Applicative[F]): EitherT[F, A, B]
- def eitherT[F[_], A, B](a: F[\/[A, B]]): EitherT[F, A, B]
- implicit def eitherTBifoldable[F[_]](implicit F0: Foldable[F]): Bifoldable[[β$10$, γ$11$]EitherT[F, β$10$, γ$11$]]
- Definition Classes
- EitherTInstances0
- implicit def eitherTBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[β$8$, γ$9$]EitherT[F, β$8$, γ$9$]]
- Definition Classes
- EitherTInstances0
- implicit def eitherTBindRec[F[_], E](implicit F0: Monad[F], B0: BindRec[F]): BindRec[[γ$2$]EitherT[F, E, γ$2$]]
- Definition Classes
- EitherTInstances4
- implicit def eitherTBitraverse[F[_]](implicit F0: Traverse[F]): Bitraverse[[β$14$, γ$15$]EitherT[F, β$14$, γ$15$]]
- Definition Classes
- EitherTInstances
- implicit def eitherTEqual[F[_], A, B](implicit F0: Equal[F[\/[A, B]]]): Equal[EitherT[F, A, B]]
- Definition Classes
- EitherTInstances
- implicit def eitherTFoldable[F[_], L](implicit F0: Foldable[F]): Foldable[[γ$13$]EitherT[F, L, γ$13$]]
- Definition Classes
- EitherTInstances0
- implicit def eitherTFunctor[F[_], L](implicit F0: Functor[F]): Functor[[γ$4$]EitherT[F, L, γ$4$]]
- Definition Classes
- EitherTInstances2
- implicit def eitherTHoist[A]: Hoist[[α[_], β]EitherT[α, A, β]]
- Definition Classes
- EitherTInstances
- def eitherTMonad[F[_], L](implicit F0: Monad[F]): Monad[[γ$5$]EitherT[F, L, γ$5$]]
- Definition Classes
- EitherTInstances1
- implicit def eitherTMonadError[F[_], E](implicit F0: Monad[F]): MonadError[[γ$6$]EitherT[F, E, γ$6$], E]
- Definition Classes
- EitherTInstances1 → EitherTInstances3
- implicit def eitherTMonadPlus[F[_], L](implicit F0: Monad[F], L0: Monoid[L]): MonadPlus[[γ$12$]EitherT[F, L, γ$12$]]
- Definition Classes
- EitherTInstances0
- implicit def eitherTParallelApplicative[F[_], E](implicit F0: Par[F]): Par[[γ$17$]EitherT[F, E, γ$17$]]
- Definition Classes
- EitherTInstances
- implicit def eitherTPlus[F[_], L](implicit F0: Monad[F], L0: Semigroup[L]): Plus[[γ$7$]EitherT[F, L, γ$7$]]
- Definition Classes
- EitherTInstances1
- implicit def eitherTShow[F[_], A, B](implicit F0: Show[F[\/[A, B]]]): Show[EitherT[F, A, B]]
- Definition Classes
- EitherTInstances
- implicit def eitherTTraverse[F[_], L](implicit F0: Traverse[F]): Traverse[[γ$16$]EitherT[F, L, γ$16$]]
- Definition Classes
- EitherTInstances
- def eitherTU[FAB, AB, A0, B0](fab: FAB)(implicit u1: Unapply[Functor, FAB] { type A = AB }, u2: Unapply2[Bifunctor, AB] { ... /* 2 definitions in type refinement */ }, l: ===[AB, \/[A0, B0]]): EitherT[(u1)#M, A0, B0]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def fromDisjunction[F[_]]: FromDisjunctionAux[F]
- def fromEither[F[_], A, B](e: F[Either[A, B]])(implicit F: Functor[F]): EitherT[F, A, B]
Construct a disjunction value from a standard
scala.Either
. - def fromTryCatchNonFatal[F[_], A](a: => F[A])(implicit F: Applicative[F]): EitherT[F, Throwable, A]
- def fromTryCatchThrowable[F[_], A, B <: Throwable](a: => F[A])(implicit F: Applicative[F], nn: NotNothing[B], ex: ClassTag[B]): EitherT[F, B, A]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def leftT[F[_], A, B](fa: F[A])(implicit arg0: Functor[F]): EitherT[F, A, B]
- def leftU[B]: EitherTLeft[B]
- def monadListen[F[_], W, A](implicit ML0: MonadListen[F, W]): EitherTMonadListen[F, W, A]
- def monadTell[F[_], W, A](implicit MT0: MonadTell[F, W]): EitherTMonadTell[F, W, A]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def pure[F[_], A, B](b: B)(implicit arg0: Applicative[F]): EitherT[F, A, B]
will be called
right
in scalaz 7.3 - def pureLeft[F[_], A, B](a: A)(implicit arg0: Applicative[F]): EitherT[F, A, B]
will be called
left
in scalaz 7.3 - def rightT[F[_], A, B](fb: F[B])(implicit arg0: Functor[F]): EitherT[F, A, B]
- def rightU[A]: EitherTRight[A]
val a: String \/ Int = \/-(1) val b: EitherT[({type l[a] = String \/ a})#l, Boolean, Int] = EitherT.rightU[Boolean](a)
Example: - final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def left[F[_], A, B](a: F[A])(implicit F: Functor[F]): EitherT[F, A, B]
Construct a left disjunction value.
Construct a left disjunction value.
- Annotations
- @deprecated
- Deprecated
(Since version 7.2.18) prefer leftT; this method's meaning will change in scalaz 7.3
- def right[F[_], A, B](b: F[B])(implicit F: Functor[F]): EitherT[F, A, B]
Construct a right disjunction value.
Construct a right disjunction value.
- Annotations
- @deprecated
- Deprecated
(Since version 7.2.18) prefer rightT; this method's meaning will change in scalaz 7.3