data-lab/tc/TraversableK

TraversableK

trait TraversableK[U <: ([f <: ([_$22] =>> Any)] =>> Any)] extends FunctorK[U]
trait FunctorK[U]
class Object
trait Matchable
class Any
trait Craft[U]

Extensions

Extensions

extension (uf: U[F])
def sequenceId[F <: ([_$28] =>> Any)](using Applicative[F]): F[U[Identity]]
def parSequenceId[F <: ([_$28] =>> Any)](using Parallel[F]): F[U[Identity]]
extension (uf: U[[A] =>> F[G[A]]])
def sequenceK[F <: ([_$26] =>> Any), G <: ([_$27] =>> Any)](using Applicative[F]): F[U[G]]
def parSequenceK[F <: ([_$26] =>> Any), G <: ([_$27] =>> Any)](using P: Parallel[F]): F[U[G]]
extension (uf: U[F])
def traverseK[F <: ([_$23] =>> Any), G <: ([_$24] =>> Any), H <: ([_$25] =>> Any)](f: [A] => (x$1: F[A]) => G[H[A]])(using Applicative[G]): G[U[H]]

Inherited extensions

extension (obj: U[F])
def mapK[F <: ([_$4] =>> Any), G <: ([_$5] =>> Any)](f: [A] => (x$1: F[A]) => G[A]): U[G]
Inhertied from
FunctorK