TraverseK

perspective.TraverseK
See theTraverseK companion object
trait TraverseK[F[_[_], _]] extends FunctorK[F], FoldableK[F]

A higher kinded Traverse typeclass.

Attributes

Companion
object
Source
TraverseK.scala
Graph
Supertypes
trait FoldableK[F]
trait FunctorK[F]
trait InvariantK[F]
class Object
trait Matchable
class Any
Show all

Members list

Extensions

Extensions

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
Source
TraverseK.scala
inline def sequenceIdK(using Applicative[A]): A[F[Id, C]]

Helper function that calls sequenceK with Id.

Helper function that calls sequenceK with Id.

Attributes

Source
TraverseK.scala
inline def traverseConst[G[_] : Applicative, B](f: A :~>#: G[B]): G[F[Const[B], C]]

Helper function that calls traverseK with Const.

Helper function that calls traverseK with Const.

Attributes

Source
TraverseK.scala
inline def traverseIdK[G[_] : Applicative](f: FunctionK[A, G]): G[F[Id, C]]

Helper function that calls traverseK with Id.

Helper function that calls traverseK with Id.

Attributes

Source
TraverseK.scala
def traverseK[G[_] : Applicative, B[_]](f: FunctionK[A, Compose2[G, B]]): G[F[B, C]]

A higher kinded equivalent of Traverse.traverse.

A higher kinded equivalent of Traverse.traverse.

Attributes

Source
TraverseK.scala
extension [G[_], A[_], C](fga: F[Compose2[G, A], C])
def sequenceK: G[F[A, C]]

A higher kinded equivalent of Traverse.sequence.

A higher kinded equivalent of Traverse.sequence.

Attributes

Source
TraverseK.scala

Inherited extensions

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])
def foldLeftK[B](b: B)(f: B => A :~>#: B): B

A higher kinded equivalent of Foldable.foldLeft.

A higher kinded equivalent of Foldable.foldLeft.

Attributes

Inherited from:
FoldableK
Source
FoldableK.scala
def foldMapK[B](f: A :~>#: B)(using B: Monoid[B]): B

A higher kinded equivalent of Foldable.foldMap.

A higher kinded equivalent of Foldable.foldMap.

Attributes

Inherited from:
FoldableK
Source
FoldableK.scala
def foldRightK[B](b: B)(f: A :~>#: (B => B)): B

Attributes

Inherited from:
FoldableK
Source
FoldableK.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[Const[A], C])
def toListK: List[A]

A higher kinded equivalent of Foldable.toList.

A higher kinded equivalent of Foldable.toList.

Attributes

Inherited from:
FoldableK
Source
FoldableK.scala