specs2-fp/org.specs2.fp/Traverse/optionInstance

optionInstance

given optionInstance[L]: Traverse[[A] =>> Option[A]]

Type members

Inherited classlikes

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

Value members

Concrete methods

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

Inherited methods

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