trait SingletonTraverse[F[_]] extends Traverse[F]
cats.Traverse for containers with at most one element.
- Self Type
- SingletonTraverse[F]
- Alphabetic
- By Inheritance
- SingletonTraverse
- Traverse
- UnorderedTraverse
- Foldable
- FoldableNFunctions
- UnorderedFoldable
- Functor
- Invariant
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- abstract type Context
The type for actual context of the element.
The type for actual context of the element. For example, for
F[A] = Either[String, (Int, A)]
, theContext
should beInt
. This gives better type information than considering the general context typeEither[String, *]
becauseEither[String, *]
could also be a scala.Left$ and thus not contain anInt
at all.
Abstract Value Members
- abstract def foldLeft[A, B](fa: F[A], b: B)(f: (B, A) => B): B
- Definition Classes
- Foldable
- abstract def foldRight[A, B](fa: F[A], lb: Eval[B])(f: (A, Eval[B]) => Eval[B]): Eval[B]
- Definition Classes
- Foldable
- abstract def traverse[G[_], A, B](fa: F[A])(f: (A) => G[B])(implicit arg0: Applicative[G]): G[F[B]]
- Definition Classes
- Traverse
- abstract def traverseSingleton[G[_], A, B](x: F[A])(f: (Context, A) => G[B])(implicit G: Applicative[G]): G[F[B]]
Threads the effect
G
of the given functionf
through this container.Threads the effect
G
of the given functionf
through this container. Also passes the context of this container (i.e., the container structure) to the function.
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def as[A, B](fa: F[A], b: B): F[B]
- Definition Classes
- Functor
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @IntrinsicCandidate() @native()
- def collectFirst[A, B](fa: F[A])(pf: PartialFunction[A, B]): Option[B]
- Definition Classes
- Foldable
- def collectFirstSome[A, B](fa: F[A])(f: (A) => Option[B]): Option[B]
- Definition Classes
- Foldable
- def collectFirstSomeM[G[_], A, B](fa: F[A])(f: (A) => G[Option[B]])(implicit G: Monad[G]): G[Option[B]]
- Definition Classes
- Foldable
- def collectFold[A, B](fa: F[A])(f: PartialFunction[A, B])(implicit B: Monoid[B]): B
- Definition Classes
- Foldable
- def collectFoldSome[A, B](fa: F[A])(f: (A) => Option[B])(implicit B: Monoid[B]): B
- Definition Classes
- Foldable
- def combineAll[A](fa: F[A])(implicit arg0: Monoid[A]): A
- Definition Classes
- Foldable
- def combineAllOption[A](fa: F[A])(implicit ev: Semigroup[A]): Option[A]
- Definition Classes
- Foldable
- def compose[G[_]](implicit arg0: Traverse[G]): Traverse[[α]F[G[α]]]
- Definition Classes
- Traverse
- def compose[G[_]](implicit arg0: Foldable[G]): Foldable[[α]F[G[α]]]
- Definition Classes
- Foldable
- def compose[G[_]](implicit arg0: Functor[G]): Functor[[α]F[G[α]]]
- Definition Classes
- Functor
- def compose[G[_]](implicit arg0: Invariant[G]): Invariant[[α]F[G[α]]]
- Definition Classes
- Invariant
- def composeBifunctor[G[_, _]](implicit arg0: Bifunctor[G]): Bifunctor[[α, β]F[G[α, β]]]
- Definition Classes
- Functor
- def composeContravariant[G[_]](implicit arg0: Contravariant[G]): Contravariant[[α]F[G[α]]]
- Definition Classes
- Functor → Invariant
- def composeFunctor[G[_]](implicit arg0: Functor[G]): Invariant[[α]F[G[α]]]
- Definition Classes
- Invariant
- def composeWith[G[_]](G: SingletonTraverse[G]): ComposeSingletonTraversePartiallyApplied[F, G, Context, Context]
Composes this type class instance with another type class instance.
Composes this type class instance with another type class instance.
Apply the result to a combination function for the contexts of the two type class instances. This allows to throw away the context of one instance, e.g., if it does not contain any information like in the case of
Option
orEither
. The default org.apache.pekko.stream.scaladsl.Keep.both retains both contexts. - def contains_[A](fa: F[A], v: A)(implicit ev: Eq[A]): Boolean
- Definition Classes
- UnorderedFoldable
- def count[A](fa: F[A])(p: (A) => Boolean): Long
- Definition Classes
- UnorderedFoldable
- def dropWhile_[A](fa: F[A])(p: (A) => Boolean): List[A]
- Definition Classes
- Foldable
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def exists[A](fa: F[A])(p: (A) => Boolean): Boolean
- Definition Classes
- Foldable → UnorderedFoldable
- def existsM[G[_], A](fa: F[A])(p: (A) => G[Boolean])(implicit G: Monad[G]): G[Boolean]
- Definition Classes
- Foldable
- def filter_[A](fa: F[A])(p: (A) => Boolean): List[A]
- Definition Classes
- Foldable
- def find[A](fa: F[A])(f: (A) => Boolean): Option[A]
- Definition Classes
- Foldable
- def findM[G[_], A](fa: F[A])(p: (A) => G[Boolean])(implicit G: Monad[G]): G[Option[A]]
- Definition Classes
- Foldable
- def flatSequence[G[_], A](fgfa: F[G[F[A]]])(implicit G: Applicative[G], F: FlatMap[F]): G[F[A]]
- Definition Classes
- Traverse
- def flatTraverse[G[_], A, B](fa: F[A])(f: (A) => G[F[B]])(implicit G: Applicative[G], F: FlatMap[F]): G[F[B]]
- Definition Classes
- Traverse
- final def fmap[A, B](fa: F[A])(f: (A) => B): F[B]
- Definition Classes
- Functor
- def fold[A](fa: F[A])(implicit A: Monoid[A]): A
- Definition Classes
- Foldable
- def foldA[G[_], A](fga: F[G[A]])(implicit G: Applicative[G], A: Monoid[A]): G[A]
- Definition Classes
- Foldable
- def foldK[G[_], A](fga: F[G[A]])(implicit G: MonoidK[G]): G[A]
- Definition Classes
- Foldable
- final def foldLeftM[G[_], A, B](fa: F[A], z: B)(f: (B, A) => G[B])(implicit G: Monad[G]): G[B]
- Definition Classes
- Foldable
- def foldM[G[_], A, B](fa: F[A], z: B)(f: (B, A) => G[B])(implicit G: Monad[G]): G[B]
- Definition Classes
- Foldable
- def foldMap[A, B](fa: F[A])(f: (A) => B)(implicit B: Monoid[B]): B
- Definition Classes
- Foldable
- def foldMapA[G[_], A, B](fa: F[A])(f: (A) => G[B])(implicit G: Applicative[G], B: Monoid[B]): G[B]
- Definition Classes
- Foldable
- def foldMapK[G[_], A, B](fa: F[A])(f: (A) => G[B])(implicit G: MonoidK[G]): G[B]
- Definition Classes
- Foldable
- def foldMapM[G[_], A, B](fa: F[A])(f: (A) => G[B])(implicit G: Monad[G], B: Monoid[B]): G[B]
- Definition Classes
- Foldable
- def foldRightDefer[G[_], A, B](fa: F[A], gb: G[B])(fn: (A, G[B]) => G[B])(implicit arg0: Defer[G]): G[B]
- Definition Classes
- Foldable
- def forall[A](fa: F[A])(p: (A) => Boolean): Boolean
- Definition Classes
- Foldable → UnorderedFoldable
- def forallM[G[_], A](fa: F[A])(p: (A) => G[Boolean])(implicit G: Monad[G]): G[Boolean]
- Definition Classes
- Foldable
- def fproduct[A, B](fa: F[A])(f: (A) => B): F[(A, B)]
- Definition Classes
- Functor
- def fproductLeft[A, B](fa: F[A])(f: (A) => B): F[(B, A)]
- Definition Classes
- Functor
- def get[A](fa: F[A])(idx: Long): Option[A]
- Definition Classes
- Foldable
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- def ifF[A](fb: F[Boolean])(ifTrue: => A, ifFalse: => A): F[A]
- Definition Classes
- Functor
- def imap[A, B](fa: F[A])(f: (A) => B)(g: (B) => A): F[B]
- Definition Classes
- Functor → Invariant
- def intercalate[A](fa: F[A], a: A)(implicit A: Monoid[A]): A
- Definition Classes
- Foldable
- def intersperseList[A](xs: List[A], x: A): List[A]
- Attributes
- protected
- Definition Classes
- Foldable
- def isEmpty[A](fa: F[A]): Boolean
- Definition Classes
- Foldable → UnorderedFoldable
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def lift[A, B](f: (A) => B): (F[A]) => F[B]
- Definition Classes
- Functor
- def map[A, B](fa: F[A])(f: (A) => B): F[B]
- Definition Classes
- Traverse → Functor
- def mapAccumulate[S, A, B](init: S, fa: F[A])(f: (S, A) => (S, B)): (S, F[B])
- Definition Classes
- Traverse
- def mapOrKeep[A, A1 >: A](fa: F[A])(pf: PartialFunction[A, A1]): F[A1]
- Definition Classes
- Functor
- def mapWithIndex[A, B](fa: F[A])(f: (A, Int) => B): F[B]
- Definition Classes
- Traverse
- def mapWithLongIndex[A, B](fa: F[A])(f: (A, Long) => B): F[B]
- Definition Classes
- Traverse
- def maximumByList[A, B](fa: F[A])(f: (A) => B)(implicit arg0: Order[B]): List[A]
- Definition Classes
- Foldable
- def maximumByOption[A, B](fa: F[A])(f: (A) => B)(implicit arg0: Order[B]): Option[A]
- Definition Classes
- Foldable
- def maximumList[A](fa: F[A])(implicit A: Order[A]): List[A]
- Definition Classes
- Foldable
- def maximumOption[A](fa: F[A])(implicit A: Order[A]): Option[A]
- Definition Classes
- Foldable
- def minimumByList[A, B](fa: F[A])(f: (A) => B)(implicit arg0: Order[B]): List[A]
- Definition Classes
- Foldable
- def minimumByOption[A, B](fa: F[A])(f: (A) => B)(implicit arg0: Order[B]): Option[A]
- Definition Classes
- Foldable
- def minimumList[A](fa: F[A])(implicit A: Order[A]): List[A]
- Definition Classes
- Foldable
- def minimumOption[A](fa: F[A])(implicit A: Order[A]): Option[A]
- Definition Classes
- Foldable
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def nonEmpty[A](fa: F[A]): Boolean
- Definition Classes
- Foldable → UnorderedFoldable
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- def partitionBifold[H[_, _], A, B, C](fa: F[A])(f: (A) => H[B, C])(implicit A: Alternative[F], H: Bifoldable[H]): (F[B], F[C])
- Definition Classes
- Foldable
- def partitionBifoldM[G[_], H[_, _], A, B, C](fa: F[A])(f: (A) => G[H[B, C]])(implicit A: Alternative[F], M: Monad[G], H: Bifoldable[H]): G[(F[B], F[C])]
- Definition Classes
- Foldable
- def partitionEither[A, B, C](fa: F[A])(f: (A) => Either[B, C])(implicit A: Alternative[F]): (F[B], F[C])
- Definition Classes
- Foldable
- def partitionEitherM[G[_], A, B, C](fa: F[A])(f: (A) => G[Either[B, C]])(implicit A: Alternative[F], M: Monad[G]): G[(F[B], F[C])]
- Definition Classes
- Foldable
- def productAll[A](fa: F[A])(implicit A: Numeric[A]): A
- Definition Classes
- Foldable
- def reduceLeftOption[A](fa: F[A])(f: (A, A) => A): Option[A]
- Definition Classes
- Foldable
- def reduceLeftToOption[A, B](fa: F[A])(f: (A) => B)(g: (B, A) => B): Option[B]
- Definition Classes
- Foldable
- def reduceRightOption[A](fa: F[A])(f: (A, Eval[A]) => Eval[A]): Eval[Option[A]]
- Definition Classes
- Foldable
- def reduceRightToOption[A, B](fa: F[A])(f: (A) => B)(g: (A, Eval[B]) => Eval[B]): Eval[Option[B]]
- Definition Classes
- Foldable
- def sequence[G[_], A](fga: F[G[A]])(implicit arg0: Applicative[G]): G[F[A]]
- Definition Classes
- Traverse
- def sequence_[G[_], A](fga: F[G[A]])(implicit arg0: Applicative[G]): G[Unit]
- Definition Classes
- Foldable
- def size[A](fa: F[A]): Long
- Definition Classes
- UnorderedFoldable
- def sliding10[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding11[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding12[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding13[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding14[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding15[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding16[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding17[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding18[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding19[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding2[A](fa: F[A]): List[(A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding20[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding21[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding22[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding3[A](fa: F[A]): List[(A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding4[A](fa: F[A]): List[(A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding5[A](fa: F[A]): List[(A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding6[A](fa: F[A]): List[(A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding7[A](fa: F[A]): List[(A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding8[A](fa: F[A]): List[(A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sliding9[A](fa: F[A]): List[(A, A, A, A, A, A, A, A, A)]
- Definition Classes
- FoldableNFunctions
- def sumAll[A](fa: F[A])(implicit A: Numeric[A]): A
- Definition Classes
- Foldable
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def takeWhile_[A](fa: F[A])(p: (A) => Boolean): List[A]
- Definition Classes
- Foldable
- def toIterable[A](fa: F[A]): Iterable[A]
- Definition Classes
- Foldable
- def toList[A](fa: F[A]): List[A]
- Definition Classes
- Foldable
- def toString(): String
- Definition Classes
- AnyRef → Any
- def traverseTap[G[_], A, B](fa: F[A])(f: (A) => G[B])(implicit arg0: Applicative[G]): G[F[A]]
- Definition Classes
- Traverse
- def traverseWithIndexM[G[_], A, B](fa: F[A])(f: (A, Int) => G[B])(implicit G: Monad[G]): G[F[B]]
- Definition Classes
- Traverse
- def traverseWithLongIndexM[G[_], A, B](fa: F[A])(f: (A, Long) => G[B])(implicit G: Monad[G]): G[F[B]]
- Definition Classes
- Traverse
- def traverse_[G[_], A, B](fa: F[A])(f: (A) => G[B])(implicit G: Applicative[G]): G[Unit]
- Definition Classes
- Foldable
- def tupleLeft[A, B](fa: F[A], b: B): F[(B, A)]
- Definition Classes
- Functor
- def tupleRight[A, B](fa: F[A], b: B): F[(A, B)]
- Definition Classes
- Functor
- def unorderedFold[A](fa: F[A])(implicit arg0: CommutativeMonoid[A]): A
- Definition Classes
- Foldable → UnorderedFoldable
- def unorderedFoldMap[A, B](fa: F[A])(f: (A) => B)(implicit arg0: CommutativeMonoid[B]): B
- Definition Classes
- Foldable → UnorderedFoldable
- def unorderedSequence[G[_], A](fga: F[G[A]])(implicit arg0: CommutativeApplicative[G]): G[F[A]]
- Definition Classes
- Traverse → UnorderedTraverse
- def unorderedTraverse[G[_], A, B](sa: F[A])(f: (A) => G[B])(implicit arg0: CommutativeApplicative[G]): G[F[B]]
- Definition Classes
- Traverse → UnorderedTraverse
- def unzip[A, B](fab: F[(A, B)]): (F[A], F[B])
- Definition Classes
- Functor
- def updated_[A, B >: A](fa: F[A], idx: Long, b: B): Option[F[B]]
- Definition Classes
- Traverse
- def void[A](fa: F[A]): F[Unit]
- Definition Classes
- Functor
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def widen[A, B >: A](fa: F[A]): F[B]
- Definition Classes
- Functor
- def zipWithIndex[A](fa: F[A]): F[(A, Int)]
- Definition Classes
- Traverse
- def zipWithLongIndex[A](fa: F[A]): F[(A, Long)]
- Definition Classes
- Traverse