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
object listInstance.type

Type members

Classlikes

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

Value members

Abstract methods

def traverseImpl[G[_], A, B](fa: F[A])(f: A => G[B])(using evidence$1: Applicative[G]): 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[_], A](fga: F[G[A]])(using evidence$4: Applicative[G]): G[F[A]]

Traverse with the identity function.

Traverse with the identity function.

def traversal[G[_]](using evidence$2: Applicative[G]): Traversal[G]
def traverse[G[_], A, B](fa: F[A])(f: A => G[B])(using evidence$3: Applicative[G]): G[F[B]]
final def traverseM[A, G[_], B](fa: F[A])(f: A => G[F[B]])(using 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