specs2-fp/org.specs2.fp/Traverse/listInstance

listInstance

object listInstance extends Traverse[List]
trait Traverse[List]
trait Functor[List]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

class Traversal[G[_]](using G: Applicative[G])
Inherited from:
Traverse

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]]

Inherited methods

def as[A, B](fa: List[A])(b: => B): List[B]
Inherited from:
Functor
def sequence[G[_], A](fga: List[G[A]])(using evidence$4: Applicative[G]): G[List[A]]

Traverse with the identity function.

Traverse with the identity function.

Inherited from:
Traverse
def traversal[G[_]](using evidence$2: Applicative[G]): Traversal[G]
Inherited from:
Traverse
def traverse[G[_], A, B](fa: List[A])(f: A => G[B])(using evidence$3: Applicative[G]): G[List[B]]
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[List[B]]
Inherited from:
Traverse
def void[A](fa: List[A]): List[Unit]
Inherited from:
Functor
def xmap[A, B](fa: List[A], f: A => B, g: B => A): List[B]
Inherited from:
Functor