RepresentableKC

perspective.RepresentableK$package.RepresentableKC

Attributes

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

Members list

Type members

Types

type Aux[F[_[_]], RepresentationK0[_]] = RepresentableKC[F] { type RepresentationK = RepresentationK0; }

Attributes

Source
RepresentableK.scala

Givens

Givens

given composeCatsInside[F[_[_]], G[_], R1[_], R2](using F: Aux[F, R1], G: Aux[G, R2]): Aux[[H[_]] =>> F[Compose2[G, H]], [X] =>> (R1[X], R2)]

Attributes

Source
RepresentableK.scala
given composeCatsOutside[F[_], G[_[_]], R1, R2[_]](using F: Aux[F, R1], G: Aux[G, R2]): Aux[[H[_]] =>> F[G[H]], [X] =>> (R1, R2[X])]

Attributes

Source
RepresentableK.scala
given composeId[F[_], R1, X](using F: Aux[F, R1]): RepresentableKC[[H[_]] =>> F[H[X]]]

Attributes

Source
RepresentableK.scala
given idInstanceC[A]: Aux[IdFC[A], [Z] =>> Finite[1]]

Attributes

Source
RepresentableK.scala