perspective/perspective/ApplyK

ApplyK

trait ApplyK[F[_[_], _]] extends FunctorK[F]
trait FunctorK[F]
class Object
trait Matchable
class Any
trait ApplicativeK[F]
trait MonadK[F]

Extensions

Extensions

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]
def map2K[A[_], C](fb: F[B, C])(f: [X] => (x$1: A[X], x$2: B[X]) => Z[X]): F[Z, C]
def tupledK[A[_], C](fb: F[B, C]): F[Tuple2K[A, B], C]
extension (ff: F[[D] =>> A[D] => B[D], C])
def ap[A[_], B[_], C](fa: F[A, C]): 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