perspective/perspective/TraverseK

TraverseK

trait TraverseK[F[_[_], _]] extends FunctorK[F] with FoldableK[F]
trait FoldableK[F]
trait FunctorK[F]
class Object
trait Matchable
class Any

Extensions

Extensions

extension (fa: F[A, C])
override def mapK[A[_], C](f: FunctionK[A, B]): F[B, C]
Definition Classes
def sequenceIdK[A[_], C](using Applicative[A]): A[F[Id, C]]
def traverseIdK[A[_], C](f: FunctionK[A, G])(`evidence$2`: Applicative[G]): G[F[Id, C]]
def traverseK[A[_], C](f: FunctionK[A, Compose2[G, B]])(`evidence$1`: Applicative[G]): G[F[B, C]]
extension (fga: F[Compose2[G, A], C])
def sequenceK[G[_], A[_], C](`evidence$3`: Applicative[G]): G[F[A, 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 voidK[A[_], C]: F[Const[Unit], C]
Inherited from
FunctorK
def widen[A[_], C]: F[B, C]
Inherited from
FunctorK
extension (fa: F[A, C])
def foldLeftK[A[_], C](b: B)(f: B => A ~>#: B): B
Inherited from
FoldableK
def foldMapK[A[_], C](f: A ~>#: B)(using B: Monoid[B]): B
Inherited from
FoldableK
extension (fa: F[Const[A], C])
def toListK[A, C]: List[A]
Inherited from
FoldableK