listInstance

org.specs2.fp.Traverse.listInstance
object listInstance extends Traverse[List]

Attributes

Graph
Supertypes
trait Traverse[List]
trait Functor[List]
class Object
trait Matchable
class Any
Self type

Members list

Type members

Inherited classlikes

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

Attributes

Inherited from:
Traverse
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def map[A, B](fa: List[A])(f: A => B): List[B]
def traverseImpl[G[_], A, B](fa: List[A])(f: A => G[B])(using evidence$5: Applicative[G]): G[List[B]]

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

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

Attributes

Inherited methods

def as[A, B](fa: List[A])(b: => B): F[B]

Attributes

Inherited from:
Functor
def sequence[G[_], A](fga: List[G[A]])(using evidence$4: Applicative[G]): G[F[A]]

Traverse with the identity function.

Traverse with the identity function.

Attributes

Inherited from:
Traverse
def traversal[G[_]](using evidence$2: Applicative[G]): Traversal[G]

Attributes

Inherited from:
Traverse
def traverse[G[_], A, B](fa: List[A])(f: A => G[B])(using evidence$3: Applicative[G]): G[F[B]]

Attributes

Inherited from:
Traverse
final def traverseM[A, G[_], B](fa: List[A])(f: A => G[List[B]])(using G: Applicative[G], F: Monad[List]): G[F[B]]

Attributes

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

Attributes

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

Attributes

Inherited from:
Functor