cherry-fix/cherry.fix/Functor/given_TraverseFilter_Vector

given_TraverseFilter_Vector

object given_TraverseFilter_Vector extends TraverseFilter[Vector]
trait TraverseFilter[Vector]
trait Traverse[Vector]
trait Functor[Vector]
class Object
trait Matchable
class Any

Extensions

Extensions

extension [A](fa: Vector[A])
def traverseFilter[F[_], B](f: A => F[Option[B]])(using F: Monoidal[F]): F[Vector[B]]

Inherited extensions

extension [A](fa: T[A])
def traverse[F[_] : Monoidal, B](f: A => F[B]): F[Vector[B]]
Inherited from:
TraverseFilter
extension [A](fa: F[A])
def widen[A1 >: A]: Vector[A1]
Inherited from:
Functor
extension [G[_], A](fa: F[G[A]])
def mapIn[B](f: A => B)(using Functor[G]): Vector[G[B]]
Inherited from:
Functor
extension [A, F[_]](ta: T[F[A]])
def parSequence(using Parallel[F]): F[Vector[A]]
Inherited from:
Traverse
def sequence(using Monoidal[F]): F[Vector[A]]
Inherited from:
Traverse
extension [A](ta: T[A])
override def map[B](f: A => B): Vector[B]
Definition Classes
Inherited from:
Traverse
def parTraverse[F[_], B](f: A => F[B])(using F: Parallel[F]): F[Vector[B]]
Inherited from:
Traverse