perspective/perspective/DistributiveK

DistributiveK

trait DistributiveK[F[_[_], _]] extends FunctorK[F]
trait FunctorK[F]
class Object
trait Matchable
class Any

Extensions

Extensions

extension (ga: G[A])
def collectK[G[_], A](f: A => F[B, C])(`evidence$4`: Functor[G]): F[Compose2[G, B], C]
extension (gfa: G[F[A, C]])
def cosequenceK[G[_], A[_], C](`evidence$3`: Functor[G]): F[Compose2[G, A], C]
def distributeConst[G[_], A[_], C](f: Compose2[G, A] ~>#: B)(`evidence$2`: Functor[G]): F[Const[B], C]
def distributeK[G[_], A[_], C](f: FunctionK[Compose2[G, A], B])(`evidence$1`: Functor[G]): F[B, C]

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 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 mapK[A[_], C](f: FunctionK[A, B]): F[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