MonadK

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

Value members

Inherited methods

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

Extensions

Extensions

extension (fa: F[A, C])
def flatMapK[A[_], C](f: FunctionK[A, [_] =>> F[B, _$9]]): F[B, C]
extension (ffa: F[[_] =>> F[A, _$5], C])
def flattenK[A[_], C]: F[A, C]

Inherited extensions

extension (a: ValueK[A])
def pure[A[_]]: F[A, C]
Inherited from
ApplicativeK
extension (f: FunctionK[A, B])
def liftK[A[_], B[_]]: FunctionK[[_] =>> F[A, _$10], [_] =>> F[B, _$11]]
Inherited from
FunctorK
extension (fa: F[A, C])
override def mapK[A[_], C](f: FunctionK[A, B]): F[B, C]
Definition Classes
Inherited from
ApplicativeK
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 map2K[A[_], C](fb: F[B, C])(f: [X] => (x$1: A[X], x$2: B[X]) => Z[X]): F[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