cats-docs
2.12.0
API
Generated with
cats-docs/cats/cats.data/Tuple2K

Tuple2K

cats.data.Tuple2K
See theTuple2K companion class
object Tuple2K

Attributes

Companion
class
Source
Tuple2K.scala
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Tuple2K.type

Members list

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
Source
Mirror.scala
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror
Source
Mirror.scala

Value members

Concrete methods

def firstK[F[_], G[_]]: FunctionK[[_] =>> Tuple2K[F, G, _$8], F]

Higher-kinded version of Tuple2K.first

Higher-kinded version of Tuple2K.first

Attributes

Source
Tuple2K.scala
def secondK[F[_], G[_]]: FunctionK[[_] =>> Tuple2K[F, G, _$12], G]

Higher-kinded version of Tuple2K.second

Higher-kinded version of Tuple2K.second

Attributes

Source
Tuple2K.scala

Implicits

Inherited implicits

implicit def catsDataAlternativeForTuple2K[F[_], G[_]](implicit FF: Alternative[F], GG: Alternative[G]): Alternative[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances1 (hidden)
Source
Tuple2K.scala
implicit def catsDataApplicativeForTuple2K[F[_], G[_]](implicit FF: Applicative[F], GG: Applicative[G]): Applicative[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances5 (hidden)
Source
Tuple2K.scala
implicit def catsDataApplyForTuple2K[F[_], G[_]](implicit FF: Apply[F], GG: Apply[G]): Apply[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances6 (hidden)
Source
Tuple2K.scala
implicit def catsDataCommutativeApplyForTuple2K[F[_], G[_]](implicit FF: CommutativeApply[F], GG: CommutativeApply[G]): CommutativeApply[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances4 (hidden)
Source
Tuple2K.scala
implicit def catsDataContravariantForTuple2K[F[_], G[_]](implicit FC: Contravariant[F], GC: Contravariant[G]): Contravariant[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances0 (hidden)
Source
Tuple2K.scala
implicit def catsDataContravariantMonoidalForTuple2k[F[_], G[_]](implicit FD: ContravariantMonoidal[F], GD: ContravariantMonoidal[G]): ContravariantMonoidal[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances (hidden)
Source
Tuple2K.scala
implicit def catsDataDeferForTuple2K[F[_], G[_]](implicit F: Defer[F], G: Defer[G]): Defer[[_] =>> Tuple2K[F, G, _$22]]

Attributes

Inherited from:
Tuple2KInstances (hidden)
Source
Tuple2K.scala
implicit def catsDataDistributiveForTuple2K[F[_], G[_]](implicit FF: Distributive[F], GG: Distributive[G]): Distributive[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances7 (hidden)
Source
Tuple2K.scala
implicit def catsDataEqForTuple2K[F[_], G[_], A](implicit FF: Eq[F[A]], GG: Eq[G[A]]): Eq[Tuple2K[F, G, A]]

Attributes

Inherited from:
Tuple2KInstances0 (hidden)
Source
Tuple2K.scala
implicit def catsDataFoldableForTuple2K[F[_], G[_]](implicit FF: Foldable[F], GF: Foldable[G]): Foldable[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances1 (hidden)
Source
Tuple2K.scala
implicit def catsDataFunctorForTuple2K[F[_], G[_]](implicit FF: Functor[F], GG: Functor[G]): Functor[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances8 (hidden)
Source
Tuple2K.scala
implicit def catsDataMonadForTuple2K[F[_], G[_]](implicit FM: Monad[F], GM: Monad[G]): Monad[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances2 (hidden)
Source
Tuple2K.scala
implicit def catsDataMonoidKForTuple2K[F[_], G[_]](implicit FF: MonoidK[F], GG: MonoidK[G]): MonoidK[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances2 (hidden)
Source
Tuple2K.scala
implicit def catsDataOrderForTuple2K[F[_], G[_], A](implicit FF: Order[F[A]], GF: Order[G[A]]): Order[Tuple2K[F, G, A]]

Attributes

Inherited from:
Tuple2KInstances (hidden)
Source
Tuple2K.scala
implicit def catsDataRepresentableForTuple2K[F[_], G[_]](implicit FF: Representable[F], GG: Representable[G]): Aux[[_] =>> Tuple2K[F, G, _$36], Either[FF.Representation, GG.Representation]]

Attributes

Inherited from:
Tuple2KInstances1 (hidden)
Source
Tuple2K.scala
implicit def catsDataSemigroupKForTuple2K[F[_], G[_]](implicit FF: SemigroupK[F], GG: SemigroupK[G]): SemigroupK[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances4 (hidden)
Source
Tuple2K.scala
implicit def catsDataSemigroupalForTuple2K[F[_], G[_]](implicit FF: Semigroupal[F], GG: Semigroupal[G]): Semigroupal[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances8 (hidden)
Source
Tuple2K.scala
implicit def catsDataShowForTuple2K[F[_], G[_], A](implicit FF: Show[F[A]], GF: Show[G[A]]): Show[Tuple2K[F, G, A]]

Attributes

Inherited from:
Tuple2KInstances (hidden)
Source
Tuple2K.scala
implicit def catsDataTraverseForTuple2K[F[_], G[_]](implicit FF: Traverse[F], GF: Traverse[G]): Traverse[[α] =>> Tuple2K[F, G, α]]

Attributes

Inherited from:
Tuple2KInstances0 (hidden)
Source
Tuple2K.scala
Generated with