object EitherT extends EitherTInstances with Serializable
- Source
- EitherT.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- EitherT
- Serializable
- EitherTInstances
- EitherTInstances0
- EitherTInstances1
- EitherTInstances2
- EitherTInstances3
- EitherTInstances4
- EitherTInstances5
- AnyRef
- Any
- Hide All
- Show All
Visibility
- 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[A, F[_], B](d: \/[A, B])(implicit arg0: Applicative[F]): EitherT[A, F, B]
- def eitherT[A, F[_], B](a: F[\/[A, B]]): EitherT[A, F, B]
- implicit def eitherTBifoldable[F[_]](implicit F0: Foldable[F]): Bifoldable[[α$10$, γ$11$]EitherT[α$10$, F, γ$11$]]
- Definition Classes
- EitherTInstances0
- implicit def eitherTBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[α$8$, γ$9$]EitherT[α$8$, F, γ$9$]]
- Definition Classes
- EitherTInstances0
- implicit def eitherTBindRec[F[_], E](implicit F0: Monad[F], B0: BindRec[F]): BindRec[[γ$3$]EitherT[E, F, γ$3$]]
- Definition Classes
- EitherTInstances4
- implicit def eitherTBitraverse[F[_]](implicit F0: Traverse[F]): Bitraverse[[α$16$, γ$17$]EitherT[α$16$, F, γ$17$]]
- Definition Classes
- EitherTInstances
- implicit def eitherTEqual[F[_], A, B](implicit F0: Equal[F[\/[A, B]]]): Equal[EitherT[A, F, B]]
- Definition Classes
- EitherTInstances
- implicit def eitherTFoldable[F[_], L](implicit F0: Foldable[F]): Foldable[[γ$15$]EitherT[L, F, γ$15$]]
- Definition Classes
- EitherTInstances0
- implicit def eitherTFunctor[F[_], L](implicit F0: Functor[F]): Functor[[γ$4$]EitherT[L, F, γ$4$]]
- Definition Classes
- EitherTInstances3
- implicit def eitherTHoist[A]: Hoist[[α[_], β]EitherT[A, α, β]]
- Definition Classes
- EitherTInstances
- implicit def eitherTMonadError[F[_], E](implicit F0: Monad[F]): MonadError[[γ$5$]EitherT[E, F, γ$5$], E]
- Definition Classes
- EitherTInstances2
- implicit def eitherTMonadPlusAlt[F[_], L](implicit F0: Monad[F], L0: Monoid[L]): MonadPlus[[γ$12$]EitherT[L, F, γ$12$]] with Alt[[γ$13$]EitherT[L, F, γ$13$]]
- Definition Classes
- EitherTInstances0
- implicit def eitherTMonadReader[E, F[_], R](implicit F0: MonadReader[F, R]): MonadReader[[γ$7$]EitherT[E, F, γ$7$], R]
- Definition Classes
- EitherTInstances1
- implicit def eitherTNondeterminism[F[_], E](implicit F0: Nondeterminism[F]): Nondeterminism[[γ$2$]EitherT[E, F, γ$2$]]
- Definition Classes
- EitherTInstances5
- implicit def eitherTPlus[F[_], L](implicit F0: Monad[F], L0: Semigroup[L]): Plus[[γ$6$]EitherT[L, F, γ$6$]]
- Definition Classes
- EitherTInstances1
- implicit def eitherTShow[F[_], A, B](implicit F0: Show[F[\/[A, B]]]): Show[EitherT[A, F, B]]
- Definition Classes
- EitherTInstances
- implicit def eitherTTraverse[F[_], L](implicit F0: Traverse[F]): Traverse[[γ$18$]EitherT[L, F, γ$18$]]
- 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[A0, (u1)#M, 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[A, F, B]
Construct a disjunction value from a standard
scala.Either
. - def fromOption[F[_], A, B](ifNone: => A)(fo: F[Option[B]])(implicit F: Functor[F]): EitherT[A, F, B]
Construct a disjunction value from a standard
scala.Option
. - 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 left[A, F[_], B](a: A)(implicit arg0: Applicative[F]): EitherT[A, F, B]
- def leftT[A, F[_], B](fa: F[A])(implicit arg0: Functor[F]): EitherT[A, F, 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[A, F[_], B](b: B)(implicit arg0: Applicative[F]): EitherT[A, F, B]
- def right[A, F[_], B](b: B)(implicit arg0: Applicative[F]): EitherT[A, F, B]
- def rightT[A, F[_], B](fb: F[B])(implicit arg0: Functor[F]): EitherT[A, F, 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()