scalaz.syntax

Type members

Classlikes

final
class AlignOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Align

Wraps a value self and provides methods related to Align

trait AlignSyntax[F[_]] extends FunctorSyntax[F]
final
class AltOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Alt

Wraps a value self and provides methods related to Alt

trait AltSyntax[F[_]] extends ApplicativeSyntax[F] with InvariantAltSyntax[F]
final
class ApplicativeBuilder[M[_], A, B](a: M[A], b: M[B])(implicit ap: Apply[M])
final
class ApplicativeErrorOps[F[_], S, A]

Wraps a value self and provides methods related to ApplicativeError

Wraps a value self and provides methods related to ApplicativeError

final
class ApplicativeOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Applicative

Wraps a value self and provides methods related to Applicative

final
class ApplicativePlusOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to ApplicativePlus

Wraps a value self and provides methods related to ApplicativePlus

final
class ApplyOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Apply

Wraps a value self and provides methods related to Apply

trait ApplySyntax[F[_]] extends FunctorSyntax[F]
final
class ArrowOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Arrow

Wraps a value self and provides methods related to Arrow

trait ArrowSyntax[F[_, _]] extends SplitSyntax[F] with StrongSyntax[F] with CategorySyntax[F]
final
class AssociativeOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Associative

Wraps a value self and provides methods related to Associative

trait AssociativeSyntax[F[_, _]]
final
class BandOps[F] extends Ops[F]

Wraps a value self and provides methods related to Band

Wraps a value self and provides methods related to Band

trait BandSyntax[F] extends SemigroupSyntax[F]
final
class BifoldableOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Bifoldable

Wraps a value self and provides methods related to Bifoldable

trait BifoldableSyntax[F[_, _]]
final
class BifunctorOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Bifunctor

Wraps a value self and provides methods related to Bifunctor

trait BifunctorSyntax[F[_, _]]
final
class BindOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Bind

Wraps a value self and provides methods related to Bind

final
class BindRecOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to BindRec

Wraps a value self and provides methods related to BindRec

trait BindRecSyntax[F[_]] extends BindSyntax[F]
trait BindSyntax[F[_]] extends ApplySyntax[F]
final
class BitraverseOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Bitraverse

Wraps a value self and provides methods related to Bitraverse

trait BitraverseSyntax[F[_, _]] extends BifunctorSyntax[F] with BifoldableSyntax[F]
final
class CatchableOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Catchable

Wraps a value self and provides methods related to Catchable

trait CatchableSyntax[F[_]]
final
class CategoryOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Category

Wraps a value self and provides methods related to Category

trait CategorySyntax[F[_, _]] extends ComposeSyntax[F]
final
class ChoiceOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Choice

Wraps a value self and provides methods related to Choice

trait ChoiceSyntax[F[_, _]] extends CategorySyntax[F]
final
class CobindOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Cobind

Wraps a value self and provides methods related to Cobind

trait CobindSyntax[F[_]] extends FunctorSyntax[F]
final
class ComonadOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Comonad

Wraps a value self and provides methods related to Comonad

trait ComonadSyntax[F[_]] extends CobindSyntax[F]
final
class ComposeOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Compose

Wraps a value self and provides methods related to Compose

trait ComposeSyntax[F[_, _]]
final
class ConstOps[A](self: A) extends AnyVal

Provides Const-related methods for any value.

Provides Const-related methods for any value.

final
class ContTOps[M[_], A](self: M[A]) extends AnyVal
final
class ContravariantOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Contravariant

Wraps a value self and provides methods related to Contravariant

final
class CozipOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Cozip

Wraps a value self and provides methods related to Cozip

trait CozipSyntax[F[_]]
final
class DecidableOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Decidable

Wraps a value self and provides methods related to Decidable

final
class DistributiveOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Distributive

Wraps a value self and provides methods related to Distributive

trait DistributiveSyntax[F[_]] extends FunctorSyntax[F]
final
class DivideOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Divide

Wraps a value self and provides methods related to Divide

trait DivideSyntax[F[_]] extends ContravariantSyntax[F]
final
class DivisibleOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Divisible

Wraps a value self and provides methods related to Divisible

final
class EitherOps[A](self: A) extends AnyVal
final
class EitherTOps[V](self: V) extends AnyVal
final
class EnumOps[F] extends Ops[F]

Wraps a value self and provides methods related to Enum

Wraps a value self and provides methods related to Enum

trait EnumSyntax[F] extends OrderSyntax[F]
final
class EqualOps[F] extends Ops[F]

Wraps a value self and provides methods related to Equal

Wraps a value self and provides methods related to Equal

trait EqualSyntax[F]
final
class Foldable1Ops[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Foldable1

Wraps a value self and provides methods related to Foldable1

trait Foldable1Syntax[F[_]] extends FoldableSyntax[F]
final
class FoldableOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Foldable

Wraps a value self and provides methods related to Foldable

trait FoldableSyntax[F[_]]
final
class FunctorOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Functor

Wraps a value self and provides methods related to Functor

final
class IdOps[A](self: A) extends AnyVal
final
class InvariantAltOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to InvariantAlt

Wraps a value self and provides methods related to InvariantAlt

final
class InvariantApplicativeOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to InvariantApplicative

Wraps a value self and provides methods related to InvariantApplicative

final
class InvariantFunctorOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to InvariantFunctor

Wraps a value self and provides methods related to InvariantFunctor

final
class IsContravariantOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to IsContravariant

Wraps a value self and provides methods related to IsContravariant

final
class IsCovariantOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to IsCovariant

Wraps a value self and provides methods related to IsCovariant

trait IsCovariantSyntax[F[_]]
final
class IsEmptyOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to IsEmpty

Wraps a value self and provides methods related to IsEmpty

trait IsEmptySyntax[F[_]] extends PlusEmptySyntax[F]
final
class KleisliFAOps[F[_], A](self: F[A]) extends AnyVal
final
class KleisliIdOps[A](self: A) extends AnyVal
final
class MaybeOps[A](self: A) extends AnyVal
final
class MonadErrorIdOps[S](self: S) extends AnyVal
final
class MonadErrorOps[F[_], S, A]

Wraps a value self and provides methods related to MonadError

Wraps a value self and provides methods related to MonadError

trait MonadErrorSyntax[F[_], S] extends MonadSyntax[F] with ApplicativeErrorSyntax[F, S]
final
class MonadListenOps[F[_], W, A]
trait MonadListenSyntax[F[_], W] extends MonadTellSyntax[F, W]
final
class MonadOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Monad

Wraps a value self and provides methods related to Monad

final
class MonadPlusOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to MonadPlus

Wraps a value self and provides methods related to MonadPlus

trait MonadSyntax[F[_]] extends ApplicativeSyntax[F] with BindSyntax[F]
final
class MonadTellOps[F[_], S, A]

Wraps a value self and provides methods related to MonadTell

Wraps a value self and provides methods related to MonadTell

trait MonadTellSyntax[F[_], S] extends MonadSyntax[F]
final
class MonadTransGFGA[F[_[_], _], G[_], A](self: G[F[G, A]]) extends AnyVal
final
class MonoidOps[F] extends Ops[F]

Wraps a value self and provides methods related to Monoid

Wraps a value self and provides methods related to Monoid

trait MonoidSyntax[F] extends SemigroupSyntax[F]
final
class NelOps[A](self: A) extends AnyVal
final
class NondeterminismOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Nondeterminism

Wraps a value self and provides methods related to Nondeterminism

trait NondeterminismSyntax[F[_]] extends MonadSyntax[F]
trait Ops[A]
final
class OptionalOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Optional

Wraps a value self and provides methods related to Optional

trait OptionalSyntax[F[_]]
final
class OrderOps[F] extends Ops[F]

Wraps a value self and provides methods related to Order

Wraps a value self and provides methods related to Order

trait OrderSyntax[F] extends EqualSyntax[F]
final
class PlusEmptyOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to PlusEmpty

Wraps a value self and provides methods related to PlusEmpty

trait PlusEmptySyntax[F[_]] extends PlusSyntax[F]
final
class PlusOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Plus

Wraps a value self and provides methods related to Plus

trait PlusSyntax[F[_]]
final
class ProChoiceOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to ProChoice

Wraps a value self and provides methods related to ProChoice

trait ProChoiceSyntax[F[_, _]] extends ProfunctorSyntax[F]
final
class ProfunctorOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Profunctor

Wraps a value self and provides methods related to Profunctor

trait ProfunctorSyntax[F[_, _]]
final
class ReducerOps[A](self: A) extends AnyVal
Companion
object
object ReducerOps
Companion
class
final
class SemiLatticeOps[F] extends Ops[F]

Wraps a value self and provides methods related to SemiLattice

Wraps a value self and provides methods related to SemiLattice

trait SemiLatticeSyntax[F] extends BandSyntax[F]
final
class SemigroupOps[F] extends Ops[F]

Wraps a value self and provides methods related to Semigroup

Wraps a value self and provides methods related to Semigroup

final
class ShowOps[F] extends Ops[F]

Wraps a value self and provides methods related to Show

Wraps a value self and provides methods related to Show

trait ShowSyntax[F]
final
class SplitOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Split

Wraps a value self and provides methods related to Split

trait SplitSyntax[F[_, _]] extends ComposeSyntax[F]
final
class StateOps[A](self: A) extends AnyVal
final
class StrictTreeOps[A](self: A) extends AnyVal
final
class StrongOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to Strong

Wraps a value self and provides methods related to Strong

trait StrongSyntax[F[_, _]] extends ProfunctorSyntax[F]
trait Syntaxes
final
class TagOps[A, T] extends AnyVal
final
class TheseOps[A](self: A) extends AnyVal
final
class ThesePairOps[A, B](self: (A, B)) extends AnyVal
trait ToAlignOps[TC <: ([F[_]] =>> Align[F])] extends ToAlignOps0[TC] with ToFunctorOps[TC]
trait ToAlignOps0[TC <: ([F[_]] =>> Align[F])] extends ToAlignOpsU[TC]
sealed
trait ToAlignOpsU[TC <: ([F[_]] =>> Align[F])]
trait ToAltOps[TC <: ([F[_]] =>> Alt[F])] extends ToAltOps0[TC] with ToApplicativeOps[TC] with ToInvariantAltOps[TC]
trait ToAltOps0[TC <: ([F[_]] =>> Alt[F])] extends ToAltOpsU[TC]
sealed
trait ToAltOpsU[TC <: ([F[_]] =>> Alt[F])]
trait ToApplicativeErrorOps[TC <: ([F[_], S] =>> ApplicativeError[F, S])] extends ToApplicativeErrorOps0[TC]
trait ToApplicativeErrorOps0[TC <: ([F[_], S] =>> ApplicativeError[F, S])]
trait ToApplicativeOps[TC <: ([F[_]] =>> Applicative[F])] extends ToApplicativeOps0[TC] with ToApplyOps[TC] with ToInvariantApplicativeOps[TC]
trait ToApplicativeOps0[TC <: ([F[_]] =>> Applicative[F])] extends ToApplicativeOpsU[TC]
sealed
trait ToApplicativeOpsU[TC <: ([F[_]] =>> Applicative[F])]
trait ToApplicativePlusOps[TC <: ([F[_]] =>> ApplicativePlus[F])] extends ToApplicativePlusOps0[TC] with ToApplicativeOps[TC] with ToPlusEmptyOps[TC]
trait ToApplicativePlusOps0[TC <: ([F[_]] =>> ApplicativePlus[F])] extends ToApplicativePlusOpsU[TC]
sealed
trait ToApplicativePlusOpsU[TC <: ([F[_]] =>> ApplicativePlus[F])]
trait ToApplyOps[TC <: ([F[_]] =>> Apply[F])] extends ToApplyOps0[TC] with ToFunctorOps[TC]
trait ToApplyOps0[TC <: ([F[_]] =>> Apply[F])] extends ToApplyOpsU[TC]
sealed
trait ToApplyOpsU[TC <: ([F[_]] =>> Apply[F])]
trait ToArrowOps[TC <: ([F[_, _]] =>> Arrow[F])] extends ToArrowOps0[TC] with ToSplitOps[TC] with ToStrongOps[TC] with ToCategoryOps[TC]
trait ToArrowOps0[TC <: ([F[_, _]] =>> Arrow[F])] extends ToArrowOpsU[TC]
sealed
trait ToArrowOpsU[TC <: ([F[_, _]] =>> Arrow[F])]
trait ToAssociativeOps[TC <: ([F[_, _]] =>> Associative[F])] extends ToAssociativeOps0[TC]
trait ToAssociativeOps0[TC <: ([F[_, _]] =>> Associative[F])] extends ToAssociativeOpsU[TC]
sealed
trait ToAssociativeOpsU[TC <: ([F[_, _]] =>> Associative[F])]
trait ToBifoldableOps[TC <: ([F[_, _]] =>> Bifoldable[F])] extends ToBifoldableOps0[TC]
trait ToBifoldableOps0[TC <: ([F[_, _]] =>> Bifoldable[F])] extends ToBifoldableOpsU[TC]
sealed
trait ToBifoldableOpsU[TC <: ([F[_, _]] =>> Bifoldable[F])]
trait ToBifunctorOps[TC <: ([F[_, _]] =>> Bifunctor[F])] extends ToBifunctorOps0[TC]
trait ToBifunctorOps0[TC <: ([F[_, _]] =>> Bifunctor[F])] extends ToBifunctorOpsU[TC]
sealed
trait ToBifunctorOpsU[TC <: ([F[_, _]] =>> Bifunctor[F])]
trait ToBindOps[TC <: ([F[_]] =>> Bind[F])] extends ToBindOps0[TC] with ToApplyOps[TC]
trait ToBindOps0[TC <: ([F[_]] =>> Bind[F])] extends ToBindOpsU[TC]
sealed
trait ToBindOpsU[TC <: ([F[_]] =>> Bind[F])]
trait ToBindRecOps[TC <: ([F[_]] =>> BindRec[F])] extends ToBindRecOps0[TC] with ToBindOps[TC]
trait ToBindRecOps0[TC <: ([F[_]] =>> BindRec[F])] extends ToBindRecOpsU[TC]
sealed
trait ToBindRecOpsU[TC <: ([F[_]] =>> BindRec[F])]
trait ToBitraverseOps[TC <: ([F[_, _]] =>> Bitraverse[F])] extends ToBitraverseOps0[TC] with ToBifunctorOps[TC] with ToBifoldableOps[TC]
trait ToBitraverseOps0[TC <: ([F[_, _]] =>> Bitraverse[F])] extends ToBitraverseOpsU[TC]
sealed
trait ToBitraverseOpsU[TC <: ([F[_, _]] =>> Bitraverse[F])]
trait ToCatchableOps[TC <: ([F[_]] =>> Catchable[F])] extends ToCatchableOps0[TC]
trait ToCatchableOps0[TC <: ([F[_]] =>> Catchable[F])] extends ToCatchableOpsU[TC]
sealed
trait ToCatchableOpsU[TC <: ([F[_]] =>> Catchable[F])]
trait ToCategoryOps[TC <: ([F[_, _]] =>> Category[F])] extends ToCategoryOps0[TC] with ToComposeOps[TC]
trait ToCategoryOps0[TC <: ([F[_, _]] =>> Category[F])] extends ToCategoryOpsU[TC]
sealed
trait ToCategoryOpsU[TC <: ([F[_, _]] =>> Category[F])]
trait ToChoiceOps[TC <: ([F[_, _]] =>> Choice[F])] extends ToChoiceOps0[TC] with ToCategoryOps[TC]
trait ToChoiceOps0[TC <: ([F[_, _]] =>> Choice[F])] extends ToChoiceOpsU[TC]
sealed
trait ToChoiceOpsU[TC <: ([F[_, _]] =>> Choice[F])]
trait ToCobindOps[TC <: ([F[_]] =>> Cobind[F])] extends ToCobindOps0[TC] with ToFunctorOps[TC]
trait ToCobindOps0[TC <: ([F[_]] =>> Cobind[F])] extends ToCobindOpsU[TC]
sealed
trait ToCobindOpsU[TC <: ([F[_]] =>> Cobind[F])]
trait ToComonadOps[TC <: ([F[_]] =>> Comonad[F])] extends ToComonadOps0[TC] with ToCobindOps[TC]
trait ToComonadOps0[TC <: ([F[_]] =>> Comonad[F])] extends ToComonadOpsU[TC]
sealed
trait ToComonadOpsU[TC <: ([F[_]] =>> Comonad[F])]
trait ToComposeOps[TC <: ([F[_, _]] =>> Compose[F])] extends ToComposeOps0[TC]
trait ToComposeOps0[TC <: ([F[_, _]] =>> Compose[F])] extends ToComposeOpsU[TC]
sealed
trait ToComposeOpsU[TC <: ([F[_, _]] =>> Compose[F])]
trait ToContravariantOps[TC <: ([F[_]] =>> Contravariant[F])] extends ToContravariantOps0[TC] with ToInvariantFunctorOps[TC]
trait ToContravariantOps0[TC <: ([F[_]] =>> Contravariant[F])] extends ToContravariantOpsU[TC]
sealed
trait ToContravariantOpsU[TC <: ([F[_]] =>> Contravariant[F])]
trait ToCozipOps[TC <: ([F[_]] =>> Cozip[F])] extends ToCozipOps0[TC]
trait ToCozipOps0[TC <: ([F[_]] =>> Cozip[F])] extends ToCozipOpsU[TC]
sealed
trait ToCozipOpsU[TC <: ([F[_]] =>> Cozip[F])]
trait ToDecidableOps[TC <: ([F[_]] =>> Decidable[F])] extends ToDecidableOps0[TC] with ToDivisibleOps[TC] with ToInvariantAltOps[TC]
trait ToDecidableOps0[TC <: ([F[_]] =>> Decidable[F])] extends ToDecidableOpsU[TC]
sealed
trait ToDecidableOpsU[TC <: ([F[_]] =>> Decidable[F])]
trait ToDistributiveOps[TC <: ([F[_]] =>> Distributive[F])] extends ToDistributiveOps0[TC] with ToFunctorOps[TC]
trait ToDistributiveOps0[TC <: ([F[_]] =>> Distributive[F])] extends ToDistributiveOpsU[TC]
sealed
trait ToDistributiveOpsU[TC <: ([F[_]] =>> Distributive[F])]
trait ToDivideOps[TC <: ([F[_]] =>> Divide[F])] extends ToDivideOps0[TC] with ToContravariantOps[TC]
trait ToDivideOps0[TC <: ([F[_]] =>> Divide[F])] extends ToDivideOpsU[TC]
sealed
trait ToDivideOpsU[TC <: ([F[_]] =>> Divide[F])]
trait ToDivisibleOps[TC <: ([F[_]] =>> Divisible[F])] extends ToDivisibleOps0[TC] with ToDivideOps[TC] with ToInvariantApplicativeOps[TC]
trait ToDivisibleOps0[TC <: ([F[_]] =>> Divisible[F])] extends ToDivisibleOpsU[TC]
sealed
trait ToDivisibleOpsU[TC <: ([F[_]] =>> Divisible[F])]
trait ToEnumOps extends ToOrderOps
trait ToFoldable1Ops[TC <: ([F[_]] =>> Foldable1[F])] extends ToFoldable1Ops0[TC] with ToFoldableOps[TC]
trait ToFoldable1Ops0[TC <: ([F[_]] =>> Foldable1[F])] extends ToFoldable1OpsU[TC]
sealed
trait ToFoldable1OpsU[TC <: ([F[_]] =>> Foldable1[F])]
trait ToFoldableOps[TC <: ([F[_]] =>> Foldable[F])] extends ToFoldableOps0[TC]
trait ToFoldableOps0[TC <: ([F[_]] =>> Foldable[F])] extends ToFoldableOpsU[TC]
sealed
trait ToFoldableOpsU[TC <: ([F[_]] =>> Foldable[F])]
trait ToFunctorOps[TC <: ([F[_]] =>> Functor[F])] extends ToFunctorOps0[TC] with ToInvariantFunctorOps[TC]
trait ToFunctorOps0[TC <: ([F[_]] =>> Functor[F])] extends ToFunctorOpsU[TC]
sealed
trait ToFunctorOpsU[TC <: ([F[_]] =>> Functor[F])]
trait ToIdOps
trait ToInvariantAltOps[TC <: ([F[_]] =>> InvariantAlt[F])] extends ToInvariantAltOps0[TC] with ToInvariantApplicativeOps[TC]
trait ToInvariantAltOps0[TC <: ([F[_]] =>> InvariantAlt[F])] extends ToInvariantAltOpsU[TC]
sealed
trait ToInvariantAltOpsU[TC <: ([F[_]] =>> InvariantAlt[F])]
sealed
trait ToInvariantFunctorOps[TC <: ([F[_]] =>> InvariantFunctor[F])] extends ToInvariantFunctorOps0[TC]
trait ToInvariantFunctorOps0[TC <: ([F[_]] =>> InvariantFunctor[F])] extends ToInvariantFunctorOpsU[TC]
sealed
trait ToInvariantFunctorOpsU[TC <: ([F[_]] =>> InvariantFunctor[F])]
trait ToIsContravariantOps[TC <: ([F[_]] =>> IsContravariant[F])] extends ToIsContravariantOps0[TC]
trait ToIsContravariantOps0[TC <: ([F[_]] =>> IsContravariant[F])] extends ToIsContravariantOpsU[TC]
sealed
trait ToIsContravariantOpsU[TC <: ([F[_]] =>> IsContravariant[F])]
trait ToIsCovariantOps[TC <: ([F[_]] =>> IsCovariant[F])] extends ToIsCovariantOps0[TC]
trait ToIsCovariantOps0[TC <: ([F[_]] =>> IsCovariant[F])] extends ToIsCovariantOpsU[TC]
sealed
trait ToIsCovariantOpsU[TC <: ([F[_]] =>> IsCovariant[F])]
trait ToIsEmptyOps[TC <: ([F[_]] =>> IsEmpty[F])] extends ToIsEmptyOps0[TC] with ToPlusEmptyOps[TC]
trait ToIsEmptyOps0[TC <: ([F[_]] =>> IsEmpty[F])] extends ToIsEmptyOpsU[TC]
sealed
trait ToIsEmptyOpsU[TC <: ([F[_]] =>> IsEmpty[F])]
sealed
trait ToMonadErrorOps[TC <: ([F[_], S] =>> MonadError[F, S])] extends ToMonadErrorOps0[TC] with ToApplicativeErrorOps[TC]
trait ToMonadErrorOps0[TC <: ([F[_], S] =>> MonadError[F, S])]
trait ToMonadListenOps[TC <: ([F[_], W] =>> MonadListen[F, W])] extends ToMonadListenOps0[TC] with ToMonadTellOps[TC]
trait ToMonadListenOps0[TC <: ([F[_], W] =>> MonadListen[F, W])]
trait ToMonadOps[TC <: ([F[_]] =>> Monad[F])] extends ToMonadOps0[TC] with ToApplicativeOps[TC] with ToBindOps[TC]
trait ToMonadOps0[TC <: ([F[_]] =>> Monad[F])] extends ToMonadOpsU[TC]
sealed
trait ToMonadOpsU[TC <: ([F[_]] =>> Monad[F])]
trait ToMonadPlusOps[TC <: ([F[_]] =>> MonadPlus[F])] extends ToMonadPlusOps0[TC] with ToMonadOps[TC] with ToApplicativePlusOps[TC]
trait ToMonadPlusOps0[TC <: ([F[_]] =>> MonadPlus[F])] extends ToMonadPlusOpsU[TC]
sealed
trait ToMonadPlusOpsU[TC <: ([F[_]] =>> MonadPlus[F])]
trait ToMonadTellOps[TC <: ([F[_], S] =>> MonadTell[F, S])] extends ToMonadTellOps0[TC]
trait ToMonadTellOps0[TC <: ([F[_], S] =>> MonadTell[F, S])]
trait ToNelOps
trait ToNondeterminismOps[TC <: ([F[_]] =>> Nondeterminism[F])] extends ToNondeterminismOps0[TC] with ToMonadOps[TC]
trait ToNondeterminismOps0[TC <: ([F[_]] =>> Nondeterminism[F])] extends ToNondeterminismOpsU[TC]
sealed
trait ToNondeterminismOpsU[TC <: ([F[_]] =>> Nondeterminism[F])]
trait ToOptionalOps[TC <: ([F[_]] =>> Optional[F])] extends ToOptionalOps0[TC]
trait ToOptionalOps0[TC <: ([F[_]] =>> Optional[F])] extends ToOptionalOpsU[TC]
sealed
trait ToOptionalOpsU[TC <: ([F[_]] =>> Optional[F])]
trait ToOrderOps extends ToEqualOps
trait ToPlusEmptyOps[TC <: ([F[_]] =>> PlusEmpty[F])] extends ToPlusEmptyOps0[TC] with ToPlusOps[TC]
trait ToPlusEmptyOps0[TC <: ([F[_]] =>> PlusEmpty[F])] extends ToPlusEmptyOpsU[TC]
sealed
trait ToPlusEmptyOpsU[TC <: ([F[_]] =>> PlusEmpty[F])]
trait ToPlusOps[TC <: ([F[_]] =>> Plus[F])] extends ToPlusOps0[TC]
trait ToPlusOps0[TC <: ([F[_]] =>> Plus[F])] extends ToPlusOpsU[TC]
sealed
trait ToPlusOpsU[TC <: ([F[_]] =>> Plus[F])]
trait ToProChoiceOps[TC <: ([F[_, _]] =>> ProChoice[F])] extends ToProChoiceOps0[TC] with ToProfunctorOps[TC]
trait ToProChoiceOps0[TC <: ([F[_, _]] =>> ProChoice[F])] extends ToProChoiceOpsU[TC]
sealed
trait ToProChoiceOpsU[TC <: ([F[_, _]] =>> ProChoice[F])]
trait ToProfunctorOps[TC <: ([F[_, _]] =>> Profunctor[F])] extends ToProfunctorOps0[TC]
trait ToProfunctorOps0[TC <: ([F[_, _]] =>> Profunctor[F])] extends ToProfunctorOpsU[TC]
sealed
trait ToProfunctorOpsU[TC <: ([F[_, _]] =>> Profunctor[F])]
trait ToShowOps
trait ToSplitOps[TC <: ([F[_, _]] =>> Split[F])] extends ToSplitOps0[TC] with ToComposeOps[TC]
trait ToSplitOps0[TC <: ([F[_, _]] =>> Split[F])] extends ToSplitOpsU[TC]
sealed
trait ToSplitOpsU[TC <: ([F[_, _]] =>> Split[F])]
trait ToStrongOps[TC <: ([F[_, _]] =>> Strong[F])] extends ToStrongOps0[TC] with ToProfunctorOps[TC]
trait ToStrongOps0[TC <: ([F[_, _]] =>> Strong[F])] extends ToStrongOpsU[TC]
sealed
trait ToStrongOpsU[TC <: ([F[_, _]] =>> Strong[F])]
trait ToTagOps
trait ToTraverse1Ops[TC <: ([F[_]] =>> Traverse1[F])] extends ToTraverse1Ops0[TC] with ToTraverseOps[TC] with ToFoldable1Ops[TC]
trait ToTraverse1Ops0[TC <: ([F[_]] =>> Traverse1[F])] extends ToTraverse1OpsU[TC]
sealed
trait ToTraverse1OpsU[TC <: ([F[_]] =>> Traverse1[F])]
trait ToTraverseOps[TC <: ([F[_]] =>> Traverse[F])] extends ToTraverseOps0[TC] with ToFunctorOps[TC] with ToFoldableOps[TC]
trait ToTraverseOps0[TC <: ([F[_]] =>> Traverse[F])] extends ToTraverseOpsU[TC]
sealed
trait ToTraverseOpsU[TC <: ([F[_]] =>> Traverse[F])]
trait ToTreeOps
trait ToTypeClassOps extends ToSemigroupOps with ToMonoidOps with ToBandOps with ToEqualOps with ToShowOps with ToOrderOps with ToEnumOps with ToPlusEmptyOps0[[F[_]] =>> PlusEmpty[F]] with ToFunctorOps0[[F[_]] =>> Functor[F]] with ToContravariantOps0[[F[_]] =>> Contravariant[F]] with ToApplyOps0[[F[_]] =>> Apply[F]] with ToApplicativeOps0[[F[_]] =>> Applicative[F]] with ToBindOps0[[F[_]] =>> Bind[F]] with ToMonadOps0[[F[_]] =>> Monad[F]] with ToComonadOps0[[F[_]] =>> Comonad[F]] with ToBifoldableOps0[[F[_, _]] =>> Bifoldable[F]] with ToCozipOps0[[F[_]] =>> Cozip[F]] with ToPlusOps0[[F[_]] =>> Plus[F]] with ToApplicativePlusOps0[[F[_]] =>> ApplicativePlus[F]] with ToAltOps0[[F[_]] =>> Alt[F]] with ToMonadPlusOps0[[F[_]] =>> MonadPlus[F]] with ToTraverseOps0[[F[_]] =>> Traverse[F]] with ToBifunctorOps0[[F[_, _]] =>> Bifunctor[F]] with ToAssociativeOps0[[=>:[_, _]] =>> Associative[=>:]] with ToBitraverseOps0[[F[_, _]] =>> Bitraverse[F]] with ToComposeOps0[[=>:[_, _]] =>> Compose[=>:]] with ToCategoryOps0[[=>:[_, _]] =>> Category[=>:]] with ToArrowOps0[[=>:[_, _]] =>> Arrow[=>:]] with ToProfunctorOps0[[=>:[_, _]] =>> Profunctor[=>:]] with ToStrongOps0[[=>:[_, _]] =>> Strong[=>:]] with ToFoldableOps0[[F[_]] =>> Foldable[F]] with ToChoiceOps0[[=>:[_, _]] =>> Choice[=>:]] with ToSplitOps0[[=>:[_, _]] =>> Split[=>:]] with ToZipOps0[[F[_]] =>> Zip[F]] with ToUnzipOps0[[F[_]] =>> Unzip[F]] with ToMonadTellOps0[[F[_], S] =>> MonadTell[F, S]] with ToMonadListenOps0[[F[_], W] =>> MonadListen[F, W]] with ToMonadErrorOps0[[F[_], S] =>> MonadError[F, S]] with ToApplicativeErrorOps0[[F[_], S] =>> ApplicativeError[F, S]] with ToFoldable1Ops0[[F[_]] =>> Foldable1[F]] with ToTraverse1Ops0[[F[_]] =>> Traverse1[F]] with ToOptionalOps0[[F[_]] =>> Optional[F]] with ToCatchableOps0[[F[_]] =>> Catchable[F]] with ToAlignOps0[[F[_]] =>> Align[F]] with ToMonadTransOps with ToProChoiceOps0[[=>:[_, _]] =>> ProChoice[=>:]]
trait ToUnzipOps[TC <: ([F[_]] =>> Unzip[F])] extends ToUnzipOps0[TC]
trait ToUnzipOps0[TC <: ([F[_]] =>> Unzip[F])] extends ToUnzipOpsU[TC]
sealed
trait ToUnzipOpsU[TC <: ([F[_]] =>> Unzip[F])]
trait ToZipOps[TC <: ([F[_]] =>> Zip[F])] extends ToZipOps0[TC]
trait ToZipOps0[TC <: ([F[_]] =>> Zip[F])] extends ToZipOpsU[TC]
sealed
trait ToZipOpsU[TC <: ([F[_]] =>> Zip[F])]
final
class Traverse1Ops[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Traverse1

Wraps a value self and provides methods related to Traverse1

trait Traverse1Syntax[F[_]] extends TraverseSyntax[F] with Foldable1Syntax[F]
final
class TraverseOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Traverse

Wraps a value self and provides methods related to Traverse

trait TraverseSyntax[F[_]] extends FunctorSyntax[F] with FoldableSyntax[F]
final
class TreeOps[A](self: A) extends AnyVal
final
class UnzipOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Unzip

Wraps a value self and provides methods related to Unzip

trait UnzipSyntax[F[_]]
final
class ValidationOps[A](self: A) extends AnyVal
final
class WriterOps[A](self: A) extends AnyVal
final
class ZipOps[F[_], A] extends Ops[F[A]]

Wraps a value self and provides methods related to Zip

Wraps a value self and provides methods related to Zip

trait ZipSyntax[F[_]]

Inherited classlikes

object align
Inherited from
Syntaxes
object align0
Inherited from
Syntaxes
object all
Inherited from
Syntaxes
object alt
Inherited from
Syntaxes
object alt0
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
object apply
Inherited from
Syntaxes
object apply0
Inherited from
Syntaxes
object arrow
Inherited from
Syntaxes
object arrow0
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
object band
Inherited from
Syntaxes
object bifoldable
Inherited from
Syntaxes
Inherited from
Syntaxes
object bifunctor
Inherited from
Syntaxes
object bifunctor0
Inherited from
Syntaxes
object bind
Inherited from
Syntaxes
object bind0
Inherited from
Syntaxes
object bitraverse
Inherited from
Syntaxes
Inherited from
Syntaxes
object catchable
Inherited from
Syntaxes
object catchable0
Inherited from
Syntaxes
object category
Inherited from
Syntaxes
object category0
Inherited from
Syntaxes
object choice
Inherited from
Syntaxes
object choice0
Inherited from
Syntaxes
object cobind
Inherited from
Syntaxes
object cobind0
Inherited from
Syntaxes
object comonad
Inherited from
Syntaxes
object comonad0
Inherited from
Syntaxes
object compose
Inherited from
Syntaxes
object compose0
Inherited from
Syntaxes
object const
Inherited from
Syntaxes
object contT
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
object cozip
Inherited from
Syntaxes
object cozip0
Inherited from
Syntaxes
object either
Inherited from
Syntaxes
object eithert
Inherited from
Syntaxes
object enum
Inherited from
Syntaxes
object equal
Inherited from
Syntaxes
object foldable
Inherited from
Syntaxes
object foldable0
Inherited from
Syntaxes
object foldable1
Inherited from
Syntaxes
object foldable10
Inherited from
Syntaxes
object functor
Inherited from
Syntaxes
object functor0
Inherited from
Syntaxes
object id
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
object isEmpty
Inherited from
Syntaxes
object isEmpty0
Inherited from
Syntaxes
object kleisli
Inherited from
Syntaxes
object maybe
Inherited from
Syntaxes
object monad
Inherited from
Syntaxes
object monad0
Inherited from
Syntaxes
object monadError
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
Inherited from
Syntaxes
object monadPlus
Inherited from
Syntaxes
object monadPlus0
Inherited from
Syntaxes
object monadTell
Inherited from
Syntaxes
object monadTell0
Inherited from
Syntaxes
object monadTrans
Inherited from
Syntaxes
object monoid
Inherited from
Syntaxes
object nel
Inherited from
Syntaxes
object optional
Inherited from
Syntaxes
object optional0
Inherited from
Syntaxes
object order
Inherited from
Syntaxes
object plus
Inherited from
Syntaxes
object plus0
Inherited from
Syntaxes
object plusEmpty
Inherited from
Syntaxes
object plusEmpty0
Inherited from
Syntaxes
object proChoice
Inherited from
Syntaxes
object proChoice0
Inherited from
Syntaxes
object profunctor
Inherited from
Syntaxes
Inherited from
Syntaxes
object reducer
Inherited from
Syntaxes
object semigroup
Inherited from
Syntaxes
object show
Inherited from
Syntaxes
object split
Inherited from
Syntaxes
object split0
Inherited from
Syntaxes
object state
Inherited from
Syntaxes
object strictTree
Inherited from
Syntaxes
object strong
Inherited from
Syntaxes
object strong0
Inherited from
Syntaxes
object tag
Inherited from
Syntaxes
object these
Inherited from
Syntaxes
object traverse
Inherited from
Syntaxes
object traverse0
Inherited from
Syntaxes
object traverse1
Inherited from
Syntaxes
object traverse10
Inherited from
Syntaxes
object tree
Inherited from
Syntaxes
object unzip
Inherited from
Syntaxes
object unzip0
Inherited from
Syntaxes
object validation
Inherited from
Syntaxes
object writer
Inherited from
Syntaxes
object zip
Inherited from
Syntaxes
object zip0
Inherited from
Syntaxes