cats-docs/cats.syntax

cats.syntax

package cats.syntax

Type members

Classlikes

trait AlignSyntax extends ToAlignOps
trait AllSyntax extends AlternativeSyntax with NonEmptyAlternativeSyntax with AlignSyntax with ApplicativeSyntax with ApplicativeErrorSyntax with ApplySyntax with ArrowSyntax with ArrowChoiceSyntax with BifunctorSyntax with BifoldableSyntax with BitraverseSyntax with SemigroupalSyntax with CoflatMapSyntax with ComonadSyntax with ComposeSyntax with ContravariantSyntax with DistributiveSyntax with ContravariantMonoidalSyntax with ContravariantSemigroupalSyntax with EitherKSyntax with EitherSyntax with EqSyntax with FlatMapSyntax with FoldableSyntax with FunctorSyntax with GroupSyntax with HashSyntax with InvariantSyntax with IorSyntax with ListSyntax with MonadErrorSyntax with MonadSyntax with MonoidSyntax with OptionSyntax with OrderSyntax with ParallelSyntax with PartialOrderSyntax with ProfunctorSyntax with ReducibleSyntax with SemigroupSyntax with SemigroupKSyntax with ShowSyntax with StrongSyntax with TraverseSyntax with NonEmptyTraverseSyntax with ValidatedSyntax with VectorSyntax with WriterSyntax with ParallelFoldMapASyntax with ParallelTraverseFilterSyntax with ParallelReduceMapASyntax
abstract class AllSyntaxBinCompat extends AllSyntax with AllSyntaxBinCompat0 with AllSyntaxBinCompat1 with AllSyntaxBinCompat2 with AllSyntaxBinCompat3 with AllSyntaxBinCompat4 with AllSyntaxBinCompat5 with AllSyntaxBinCompat6 with AllSyntaxBinCompat7
trait AllSyntaxBinCompat0 extends UnorderedTraverseSyntax with TrySyntax
trait AllSyntaxBinCompat1 extends FlatMapOptionSyntax with ChoiceSyntax with NestedSyntax with BinestedSyntax with ParallelFlatSyntax with SetSyntax with ValidatedExtensionSyntax with RepresentableSyntax
trait AllSyntaxBinCompat2 extends ParallelTraverseSyntax with TraverseFilterSyntax with FunctorFilterSyntax
trait AllSyntaxBinCompat3 extends UnorderedFoldableSyntax with Function1Syntax
trait AllSyntaxBinCompat4 extends ParallelApplySyntax
trait AllSyntaxBinCompat5 extends ParallelBitraverseSyntax
trait AllSyntaxBinCompat6 extends ParallelUnorderedTraverseSyntax
trait AllSyntaxBinCompat7 extends SeqSyntax
trait AlternativeSyntax
final class ApplicativeByNameOps[F[_], A](fa: () => F[A]) extends AnyVal
final class ApplicativeByValueOps[F[_], A](fa: F[A]) extends AnyVal
final class ApplicativeErrorIdOps[E](e: E) extends AnyVal
final class ApplicativeErrorOps[F[_], E, A](fa: F[A]) extends AnyVal
trait ApplicativeErrorSyntax
final class ApplicativeIdOps[A](a: A) extends AnyVal
trait ApplicativeSyntax
final class ApplyOps[F[_], A](fa: F[A]) extends AnyVal
trait ApplySyntax extends TupleSemigroupalSyntax
trait ArrowChoiceSyntax extends ToArrowChoiceOps
trait ArrowSyntax extends ToArrowOps
trait BifoldableSyntax extends ToBifoldableOps
trait BifunctorSyntax extends ToBifunctorOps
final class BinestedIdOps[F[_, _], G[_], H[_], A, B](value: F[G[A], H[B]]) extends AnyVal
trait BinestedSyntax
final class BitraverseOps[F[_, _], A, B](fab: F[A, B]) extends AnyVal
trait BitraverseSyntax
trait ChoiceSyntax extends ToChoiceOps
trait CoflatMapSyntax extends ToCoflatMapOps
trait ComonadSyntax extends ToComonadOps
trait ComposeSyntax extends ToComposeOps
abstract class ContravariantMonoidalOps[F[_], A] extends Ops[F, A]
trait ContravariantMonoidalSyntax
trait ContravariantSemigroupalSyntax extends TupleSemigroupalSyntax
trait ContravariantSyntax extends ToContravariantOps
final class DistributiveOps[F[_], A](fa: F[A]) extends AnyVal
trait DistributiveSyntax extends ToDistributiveOps
final class EitherIdOps[A](obj: A) extends AnyVal
final class EitherKOps[F[_], A](fa: F[A]) extends AnyVal
trait EitherKSyntax
final class EitherObjectOps(either: Either) extends AnyVal
final class EitherOps[A, B](eab: Either[A, B]) extends AnyVal
trait EitherSyntax
Companion:
object
object EitherSyntax
Companion:
class
final class EqOps[A](lhs: A)(implicit evidence$1: Eq[A])
trait EqSyntax
final class FlatMapIdOps[A](a: A) extends AnyVal
final class FlatMapOps[F[_], A](fa: F[A]) extends AnyVal
final class FlatMapOptionOps[F[_], A](fopta: F[Option[A]]) extends AnyVal
trait FlatMapOptionSyntax
trait FlatMapSyntax extends ToFlatMapOps
final class FlattenOps[F[_], A](ffa: F[F[A]]) extends AnyVal
final class FoldableOps[F[_], A](fa: F[A]) extends AnyVal
final class FoldableOps0[F[_], A](fa: F[A]) extends AnyVal
trait FoldableSyntax extends ToFoldableOps with ToUnorderedFoldableOps
trait Function1Syntax
trait FunctorFilterSyntax extends ToFunctorFilterOps
trait FunctorSyntax extends ToFunctorOps
final class FunctorTuple2Ops[F[_], A, B](fab: F[(A, B)]) extends AnyVal
final class GroupOps[A](lhs: A)(implicit evidence$1: Group[A])
trait GroupSyntax extends SemigroupSyntax
final class GuardOps(condition: Boolean) extends AnyVal
final class HashOps[A](a: A)(implicit evidence$1: Hash[A])
trait HashSyntax
final class IfApplyOps[F[_]](fcond: F[Boolean]) extends AnyVal
final class IfFOps[F[_]](fa: F[Boolean]) extends AnyVal
final class IfMOps[F[_]](fa: F[Boolean]) extends AnyVal
final class IndexOps[F[_], A](fa: F[A]) extends AnyVal
trait InvariantSyntax extends ToInvariantOps
final class IorIdOps[A](a: A) extends AnyVal
trait IorSyntax
final class LeftNestedBitraverseOps[F[_, _], G[_], A, B](val fgab: F[G[A], B]) extends AnyVal
final class LeftOps[A, B](left: Left[A, B]) extends AnyVal
final class ListOps[A](la: List[A]) extends AnyVal
trait ListSyntax
final class MonadErrorOps[F[_], E, A](fa: F[A]) extends AnyVal
final class MonadErrorRethrowOps[F[_], E, A](fea: F[Either[E, A]]) extends AnyVal
trait MonadErrorSyntax
final class MonadIdOps[A](a: A) extends AnyVal
final class MonadOps[F[_], A](fa: F[A]) extends AnyVal
trait MonadSyntax
final class MonoidOps[A](lhs: A) extends AnyVal
trait MonoidSyntax extends SemigroupSyntax
final class NestedBitraverseOps[F[_, _], G[_], A, B](fgagb: F[G[A], G[B]]) extends AnyVal
final class NestedFoldableOps[F[_], G[_], A](fga: F[G[A]]) extends AnyVal
final class NestedIdOps[F[_], G[_], A](value: F[G[A]]) extends AnyVal
final class NestedReducibleOps[F[_], G[_], A](fga: F[G[A]]) extends AnyVal
trait NestedSyntax
final class NonEmptyAlternativeOps[F[_], A] extends AnyVal
trait NonEmptyAlternativeSyntax
final class NonEmptyParallelApOps[M[_], A](ma: M[A]) extends AnyVal
final class NonEmptyParallelApplyOps[M[_], A, B](mab: M[A => B]) extends AnyVal
trait NonEmptyTraverseSyntax extends ToNonEmptyTraverseOps
final class OptionIdOps[A](a: A) extends AnyVal
final class OptionOps[A](oa: Option[A]) extends AnyVal
Companion:
object
object OptionOps
Companion:
class
trait OptionSyntax
final class OrderOps[A](lhs: A)(implicit evidence$1: Order[A])
trait OrderSyntax extends PartialOrderSyntax
final class ParallelApOps1[M[_], A](ma: M[A]) extends AnyVal
trait ParallelApplySyntax
final class ParallelBisequenceOps[T[_, _], M[_], A, B](tmamb: T[M[A], M[B]]) extends AnyVal
final class ParallelBitraverseOps[T[_, _], A, B](tab: T[A, B]) extends AnyVal
trait ParallelBitraverseSyntax
final class ParallelFlatSequenceOps1[T[_], M[_], A](tmta: T[M[T[A]]]) extends AnyVal
trait ParallelFlatSyntax
final class ParallelFlatTraversableOps1[T[_], A](ta: T[A]) extends AnyVal
final class ParallelFoldMapAOps[T[_], A](ma: T[A]) extends AnyVal
trait ParallelFoldMapASyntax
final class ParallelLeftSequenceOps[T[_, _], M[_], A, B](tmab: T[M[A], B]) extends AnyVal
final class ParallelLeftTraverseOps[T[_, _], A, B](tab: T[A, B]) extends AnyVal
final class ParallelReduceMapAOps[T[_], A](ma: T[A]) extends AnyVal
trait ParallelReduceMapASyntax
final class ParallelSequenceFilterOps[T[_], M[_], A](tmoa: T[M[Option[A]]]) extends AnyVal
final class ParallelSequenceOps1[T[_], M[_], A](tma: T[M[A]]) extends AnyVal
final class ParallelSequence_Ops[T[_], M[_], A](tma: T[M[A]]) extends AnyVal
trait ParallelSyntax extends TupleParallelSyntax
final class ParallelTraversableOps1[T[_], A](ta: T[A]) extends AnyVal
final class ParallelTraversable_Ops[T[_], A](ta: T[A]) extends AnyVal
final class ParallelTraverseFilterOps[T[_], A](ta: T[A]) extends AnyVal
trait ParallelTraverseFilterSyntax
trait ParallelTraverseSyntax
final class ParallelUnorderedFlatSequenceOps[T[_], M[_], A](tmta: T[M[T[A]]]) extends AnyVal
final class ParallelUnorderedSequenceOps[T[_], M[_], A](tmta: T[M[A]]) extends AnyVal
final class ParallelUnorderedTraverseOps[T[_], A](ta: T[A]) extends AnyVal
trait ParallelUnorderedTraverseSyntax
final class PartialOrderOps[A](lhs: A)(implicit A: PartialOrder[A])
trait PartialOrderSyntax extends EqSyntax
trait ProfunctorSyntax extends ToProfunctorOps
final class ReducibleOps0[F[_], A](fa: F[A]) extends AnyVal
trait ReducibleSyntax extends ToReducibleOps
trait RepresentableSyntax
final class RightOps[A, B](right: Right[A, B]) extends AnyVal
trait SemigroupKSyntax extends ToSemigroupKOps
final class SemigroupOps[A](lhs: A)(implicit evidence$1: Semigroup[A])
trait SemigroupSyntax
abstract class SemigroupalOps[F[_], A] extends Ops[F, A]
trait SemigroupalSyntax
final class SeparateOps[F[_], G[_, _], A, B](val fgab: F[G[A, B]]) extends AnyVal
final class SeqOps[A](va: Seq[A]) extends AnyVal
trait SeqSyntax
final class SequenceFilterOps[F[_], G[_], A](fgoa: F[G[Option[A]]]) extends AnyVal
final class SetOps[A](se: SortedSet[A]) extends AnyVal
trait SetSyntax
trait ShowSyntax extends ToShowOps
trait StrongSyntax extends ToStrongOps
final class TabulateOps[A, R](f: R => A) extends AnyVal
trait TraverseFilterSyntax extends ToTraverseFilterOps
trait TraverseSyntax extends ToTraverseOps
final class TryOps[A](self: Try[A]) extends AnyVal
trait TrySyntax
trait TupleParallelSyntax
trait TupleSemigroupalSyntax
final class UniteOps[F[_], G[_], A](val fga: F[G[A]]) extends AnyVal
final class UnorderedFoldableOps[F[_], A](fa: F[A]) extends AnyVal
trait UnorderedFoldableSyntax extends ToUnorderedFoldableOps
trait UnorderedTraverseSyntax extends ToUnorderedTraverseOps
final class ValidatedExtension[E, A](self: Validated[E, A]) extends AnyVal
trait ValidatedExtensionSyntax
final class ValidatedIdSyntax[A](a: A) extends AnyVal
trait ValidatedSyntax
final class VectorOps[A](va: Vector[A]) extends AnyVal
trait VectorSyntax
final class WriterIdSyntax[A](a: A) extends AnyVal
trait WriterSyntax
object align extends AlignSyntax
object all extends AllSyntaxBinCompat
object alternative extends AlternativeSyntax
object applicative extends ApplicativeSyntax
object applicativeError extends ApplicativeErrorSyntax
object apply extends ApplySyntax
object arrow extends ArrowSyntax
object arrowChoice extends ArrowChoiceSyntax
object bifoldable extends BifoldableSyntax
object bifunctor extends BifunctorSyntax
object binested extends BinestedSyntax
object bitraverse extends BitraverseSyntax
object choice extends ChoiceSyntax
object coflatMap extends CoflatMapSyntax
object comonad extends ComonadSyntax
object compose extends ComposeSyntax
object contravariant extends ContravariantSyntax
object contravariantMonoidal extends ContravariantMonoidalSyntax
object contravariantSemigroupal extends ContravariantSemigroupalSyntax
object distributive extends DistributiveSyntax
object either extends EitherSyntax
object eitherK extends EitherKSyntax
object eq extends EqSyntax
object flatMap extends FlatMapSyntax with FlatMapOptionSyntax
object foldable extends FoldableSyntax
object functor extends FunctorSyntax
object functorFilter extends FunctorFilterSyntax
object group extends GroupSyntax
object hash extends HashSyntax
object invariant extends InvariantSyntax
object ior extends IorSyntax
object list extends ListSyntax
object monad extends MonadSyntax
object monadError extends MonadErrorSyntax
object monoid extends MonoidSyntax
object nested extends NestedSyntax
object nonEmptyAlternative extends NonEmptyAlternativeSyntax
object nonEmptyTraverse extends NonEmptyTraverseSyntax
object option extends OptionSyntax
object order extends OrderSyntax
object parallel extends ParallelSyntax with ParallelTraverseSyntax with ParallelFlatSyntax with ParallelApplySyntax with ParallelBitraverseSyntax with ParallelUnorderedTraverseSyntax with ParallelFoldMapASyntax with ParallelTraverseFilterSyntax with ParallelReduceMapASyntax
object partialOrder extends PartialOrderSyntax
object profunctor extends ProfunctorSyntax
object reducible extends ReducibleSyntax
object representable extends RepresentableSyntax
object semigroup extends SemigroupSyntax
object semigroupal extends SemigroupalSyntax
object semigroupk extends SemigroupKSyntax
object seq extends SeqSyntax
object set extends SetSyntax
object show extends ShowSyntax
object strong extends StrongSyntax
object traverse extends TraverseSyntax
object traverseFilter extends TraverseFilterSyntax
object try_ extends TrySyntax
object unorderedFoldable extends UnorderedFoldableSyntax
object unorderedTraverse extends UnorderedTraverseSyntax
object validated extends ValidatedSyntax with ValidatedExtensionSyntax
object vector extends VectorSyntax
object writer extends WriterSyntax

Deprecated classlikes

@deprecated("Use by-value or by-name version", "2.8.0")
final class ApplicativeOps[F[_], A](fa: F[A]) extends AnyVal
Deprecated
@deprecated("Kept for binary compatibility", "2.8.0")
final class ParallelApOps[M[_], A](ma: M[A]) extends AnyVal
Deprecated
@deprecated("Kept for binary compatibility", "2.8.0")
final class ParallelApplyOps[M[_], A, B](mab: M[A => B]) extends AnyVal
Deprecated
@deprecated("Kept for binary compatibility", "2.6.0")
final class ParallelFlatSequenceOps[T[_], M[_], A](tmta: T[M[T[A]]]) extends AnyVal
Deprecated
@deprecated("Kept for binary compatibility", "2.6.0")
final class ParallelFlatTraversableOps[T[_], A](ta: T[A]) extends AnyVal
Deprecated
@deprecated("Kept for binary compatibility", "2.6.0")
final class ParallelSequenceOps[T[_], M[_], A](tma: T[M[A]]) extends AnyVal
Deprecated
@deprecated("Kept for binary compatibility", "2.6.0")
final class ParallelTraversableOps[T[_], A](ta: T[A]) extends AnyVal
Deprecated