scalaz.syntax

TraverseOps

trait TraverseOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Traverse

Source
TraverseSyntax.scala
Linear Supertypes
Ops[F[A]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. TraverseOps
  2. Ops
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Abstract Value Members

  1. implicit abstract def F: Traverse[F]

  2. abstract def self: F[A]

    Definition Classes
    Ops

Concrete Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  8. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  12. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  13. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  14. final def mapAccumL[S, B](z: S)(f: (S, A) ⇒ (S, B)): (S, F[B])

  15. final def mapAccumR[S, B](z: S)(f: (S, A) ⇒ (S, B)): (S, F[B])

  16. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  17. final def notify(): Unit

    Definition Classes
    AnyRef
  18. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  19. final def reverse: F[A]

  20. final def runTraverseS[S, B](s: S)(f: (A) ⇒ State[S, B]): (S, F[B])

  21. final def sequence[G[_], B](implicit ev: ===[A, G[B]], G: Applicative[G]): G[F[B]]

    Traverse with the identity function

  22. final def sequenceU(implicit G: Unapply[Applicative, A]): M[F[A]]

    A version of sequence that infers the nested type constructor

  23. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  24. final def tmap[B](f: (A) ⇒ B): F[B]

  25. def toString(): String

    Definition Classes
    AnyRef → Any
  26. final def traverse[G[_], B](f: (A) ⇒ G[B])(implicit G: Applicative[G]): G[F[B]]

  27. final def traverseKTrampoline[G[+_], S, B](f: (A) ⇒ Kleisli[G, S, B])(implicit arg0: Applicative[G]): Kleisli[G, S, F[B]]

    A version of traverse specialized for Kleisli[G, S, B] that internally uses a Trampoline to avoid stack-overflow.

  28. final def traverseS[S, B](f: (A) ⇒ State[S, B]): State[S, F[B]]

    A version of traverse specialized for State

  29. final def traverseSTrampoline[G[+_], S, B](f: (A) ⇒ State[S, G[B]])(implicit arg0: Applicative[G]): State[S, G[F[B]]]

    A version of traverse specialized for State[S, G[B]] that internally uses a Trampoline to avoid stack-overflow.

  30. final def traverseU[GB](f: (A) ⇒ GB)(implicit G: Unapply[Applicative, GB]): M[F[A]]

    A version of traverse that infers the type constructor G

  31. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def zipL[B](fb: F[B]): F[(A, Option[B])]

  35. final def zipR[B](fb: F[B]): F[(Option[A], B)]

  36. final def zipWith[B, C](fb: F[B])(f: (A, Option[B]) ⇒ C): (List[B], F[C])

  37. final def zipWithL[B, C](fb: F[B])(f: (A, Option[B]) ⇒ C): F[C]

  38. final def zipWithR[B, C](fb: F[B])(f: (Option[A], B) ⇒ C): F[C]

Inherited from Ops[F[A]]

Inherited from AnyRef

Inherited from Any

Ungrouped