object EitherT extends EitherTInstances with Serializable
- Source
- EitherT.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- EitherT
- Serializable
- Serializable
- EitherTInstances
- EitherTInstances0
- EitherTInstances1
- EitherTInstances2
- EitherTInstances3
- EitherTInstances4
- EitherTInstances5
- AnyRef
- Any
- Hide All
- Show All
Visibility
- 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
- @throws( ... )
- 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[[γ$3$]EitherT[F, E, γ$3$]]
- 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[[γ$5$]EitherT[F, L, γ$5$]]
- Definition Classes
- EitherTInstances2
-
implicit
def
eitherTHoist[A]: Hoist[[α[_$1], β]EitherT[α, A, β]]
- Definition Classes
- EitherTInstances
-
implicit
def
eitherTMonad[F[_], L](implicit F0: Monad[F]): Monad[[γ$6$]EitherT[F, L, γ$6$]]
- Definition Classes
- EitherTInstances1
-
implicit
def
eitherTMonadError[F[_], E](implicit F0: Monad[F]): MonadError[[γ$4$]EitherT[F, E, γ$4$], E]
- Definition Classes
- EitherTInstances3
-
implicit
def
eitherTMonadPlus[F[_], L](implicit F0: Monad[F], L0: Monoid[L]): MonadPlus[[γ$12$]EitherT[F, L, γ$12$]]
- Definition Classes
- EitherTInstances0
-
implicit
def
eitherTNondeterminism[F[_], E](implicit F0: Nondeterminism[F]): Nondeterminism[[γ$2$]EitherT[F, E, γ$2$]]
- Definition Classes
- EitherTInstances5
-
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: 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[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[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
left[F[_], A, B](a: F[A])(implicit F: Functor[F]): EitherT[F, A, B]
Construct a left disjunction value.
- 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
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
right[F[_], A, B](b: F[B])(implicit F: Functor[F]): EitherT[F, A, B]
Construct a right disjunction value.
-
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
- @throws( ... )