Traverse

leopards.Traverse
trait Traverse[F[_]] extends Functor[F], Foldable[F]

Attributes

Source
Traverse.scala
Graph
Supertypes
trait Foldable[F]
trait Functor[F]
class Object
trait Matchable
class Any
Known subtypes
object stdListInstances.type
object stdOptionInstances.type

Members list

Value members

Inherited methods

def lift[A, B](f: A => B): F[A] => F[B]

Attributes

Inherited from:
Functor
Source
Functor.scala

Extensions

Extensions

extension [A](fa: F[A])
def traverse[G[_], B](f: A => G[B])(using G: Applicative[G]): G[F[B]]

Attributes

Source
Traverse.scala
extension [G[_], A](fga: F[G[A]])
def sequence(using Applicative[G]): G[F[A]]

Attributes

Source
Traverse.scala

Inherited extensions

extension [A](fa: F[A])
def as[B](b: B): F[B]

Attributes

Inherited from:
Functor
Source
Functor.scala
def map[B](f: A => B): F[B]

Attributes

Inherited from:
Functor
Source
Functor.scala
def void: F[Unit]

Attributes

Inherited from:
Functor
Source
Functor.scala
extension [A](fa: F[A])
def foldLeft[B](b: B)(f: (B, A) => B): B

Attributes

Inherited from:
Foldable
Source
Foldable.scala
def foldMap[B](f: A => B)(using B: Monoid[B]): B

Attributes

Inherited from:
Foldable
Source
Foldable.scala
def foldRight[B](b: B)(f: (A, B) => B): B

Attributes

Inherited from:
Foldable
Source
Foldable.scala