Cats core/cats.data/EitherK

EitherK

object EitherK extends EitherKInstances
Companion
class
trait Product
trait Mirror
class EitherKInstances
class EitherKInstances0
class EitherKInstances1
class EitherKInstances2
class EitherKInstances3
class Object
trait Matchable
class Any

Type members

Classlikes

final class EitherKLeft[G[_]]
final class EitherKRight[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 left[G[_]]: EitherKLeft[G]
def leftc[F[_], G[_], A](x: F[A]): EitherK[F, G, A]
def right[F[_]]: EitherKRight[F]
def rightc[F[_], G[_], A](x: G[A]): EitherK[F, G, A]

Implicits

Inherited implicits

implicit def catsDataCoflatMapForEitherK[F[_], G[_]](F0: CoflatMap[F], G0: CoflatMap[G]): CoflatMap[[_] =>> EitherK[F, G, _$34]]
Inherited from
EitherKInstances1
implicit def catsDataComonadForEitherK[F[_], G[_]](F0: Comonad[F], G0: Comonad[G]): Comonad[[_] =>> EitherK[F, G, _$40]]
Inherited from
EitherKInstances
implicit def catsDataContravariantForEitherK[F[_], G[_]](F0: Contravariant[F], G0: Contravariant[G]): Contravariant[[_] =>> EitherK[F, G, _$31]]
Inherited from
EitherKInstances2
implicit def catsDataEqForEitherK[F[_], G[_], A](E: Eq[Either[F[A], G[A]]]): Eq[EitherK[F, G, A]]
Inherited from
EitherKInstances3
implicit def catsDataFoldableForEitherK[F[_], G[_]](F0: Foldable[F], G0: Foldable[G]): Foldable[[_] =>> EitherK[F, G, _$28]]
Inherited from
EitherKInstances3
implicit def catsDataFunctorForEitherK[F[_], G[_]](F0: Functor[F], G0: Functor[G]): Functor[[_] =>> EitherK[F, G, _$25]]
Inherited from
EitherKInstances3
implicit def catsDataTraverseForEitherK[F[_], G[_]](F0: Traverse[F], G0: Traverse[G]): Traverse[[_] =>> EitherK[F, G, _$37]]
Inherited from
EitherKInstances0