scalaz/scalaz.syntax/Traverse1Ops

Traverse1Ops

final
class Traverse1Ops[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Traverse1

trait Ops[F[A]]
class Object
trait Matchable
class Any

Value members

Concrete methods

final
def sequence1[G[_], B](implicit ev: A === G[B], G: Apply[G]): G[F[B]]

Traverse with the identity function

Traverse with the identity function

final
def sequence1U(implicit G: Unapply[[F[_]] =>> Apply[F], A]): M[F[A]]

A version of sequence1 that infers the nested type constructor

A version of sequence1 that infers the nested type constructor

final
def traverse1[G[_], B](f: A => G[B])(implicit G: Apply[G]): G[F[B]]
final
def traverse1U[GB](f: A => GB)(implicit G: Unapply[[F[_]] =>> Apply[F], GB]): M[F[A]]

A version of traverse1 that infers the type constructor G

A version of traverse1 that infers the type constructor G

Concrete fields

val self: F[A]

Implicits

Implicits

implicit
val F: Traverse1[F]