object EitherT extends EitherTInstances with Serializable
- Source
- EitherT.scala
- Alphabetic
- By Inheritance
- EitherT
- Serializable
- Serializable
- EitherTInstances
- EitherTInstances0
- EitherTInstances1
- EitherTInstances2
- EitherTInstances3
- EitherTInstances4
- EitherTInstances5
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
- 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[[α$9$, γ$10$]EitherT[α$9$, F, γ$10$]]
- Definition Classes
- EitherTInstances0
-
implicit
def
eitherTBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[α$7$, γ$8$]EitherT[α$7$, F, γ$8$]]
- 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[[α$15$, γ$16$]EitherT[α$15$, F, γ$16$]]
- 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[[γ$14$]EitherT[L, F, γ$14$]]
- Definition Classes
- EitherTInstances0
-
implicit
def
eitherTFunctor[F[_], L](implicit F0: Functor[F]): Functor[[γ$5$]EitherT[L, F, γ$5$]]
- Definition Classes
- EitherTInstances2
-
implicit
def
eitherTHoist[A]: Hoist[[α[_$1], β]EitherT[A, α, β]]
- Definition Classes
- EitherTInstances
-
implicit
def
eitherTMonadError[F[_], E](implicit F0: Monad[F]): MonadError[[γ$4$]EitherT[E, F, γ$4$], E]
- Definition Classes
- EitherTInstances3
-
implicit
def
eitherTMonadPlusAlt[F[_], L](implicit F0: Monad[F], L0: Monoid[L]): MonadPlus[[γ$11$]EitherT[L, F, γ$11$]] with Alt[[γ$12$]EitherT[L, F, γ$12$]]
- Definition Classes
- EitherTInstances0
-
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[[γ$17$]EitherT[L, F, γ$17$]]
- 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: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.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
. -
final
def
getClass(): Class[_]
- 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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
Deprecated Value Members
-
def
fromTryCatchNonFatal[F[_], A](a: ⇒ F[A])(implicit F: Applicative[F]): EitherT[Throwable, F, A]
- Annotations
- @deprecated
- Deprecated
(Since version 7.3.0) Throwable is not referentially transparent, use \/.attempt
-
def
fromTryCatchThrowable[F[_], A, B <: Throwable](a: ⇒ F[A])(implicit arg0: NotNothing[B], F: Applicative[F], ex: ClassTag[B]): EitherT[B, F, A]
- Annotations
- @deprecated
- Deprecated
(Since version 7.3.0) Throwable is not referentially transparent, use \/.attempt