Representable

cats.Representable$
See theRepresentable companion trait
object Representable

Attributes

Companion
trait
Source
Representable.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

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

Attributes

Source
Representable.scala

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.syntax.all._

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

scala> Representable[Pair].index(("foo", "bar"))(false)
res0: String = bar

Attributes

Source
Representable.scala
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.

Attributes

Source
Representable.scala
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

Attributes

Source
Representable.scala
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

Attributes

Source
Representable.scala

Implicits

Implicits

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

Attributes

Source
Representable.scala

Attributes

Source
Representable.scala