data-lab/tc/AppTraverse

AppTraverse

trait AppTraverse[F <: ([_$17] =>> Any)] extends Traverse[F] with Applicative[F]
trait Applicative[F]
trait Pure[F]
trait Apply[F]
trait Traverse[F]
trait Functor[F]
class Object
trait Matchable
class Any

Value members

Inherited methods

def pure[A](a: A): F[A]
Inhertied from
Pure

Extensions

Inherited extensions

extension (fa: F[A])
def zip2[A, B](fb: F[B]): F[(A, B)]
Inhertied from
Applicative
extension (fa: F[A])
def map2[A, B, C](fb: F[B])(f: (A, B) => C): F[C]
Inhertied from
Apply
extension (fa: F[A])
override def map[A, B](f: A => B): F[B]
Definition Classes
Inhertied from
Applicative
extension (ta: T[A])
def traverse[A, B, F <: ([_$15] =>> Any)](f: A => F[B])(evidence$1: Applicative[F]): F[T[B]]
Inhertied from
Traverse
extension (fa: F[A])
def widen[A, B](using A <:< B): F[B]
Inhertied from
Functor
extension (ta: T[F[A]])
def sequence[A, F <: ([_$16] =>> Any)](evidence$2: Applicative[F]): F[T[A]]
Inhertied from
Traverse