specs2
API
Generated with
specs2/org.specs2/org.specs2.fp/Traverse

Traverse

org.specs2.fp.Traverse
See theTraverse companion object
trait Traverse[F[_]] extends Functor[F]

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

Attributes

Companion
object
Graph
Supertypes
trait Functor[F]
class Object
trait Matchable
class Any
Known subtypes
object listInstance

Members list

Type members

Classlikes

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

Attributes

Supertypes
class Object
trait Matchable
class Any

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.

Attributes

Concrete methods

def sequence[G[_], A](fga: F[G[A]])(using evidence$1: Applicative[G]): G[F[A]]

Traverse with the identity function.

Traverse with the identity function.

Attributes

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

Attributes

Inherited from:
Functor
def void[A](fa: F[A]): F[Unit]

Attributes

Inherited from:
Functor
def xmap[A, B](fa: F[A], f: A => B, g: B => A): F[B]

Attributes

Inherited from:
Functor

Inherited and Abstract methods

def map[A, B](fa: F[A])(f: A => B): F[B]

Attributes

Inherited from:
Functor
Generated with