data-lab/tc/Traverse

Traverse

trait Traverse[T <: ([_$14] =>> Any)] extends Functor[T]
trait Functor[T]
class Object
trait Matchable
class Any
trait AppTraverse[F]

Extensions

Extensions

extension (ta: T[A])
override def map[A, B](f: A => B): T[B]
Definition Classes
extension (ta: T[A])
def traverse[A, B, F <: ([_$15] =>> Any)](f: A => F[B])(evidence$1: Applicative[F]): F[T[B]]
extension (ta: T[F[A]])
def sequence[A, F <: ([_$16] =>> Any)](evidence$2: Applicative[F]): F[T[A]]

Inherited extensions

extension (fa: F[A])
def widen[A, B](using A <:< B): F[B]
Inhertied from
Functor