scalaz-core/scalaz/EitherT

EitherT

object EitherT extends EitherTInstances
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final
class FromDisjunctionAux[F[_]]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def either[A, F[_] : Applicative, B](d: A \/ B): EitherT[A, F, B]
def eitherT[A, F[_], B](a: F[A \/ B]): EitherT[A, F, B]
def eitherTU[FAB, AB, A0, B0](fab: FAB)(implicit u1: Unapply[[F[_]] =>> Functor[F], FAB] { type A = AB; }, u2: Unapply2[[F[_, _]] =>> Bifunctor[F], AB] { type A = A0; type B = B0; }, l: AB === A0 \/ B0): EitherT[A0, M, B0]
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.

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.

Construct a disjunction value from a standard scala.Option.

def left[A, F[_] : Applicative, B](a: A): EitherT[A, F, B]
def leftT[A, F[_] : Functor, B](fa: F[A]): 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]
def pure[A, F[_] : Applicative, B](b: B): EitherT[A, F, B]
def right[A, F[_] : Applicative, B](b: B): EitherT[A, F, B]
def rightT[A, F[_] : Functor, B](fb: F[B]): EitherT[A, F, B]
def rightU[A]: EitherTRight[A]
Example
val a: String \/ Int = \/-(1)
val b: EitherT[({type l[a] = String \/ a})#l, Boolean, Int] = EitherT.rightU[Boolean](a)

Deprecated methods

@deprecated("Throwable is not referentially transparent, use \\/.attempt", "7.3.0")
def fromTryCatchNonFatal[F[_], A](a: => F[A])(implicit F: Applicative[F]): EitherT[Throwable, F, A]
Deprecated
@deprecated("Throwable is not referentially transparent, use \\/.attempt", "7.3.0")
def fromTryCatchThrowable[F[_], A, B <: Throwable : NotNothing](a: => F[A])(implicit evidence$7: NotNothing[B], F: Applicative[F], ex: ClassTag[B]): EitherT[B, F, A]
Deprecated

Implicits

Inherited implicits

implicit
def eitherTBifoldable[F[_]](implicit F0: Foldable[F]): Bifoldable[[_, _] =>> EitherT[_$77, F, _$78]]
Inherited from
EitherTInstances0
implicit
def eitherTBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[_, _] =>> EitherT[_$74, F, _$75]]
Inherited from
EitherTInstances0
implicit
def eitherTBindRec[F[_], E](implicit F0: Monad[F], B0: BindRec[F]): BindRec[[_] =>> EitherT[E, F, _$64]]
Inherited from
EitherTInstances4
implicit
def eitherTBitraverse[F[_]](implicit F0: Traverse[F]): Bitraverse[[_, _] =>> EitherT[_$88, F, _$89]]
Inherited from
EitherTInstances
implicit
def eitherTEqual[F[_], A, B](implicit F0: Equal[F[A \/ B]]): Equal[EitherT[A, F, B]]
Inherited from
EitherTInstances
implicit
def eitherTFoldable[F[_], L](implicit F0: Foldable[F]): Foldable[[_] =>> EitherT[L, F, _$86]]
Inherited from
EitherTInstances0
implicit
def eitherTFunctor[F[_], L](implicit F0: Functor[F]): Functor[[_] =>> EitherT[L, F, _$66]]
Inherited from
EitherTInstances3
implicit
def eitherTHoist[A]: Hoist[[α[_], β] =>> EitherT[A, α, β]]
Inherited from
EitherTInstances
implicit
def eitherTMonadError[F[_], E](implicit F0: Monad[F]): MonadError[[_] =>> EitherT[E, F, _$68], E]
Inherited from
EitherTInstances2
implicit
def eitherTMonadPlusAlt[F[_], L](implicit F0: Monad[F], L0: Monoid[L]): MonadPlus[[_] =>> EitherT[L, F, _$80]] & Alt[[_] =>> EitherT[L, F, _$81]]
Inherited from
EitherTInstances0
implicit
def eitherTMonadReader[E, F[_], R](implicit F0: MonadReader[F, R]): MonadReader[[_] =>> EitherT[E, F, _$72], R]
Inherited from
EitherTInstances1
implicit
def eitherTNondeterminism[F[_], E](implicit F0: Nondeterminism[F]): Nondeterminism[[_] =>> EitherT[E, F, _$62]]
Inherited from
EitherTInstances5
implicit
def eitherTPlus[F[_], L](implicit F0: Monad[F], L0: Semigroup[L]): Plus[[_] =>> EitherT[L, F, _$70]]
Inherited from
EitherTInstances1
implicit
def eitherTShow[F[_], A, B](implicit F0: Show[F[A \/ B]]): Show[EitherT[A, F, B]]
Inherited from
EitherTInstances
implicit
def eitherTTraverse[F[_], L](implicit F0: Traverse[F]): Traverse[[_] =>> EitherT[L, F, _$91]]
Inherited from
EitherTInstances