Representable

Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[F[_], R] = Representable[F] { type Representation = R; }

Value members

Concrete methods

def apply[F[_]](implicit ev: Representable[F]): Aux[F, Representation]

Summon the Representable instance for F

Summon the Representable instance for F

Example:

scala> import cats.implicits._

scala> type Pair[A] = (A, A)

scala> Representable[Pair].index(("foo", "bar"))(false)
res0: String = bar
def bimonad[F[_], R](implicit Rep: Aux[F, R], Mon: Monoid[R]): Bimonad[F]

Derives a Bimonad instance for any Representable functor whose representation has a Monoid instance.

Derives a Bimonad instance for any Representable functor whose representation has a Monoid instance.

def distributive[F[_]](implicit Rep: Representable[F]): Distributive[F]

Derives a Distributive instance for any Representable functor

Derives a Distributive instance for any Representable functor

def monad[F[_]](implicit Rep: Representable[F]): Monad[F]

Derives a Monad instance for any Representable functor

Derives a Monad instance for any Representable functor

Implicits

Implicits

implicit def catsRepresentableForFunction1[E](implicit EF: Functor[[_] =>> E => _$14]): Aux[[_] =>> E => _$15, E]
implicit def catsRepresentableForPair(implicit PF: Functor[Tuple2]): Aux[Tuple2, Boolean]