scalaz-core/scalaz/LazyEitherT

LazyEitherT

object LazyEitherT extends LazyEitherTInstances
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final
class LeftProjectionT[F[_], A, B](val lazyEitherT: LazyEitherT[F, A, B])

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 lazyEitherT[F[_], A, B](a: F[LazyEither[A, B]]): LazyEitherT[F, A, B]
def lazyEitherTLeftProjectionEIso2[F[_], E]: IsoFunctor[[_] =>> LeftProjectionT[F, E, _$30], [_] =>> LazyEitherT[F, E, _$31]]
def lazyEitherTLeftProjectionIso2[F[_]]: IsoBifunctor[[_, _] =>> LeftProjectionT[F, _$35, _$36], [_, _] =>> LazyEitherT[F, _$37, _$38]]
def lazyEitherTU[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 === LazyEither[A0, B0]): LazyEitherT[M, A0, B0]
def lazyLeftT[F[_], A, B](a: => A)(implicit p: Applicative[F]): LazyEitherT[F, A, B]
def lazyRightT[F[_], A, B](b: => B)(implicit p: Applicative[F]): LazyEitherT[F, A, B]

Inherited methods

def lazyEitherTMonad[F[_], L](implicit F0: Monad[F]): Monad[[_] =>> LazyEitherT[F, L, _$86]]
Inherited from
LazyEitherTInstances0

Implicits

Implicits

implicit
def lazyEitherTMonadPlus[F[_], L](implicit F0: Monad[F], L: Monoid[L]): MonadPlus[[_] =>> LazyEitherT[F, L, _$56]]

Inherited implicits

implicit
def lazyEitherTAlt[F[_], L](implicit F0: Monad[F]): Alt[[_] =>> LazyEitherT[F, L, _$68]]
Inherited from
LazyEitherTInstances1
implicit
def lazyEitherTBifoldable[F[_]](implicit F0: Foldable[F]): Bifoldable[[_, _] =>> LazyEitherT[F, _$76, _$77]]
Inherited from
LazyEitherTInstances0
implicit
def lazyEitherTBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[_, _] =>> LazyEitherT[F, _$73, _$74]]
Inherited from
LazyEitherTInstances0
implicit
def lazyEitherTBindRec[F[_], L](implicit F0: Monad[F], B0: BindRec[F]): BindRec[[_] =>> LazyEitherT[F, L, _$98]]
Inherited from
LazyEitherTInstances0
implicit
def lazyEitherTBitraverse[F[_]](implicit F0: Traverse[F]): Bitraverse[[_, _] =>> LazyEitherT[F, _$100, _$101]]
Inherited from
LazyEitherTInstances
implicit
def lazyEitherTFoldable[F[_], L](implicit F0: Foldable[F]): Foldable[[_] =>> LazyEitherT[F, L, _$92]]
Inherited from
LazyEitherTInstances0
implicit
def lazyEitherTFunctor[F[_], L](implicit F0: Functor[F]): Functor[[_] =>> LazyEitherT[F, L, _$58]]
Inherited from
LazyEitherTInstances1
implicit
def lazyEitherTHoist[A]: Hoist[[a[_], b] =>> LazyEitherT[a, A, b]]
Inherited from
LazyEitherTInstances
implicit
def lazyEitherTLeftProjectionBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[_, _] =>> LeftProjectionT[F, _$79, _$80]]
Inherited from
LazyEitherTInstances0
implicit
def lazyEitherTLeftProjectionBitraverse[F[_]](implicit F0: Traverse[F]): Bitraverse[[_, _] =>> LeftProjectionT[F, _$103, _$104]]
Inherited from
LazyEitherTInstances
implicit
def lazyEitherTLeftProjectionFoldable[F[_], L](implicit F0: Foldable[F]): Foldable[[_] =>> LeftProjectionT[F, L, _$94]]
Inherited from
LazyEitherTInstances0
implicit
def lazyEitherTLeftProjectionFunctor[F[_], L](implicit F0: Functor[F]): Functor[[_] =>> LeftProjectionT[F, L, _$60]]
Inherited from
LazyEitherTInstances1
implicit
def lazyEitherTLeftProjectionMonad[F[_], L](implicit F0: Monad[F]): Monad[[_] =>> LeftProjectionT[F, L, _$88]]
Inherited from
LazyEitherTInstances0
implicit
def lazyEitherTLeftProjectionTraverse[F[_], L](implicit F0: Traverse[F]): Traverse[[_] =>> LeftProjectionT[F, L, _$112]]
Inherited from
LazyEitherTInstances
implicit
def lazyEitherTMonadError[F[_], L](implicit F0: Monad[F]): MonadError[[_] =>> LazyEitherT[F, L, _$64], L]
Inherited from
LazyEitherTInstances1
implicit
def lazyEitherTPlus[F[_], L](implicit F0: Monad[F], L: Semigroup[L]): Plus[[_] =>> LazyEitherT[F, L, _$66]]
Inherited from
LazyEitherTInstances1
implicit
def lazyEitherTTraverse[F[_], L](implicit F0: Traverse[F]): Traverse[[_] =>> LazyEitherT[F, L, _$110]]
Inherited from
LazyEitherTInstances