specs2-fp/org.specs2.fp/Traverse/eitherInstance

eitherInstance

given eitherInstance[L]: Traverse[[_] =>> Either[L, _$10]]

Type members

Inherited classlikes

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

Value members

Concrete methods

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

Inherited methods

def as[A, B](fa: Either[L, A])(b: => B): Either[L, B]
Inherited from
Functor
def sequence[G[_], A](fga: Either[L, G[A]])(using evidence$4: Applicative[G]): G[Either[L, 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: Either[L, A])(f: A => G[B])(using evidence$3: Applicative[G]): G[Either[L, B]]
Inherited from
Traverse
final def traverseM[A, G[_], B](fa: Either[L, A])(f: A => G[Either[L, B]])(using G: Applicative[G], F: Monad[[_] =>> Either[L, _$10]]): G[Either[L, B]]
Inherited from
Traverse
def void[A](fa: Either[L, A]): Either[L, Unit]
Inherited from
Functor
def xmap[A, B](fa: Either[L, A], f: A => B, g: B => A): Either[L, B]
Inherited from
Functor