perspective
0.3.0
DocsAPI
Generated with
perspective/perspective/MonadK

MonadK

perspective.MonadK
See theMonadK companion object
trait MonadK[F[_[_], _]] extends ApplicativeK[F]

Attributes

Companion
object
Source
MonadK.scala
Graph
Supertypes
trait ApplicativeK[F]
trait ApplyK[F]
trait FunctorK[F]
trait InvariantK[F]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def unitK[C]: F[Const[Unit], C]

A higher kinded equivalent of cats.Applicative.unit.

A higher kinded equivalent of cats.Applicative.unit.

Attributes

Inherited from:
ApplicativeK
Source
ApplicativeK.scala

Extensions

Extensions

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

Attributes

Source
MonadK.scala
extension [A[_], C](ffa: F[[_] =>> F[A, _$5], C])
def flattenK: F[A, C]

Attributes

Source
MonadK.scala

Inherited extensions

extension [A[_]](a: ValueK[A])
def pure[C]: F[A, C]

A higher kinded equivalent of cats.Applicative.pure.

A higher kinded equivalent of cats.Applicative.pure.

Attributes

Inherited from:
ApplicativeK
Source
ApplicativeK.scala
extension [A[_], B[_]](f: FunctionK[A, B])
def liftK: FunctionK[[_] =>> F[A, _$11], [_] =>> F[B, _$12]]

A higher kinded equivalent of cats.Functor.lift.

A higher kinded equivalent of cats.Functor.lift.

Attributes

Inherited from:
FunctorK
Source
FunctorK.scala
extension [A[_], C](fa: F[A, C])
inline def asK[B[_]](b: ValueK[B]): F[B, C]

A higher kinded equivalent of cats.Functor.as.

A higher kinded equivalent of cats.Functor.as.

Attributes

Inherited from:
FunctorK
Source
FunctorK.scala
override def imapK[B[_]](f: FunctionK[A, B])(g: FunctionK[B, A]): F[B, C]

A higher kinded equivalent of cats.Invariant.imap.

A higher kinded equivalent of cats.Invariant.imap.

Attributes

Definition Classes
Inherited from:
FunctorK
Source
FunctorK.scala
inline def mapConst[B](f: A :~>#: B): F[Const[B], C]

Helper function that calls mapK with Const.

Helper function that calls mapK with Const.

Attributes

Inherited from:
FunctorK
Source
FunctorK.scala
inline def voidK: F[Const[Unit], C]

A higher kinded equivalent of cats.Functor.void.

A higher kinded equivalent of cats.Functor.void.

Attributes

Inherited from:
FunctorK
Source
FunctorK.scala
inline def widen[B[D]]: F[B, C]

A higher kinded equivalent of cats.Functor.widen.

A higher kinded equivalent of cats.Functor.widen.

Attributes

Inherited from:
FunctorK
Source
FunctorK.scala
extension [A[_], C](fa: F[A, C])
inline def map2Const[B[_], Z](fb: F[B, C])(f: [X] => (x$1: A[X], x$2: B[X]) => Z): F[Const[Z], C]

Helper function that calls map2K with Const.

Helper function that calls map2K with Const.

Attributes

Inherited from:
ApplyK
Source
ApplyK.scala
def map2K[B[_], Z[_]](fb: F[B, C])(f: [X] => (x$1: A[X], x$2: B[X]) => Z[X]): F[Z, C]

A higher kinded equivalent of cats.Apply.map2.

A higher kinded equivalent of cats.Apply.map2.

Attributes

Inherited from:
ApplyK
Source
ApplyK.scala
def tupledK[B[_]](fb: F[B, C]): F[Tuple2K[A, B], C]

A higher kinded equivalent of cats.Apply.product.

A higher kinded equivalent of cats.Apply.product.

Attributes

Inherited from:
ApplyK
Source
ApplyK.scala
extension [A[_], C](fa: F[A, C])
override def mapK[B[_]](f: FunctionK[A, B]): F[B, C]

A higher kinded equivalent of cats.Functor.map.

A higher kinded equivalent of cats.Functor.map.

Attributes

Definition Classes
Inherited from:
ApplicativeK
Source
ApplicativeK.scala
extension [A[_], B[_], C](ff: F[[D] =>> (A[D]) => B[D], C])
def ap(fa: F[A, C]): F[B, C]

A higher kinded equivalent of cats.Apply.ap.

A higher kinded equivalent of cats.Apply.ap.

Attributes

Inherited from:
ApplyK
Source
ApplyK.scala
Generated with