specs2-fp/org.specs2.fp/Traverse

Traverse

trait Traverse[F[_]] extends Functor[F]

Inspired from the scalaz (https://github.com/scalaz/scalaz) project

Companion:
object
trait Functor[F]
class Object
trait Matchable
class Any

Type members

Classlikes

class Traversal[G[_]](implicit G: Applicative[G])

Value members

Abstract methods

def traverseImpl[G[_] : Applicative, A, B](fa: F[A])(f: A => G[B]): G[F[B]]

Transform fa using f, collecting all the Gs with ap.

Transform fa using f, collecting all the Gs with ap.

Concrete methods

def sequence[G[_] : Applicative, A](fga: F[G[A]]): G[F[A]]

Traverse with the identity function.

Traverse with the identity function.

def traverse[G[_] : Applicative, A, B](fa: F[A])(f: A => G[B]): G[F[B]]
final def traverseM[A, G[_], B](fa: F[A])(f: A => G[F[B]])(implicit G: Applicative[G], F: Monad[F]): G[F[B]]

Inherited methods

def as[A, B](fa: F[A])(b: => B): F[B]
Inherited from:
Functor
def map[A, B](fa: F[A])(f: A => B): F[B]
Inherited from:
Functor
def void[A](fa: F[A]): F[Unit]
Inherited from:
Functor
def xmap[A, B](fa: F[A], f: A => B, g: B => A): F[B]
Inherited from:
Functor