perspective/perspective/RepresentableK

RepresentableK

trait RepresentableK[F[_[_], _]] extends MonadK[F] with DistributiveK[F]
Companion
object
trait DistributiveK[F]
trait MonadK[F]
trait ApplicativeK[F]
trait ApplyK[F]
trait FunctorK[F]
class Object
trait Matchable
class Any

Type members

Types

type RepresentationK[`_$4`]

Value members

Abstract methods

def tabulateK[A[_], C](f: FunctionK[RepresentationK, A]): F[A, C]

Concrete methods

def indicesK[C]: F[RepresentationK, C]

Inherited methods

def unitK[C]: F[Const[Unit], C]
Inherited from
ApplicativeK

Extensions

Extensions

extension (a: ValueK[A])
override def pure[A[_]]: F[A, C]
Definition Classes
extension (fa: F[A, C])
override def flatMapK[A[_], C](f: FunctionK[A, [_] =>> F[B, _$12]]): F[B, C]
Definition Classes
def indexK[A[_], C]: FunctionK[RepresentationK, A]
override def map2K[A[_], C](fb: F[B, C])(f: [X] => (x$1: A[X], x$2: B[X]) => Z[X]): F[Z, C]
Definition Classes
override def mapK[A[_], C](f: FunctionK[A, B]): F[B, C]
Definition Classes
extension (gfa: G[F[A, C]])
override def cosequenceK[G[_], A[_], C](`evidence$1`: Functor[G]): F[Compose2[G, A], C]
Definition Classes

Inherited extensions

extension (f: FunctionK[A, B])
def liftK[A[_], B[_]]: FunctionK[[_] =>> F[A, _$10], [_] =>> F[B, _$11]]
Inherited from
FunctorK
extension (fa: F[A, C])
def map2Const[A[_], C](fb: F[B, C])(f: [X] => (x$1: A[X], x$2: B[X]) => Z): F[Const[Z], C]
Inherited from
ApplyK
def tupledK[A[_], C](fb: F[B, C]): F[Tuple2K[A, B], C]
Inherited from
ApplyK
extension (fa: F[A, C])
def asK[A[_], C](b: ValueK[B]): F[B, C]
Inherited from
FunctorK
def mapConst[A[_], C](f: A ~>#: B): F[Const[B], C]
Inherited from
FunctorK
def voidK[A[_], C]: F[Const[Unit], C]
Inherited from
FunctorK
def widen[A[_], C]: F[B, C]
Inherited from
FunctorK
extension (ff: F[[D] =>> A[D] => B[D], C])
def ap[A[_], B[_], C](fa: F[A, C]): F[B, C]
Inherited from
ApplyK
extension (ffa: F[[_] =>> F[A, _$5], C])
def flattenK[A[_], C]: F[A, C]
Inherited from
MonadK
extension (ga: G[A])
def collectK[G[_], A](f: A => F[B, C])(`evidence$4`: Functor[G]): F[Compose2[G, B], C]
Inherited from
DistributiveK
extension (gfa: G[F[A, C]])
def distributeConst[G[_], A[_], C](f: Compose2[G, A] ~>#: B)(`evidence$2`: Functor[G]): F[Const[B], C]
Inherited from
DistributiveK
def distributeK[G[_], A[_], C](f: FunctionK[Compose2[G, A], B])(`evidence$1`: Functor[G]): F[B, C]
Inherited from
DistributiveK