package syntax
Implicits to provide a convenient syntax to work with type classes and functions.
Non-trivial code should *not* be defined in this package; instead delegate.
- Source
- package.scala
- Alphabetic
- By Inheritance
- syntax
- Syntaxes
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
final
class
AlignOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toAlign
- trait AlignSyntax[F[_]] extends FunctorSyntax[F]
-
final
class
AltOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toAlt
- trait AltSyntax[F[_]] extends ApplicativeSyntax[F] with InvariantAltSyntax[F]
-
final
class
ApplicativeBuilder[M[_], A, B] extends AnyRef
- See also
-
final
class
ApplicativeErrorOps[F[_], S, A] extends AnyRef
Wraps a value
self
and provides methods related toApplicativeError
- trait ApplicativeErrorSyntax[F[_], S] extends ApplicativeSyntax[F]
-
final
class
ApplicativeOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toApplicative
-
final
class
ApplicativePlusOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toApplicativePlus
- trait ApplicativePlusSyntax[F[_]] extends ApplicativeSyntax[F] with PlusEmptySyntax[F]
- trait ApplicativeSyntax[F[_]] extends ApplySyntax[F] with InvariantApplicativeSyntax[F]
-
final
class
ApplyOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toApply
- 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 toArrow
- 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 toAssociative
- trait AssociativeSyntax[F[_, _]] extends AnyRef
-
final
class
BandOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toBand
- 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 toBifoldable
- trait BifoldableSyntax[F[_, _]] extends AnyRef
-
final
class
BifunctorOps[F[_, _], A, B] extends Ops[F[A, B]]
Wraps a value
self
and provides methods related toBifunctor
- trait BifunctorSyntax[F[_, _]] extends AnyRef
-
final
class
BindOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toBind
-
final
class
BindRecOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toBindRec
- 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 toBitraverse
- 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 toCatchable
- trait CatchableSyntax[F[_]] extends AnyRef
-
final
class
CategoryOps[F[_, _], A, B] extends Ops[F[A, B]]
Wraps a value
self
and provides methods related toCategory
- 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 toChoice
- trait ChoiceSyntax[F[_, _]] extends CategorySyntax[F]
-
final
class
CobindOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toCobind
- trait CobindSyntax[F[_]] extends FunctorSyntax[F]
-
final
class
ComonadOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toComonad
- 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 toCompose
- trait ComposeSyntax[F[_, _]] extends AnyRef
-
final
class
ConstOps[A] extends AnyVal
Provides Const-related methods for any value.
- final class ContTOps[M[_], A] extends AnyVal
-
final
class
ContravariantOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toContravariant
- trait ContravariantSyntax[F[_]] extends InvariantFunctorSyntax[F]
-
final
class
CozipOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toCozip
- trait CozipSyntax[F[_]] extends AnyRef
-
final
class
DecidableOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toDecidable
- trait DecidableSyntax[F[_]] extends DivisibleSyntax[F] with InvariantAltSyntax[F]
-
final
class
DistributiveOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toDistributive
- trait DistributiveSyntax[F[_]] extends FunctorSyntax[F]
-
final
class
DivideOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toDivide
- trait DivideSyntax[F[_]] extends ContravariantSyntax[F]
-
final
class
DivisibleOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toDivisible
- trait DivisibleSyntax[F[_]] extends DivideSyntax[F] with InvariantApplicativeSyntax[F]
- final class EitherOps[A] extends AnyVal
- final class EitherTOps[V] extends AnyVal
-
final
class
EnumOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toEnum
- trait EnumSyntax[F] extends OrderSyntax[F]
-
final
class
EqualOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toEqual
- trait EqualSyntax[F] extends AnyRef
-
final
class
Foldable1Ops[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toFoldable1
- trait Foldable1Syntax[F[_]] extends FoldableSyntax[F]
-
final
class
FoldableOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toFoldable
- trait FoldableSyntax[F[_]] extends AnyRef
-
final
class
FunctorOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toFunctor
- trait FunctorSyntax[F[_]] extends InvariantFunctorSyntax[F]
- final class IdOps[A] extends AnyVal
-
final
class
InvariantAltOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toInvariantAlt
- trait InvariantAltSyntax[F[_]] extends InvariantApplicativeSyntax[F]
-
final
class
InvariantApplicativeOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toInvariantApplicative
- trait InvariantApplicativeSyntax[F[_]] extends InvariantFunctorSyntax[F]
-
final
class
InvariantFunctorOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toInvariantFunctor
- trait InvariantFunctorSyntax[F[_]] extends AnyRef
-
final
class
IsEmptyOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toIsEmpty
- trait IsEmptySyntax[F[_]] extends PlusEmptySyntax[F]
- final class KleisliFAOps[F[_], A] extends AnyVal
- final class KleisliIdOps[A] extends AnyVal
- final class MaybeOps[A] extends AnyVal
- final class MonadErrorIdOps[S] extends AnyVal
-
final
class
MonadErrorOps[F[_], S, A] extends AnyRef
Wraps a value
self
and provides methods related toMonadError
- trait MonadErrorSyntax[F[_], S] extends MonadSyntax[F] with ApplicativeErrorSyntax[F, S]
- final class MonadListenOps[F[_], W, A] extends AnyRef
- 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 toMonad
-
final
class
MonadPlusOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toMonadPlus
- trait MonadPlusSyntax[F[_]] extends MonadSyntax[F] with ApplicativePlusSyntax[F]
- trait MonadSyntax[F[_]] extends ApplicativeSyntax[F] with BindSyntax[F]
-
final
class
MonadTellOps[F[_], S, A] extends AnyRef
Wraps a value
self
and provides methods related toMonadTell
- trait MonadTellSyntax[F[_], S] extends MonadSyntax[F]
- final class MonadTransGFGA[F[_[_], _], G[_], A] extends AnyVal
-
final
class
MonoidOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toMonoid
- trait MonoidSyntax[F] extends SemigroupSyntax[F]
- final class NelOps[A] extends AnyVal
-
final
class
NondeterminismOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toNondeterminism
- trait NondeterminismSyntax[F[_]] extends MonadSyntax[F]
- trait Ops[A] extends AnyRef
-
final
class
OptionalOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toOptional
- trait OptionalSyntax[F[_]] extends AnyRef
-
final
class
OrderOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toOrder
- trait OrderSyntax[F] extends EqualSyntax[F]
-
final
class
PlusEmptyOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toPlusEmpty
- trait PlusEmptySyntax[F[_]] extends PlusSyntax[F]
-
final
class
PlusOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toPlus
- trait PlusSyntax[F[_]] extends AnyRef
-
final
class
ProChoiceOps[F[_, _], A, B] extends Ops[F[A, B]]
Wraps a value
self
and provides methods related toProChoice
- 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 toProfunctor
- trait ProfunctorSyntax[F[_, _]] extends AnyRef
- final class ReducerOps[A] extends AnyVal
-
final
class
SemiLatticeOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toSemiLattice
- trait SemiLatticeSyntax[F] extends BandSyntax[F]
-
final
class
SemigroupOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toSemigroup
- trait SemigroupSyntax[F] extends AnyRef
-
final
class
ShowOps[F] extends Ops[F]
Wraps a value
self
and provides methods related toShow
- trait ShowSyntax[F] extends AnyRef
-
final
class
SplitOps[F[_, _], A, B] extends Ops[F[A, B]]
Wraps a value
self
and provides methods related toSplit
- trait SplitSyntax[F[_, _]] extends ComposeSyntax[F]
- final class StateOps[A] extends AnyVal
- final class StrictTreeOps[A] extends AnyVal
-
final
class
StrongOps[F[_, _], A, B] extends Ops[F[A, B]]
Wraps a value
self
and provides methods related toStrong
- trait StrongSyntax[F[_, _]] extends ProfunctorSyntax[F]
- trait Syntaxes extends AnyRef
- final class TagOps[A, T] extends AnyVal
- final class TheseOps[A] extends AnyVal
- final class ThesePairOps[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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- trait ToApplicativeErrorOps[TC[F[_], S] <: ApplicativeError[F[_], S]] extends ToApplicativeErrorOps0[TC] with ToApplicativeOps[[F[_$1]]TC[F, _]]
- trait ToApplicativeErrorOps0[TC[F[_], S] <: ApplicativeError[F[_], S]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- trait ToBandOps extends ToSemigroupOps
- 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[_, _]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- trait ToConstOps extends AnyRef
- trait ToContTOps extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- trait ToDataOps extends ToIdOps with ToTreeOps with ToStrictTreeOps with ToReducerOps with ToWriterOps with ToStateOps with ToValidationOps with ToKleisliOps with ToEitherOps with ToEitherTOps with ToNelOps with ToTheseOps with ToMaybeOps with ToContTOps with ToConstOps
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- trait ToEitherOps extends AnyRef
- trait ToEitherTOps extends AnyRef
- trait ToEnumOps extends ToOrderOps
- trait ToEqualOps extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- trait ToIdOps extends AnyRef
- 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[_]]] extends AnyRef
- trait ToInvariantApplicativeOps[TC[F[_]] <: InvariantApplicative[F[_]]] extends ToInvariantApplicativeOps0[TC] with ToInvariantFunctorOps[TC]
- trait ToInvariantApplicativeOps0[TC[F[_]] <: InvariantApplicative[F[_]]] extends ToInvariantApplicativeOpsU[TC]
- sealed trait ToInvariantApplicativeOpsU[TC[F[_]] <: InvariantApplicative[F[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- trait ToKleisliOps extends ToKleisliOps0
- sealed trait ToKleisliOps0 extends AnyRef
- trait ToMaybeOps extends AnyRef
- trait ToMonadErrorOps[TC[F[_], S] <: MonadError[F[_], S]] extends ToMonadErrorOps0[TC] with ToMonadOps[[F[_$1]]TC[F, _]] with ToApplicativeErrorOps[TC]
- trait ToMonadErrorOps0[TC[F[_], S] <: MonadError[F[_], S]] extends AnyRef
- trait ToMonadListenOps[TC[F[_], W] <: MonadListen[F[_], W]] extends ToMonadListenOps0[TC] with ToMonadTellOps[TC]
- trait ToMonadListenOps0[TC[F[_], W] <: MonadListen[F[_], W]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- trait ToMonadTellOps[TC[F[_], S] <: MonadTell[F[_], S]] extends ToMonadTellOps0[TC] with ToMonadOps[[F[_$1]]TC[F, _]]
- trait ToMonadTellOps0[TC[F[_], S] <: MonadTell[F[_], S]] extends AnyRef
- trait ToMonadTransOps extends AnyRef
- trait ToMonoidOps extends ToSemigroupOps
- trait ToNelOps extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- 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[_, _]]] extends AnyRef
- trait ToReducerOps extends AnyRef
- trait ToSemiLatticeOps extends ToBandOps
- trait ToSemigroupOps extends AnyRef
- trait ToShowOps extends AnyRef
- 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[_, _]]] extends AnyRef
- trait ToStateOps extends AnyRef
- trait ToStrictTreeOps extends AnyRef
- 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[_, _]]] extends AnyRef
- trait ToTagOps extends AnyRef
- trait ToTheseOps extends AnyRef
- 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[_]]] extends AnyRef
- 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[_]]] extends AnyRef
- trait ToTreeOps extends AnyRef
- trait ToTypeClassOps extends ToSemigroupOps with ToMonoidOps with ToBandOps with ToEqualOps with ToShowOps with ToOrderOps with ToEnumOps with ToPlusEmptyOps0[PlusEmpty] with ToFunctorOps0[Functor] with ToContravariantOps0[Contravariant] with ToApplyOps0[Apply] with ToApplicativeOps0[Applicative] with ToBindOps0[Bind] with ToMonadOps0[Monad] with ToComonadOps0[Comonad] with ToBifoldableOps0[Bifoldable] with ToCozipOps0[Cozip] with ToPlusOps0[Plus] with ToApplicativePlusOps0[ApplicativePlus] with ToAltOps0[Alt] with ToMonadPlusOps0[MonadPlus] with ToTraverseOps0[Traverse] with ToBifunctorOps0[Bifunctor] with ToAssociativeOps0[Associative] with ToBitraverseOps0[Bitraverse] with ToComposeOps0[Compose] with ToCategoryOps0[Category] with ToArrowOps0[Arrow] with ToProfunctorOps0[Profunctor] with ToStrongOps0[Strong] with ToFoldableOps0[Foldable] with ToChoiceOps0[Choice] with ToSplitOps0[Split] with ToZipOps0[Zip] with ToUnzipOps0[Unzip] with ToMonadTellOps0[MonadTell] with ToMonadListenOps0[MonadListen] with ToMonadErrorOps0[MonadError] with ToApplicativeErrorOps0[ApplicativeError] with ToFoldable1Ops0[Foldable1] with ToTraverse1Ops0[Traverse1] with ToOptionalOps0[Optional] with ToCatchableOps0[Catchable] with ToAlignOps0[Align] 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[_]]] extends AnyRef
- trait ToValidationOps extends AnyRef
- trait ToWriterOps extends AnyRef
- 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[_]]] extends AnyRef
-
final
class
Traverse1Ops[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toTraverse1
- 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 toTraverse
- trait TraverseSyntax[F[_]] extends FunctorSyntax[F] with FoldableSyntax[F]
- final class TreeOps[A] extends AnyVal
-
final
class
UnzipOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toUnzip
- trait UnzipSyntax[F[_]] extends AnyRef
- final class ValidationOps[A] extends AnyVal
- final class WriterOps[A] extends AnyVal
-
final
class
ZipOps[F[_], A] extends Ops[F[A]]
Wraps a value
self
and provides methods related toZip
- trait ZipSyntax[F[_]] extends AnyRef
Value Members
- object ReducerOps
-
object
align extends ToAlignOps[Align]
- Definition Classes
- Syntaxes
-
object
align0 extends ToAlignOps0[Align]
- Definition Classes
- Syntaxes
-
object
all extends ToTypeClassOps with ToDataOps
- Definition Classes
- Syntaxes
-
object
alt extends ToAltOps[Alt]
- Definition Classes
- Syntaxes
-
object
alt0 extends ToAltOps0[Alt]
- Definition Classes
- Syntaxes
-
object
applicative extends ToApplicativeOps[Applicative]
- Definition Classes
- Syntaxes
-
object
applicative0 extends ToApplicativeOps0[Applicative]
- Definition Classes
- Syntaxes
-
object
applicativeError extends ToApplicativeErrorOps[ApplicativeError]
- Definition Classes
- Syntaxes
-
object
applicativeError0 extends ToApplicativeErrorOps0[ApplicativeError]
- Definition Classes
- Syntaxes
-
object
applicativePlus extends ToApplicativePlusOps[ApplicativePlus]
- Definition Classes
- Syntaxes
-
object
applicativePlus0 extends ToApplicativePlusOps0[ApplicativePlus]
- Definition Classes
- Syntaxes
-
object
apply extends ToApplyOps[Apply]
- Definition Classes
- Syntaxes
-
object
apply0 extends ToApplyOps0[Apply]
- Definition Classes
- Syntaxes
-
object
arrow extends ToArrowOps[Arrow]
- Definition Classes
- Syntaxes
-
object
arrow0 extends ToArrowOps0[Arrow]
- Definition Classes
- Syntaxes
-
object
associative extends ToAssociativeOps[Associative]
- Definition Classes
- Syntaxes
-
object
associative0 extends ToAssociativeOps0[Associative]
- Definition Classes
- Syntaxes
-
object
band extends ToBandOps
- Definition Classes
- Syntaxes
-
object
bifoldable extends ToBifoldableOps[Bifoldable]
- Definition Classes
- Syntaxes
-
object
bifoldable0 extends ToBifoldableOps0[Bifoldable]
- Definition Classes
- Syntaxes
-
object
bifunctor extends ToBifunctorOps[Bifunctor]
- Definition Classes
- Syntaxes
-
object
bifunctor0 extends ToBifunctorOps0[Bifunctor]
- Definition Classes
- Syntaxes
-
object
bind extends ToBindOps[Bind]
- Definition Classes
- Syntaxes
-
object
bind0 extends ToBindOps0[Bind]
- Definition Classes
- Syntaxes
-
object
bitraverse extends ToBitraverseOps[Bitraverse]
- Definition Classes
- Syntaxes
-
object
bitraverse0 extends ToBitraverseOps0[Bitraverse]
- Definition Classes
- Syntaxes
-
object
catchable extends ToCatchableOps[Catchable]
- Definition Classes
- Syntaxes
-
object
catchable0 extends ToCatchableOps0[Catchable]
- Definition Classes
- Syntaxes
-
object
category extends ToCategoryOps[Category]
- Definition Classes
- Syntaxes
-
object
category0 extends ToCategoryOps0[Category]
- Definition Classes
- Syntaxes
-
object
choice extends ToChoiceOps[Choice]
- Definition Classes
- Syntaxes
-
object
choice0 extends ToChoiceOps0[Choice]
- Definition Classes
- Syntaxes
-
object
cobind extends ToCobindOps[Cobind]
- Definition Classes
- Syntaxes
-
object
cobind0 extends ToCobindOps0[Cobind]
- Definition Classes
- Syntaxes
-
object
comonad extends ToComonadOps[Comonad]
- Definition Classes
- Syntaxes
-
object
comonad0 extends ToComonadOps0[Comonad]
- Definition Classes
- Syntaxes
-
object
compose extends ToComposeOps[Compose]
- Definition Classes
- Syntaxes
-
object
compose0 extends ToComposeOps0[Compose]
- Definition Classes
- Syntaxes
-
object
const extends ToConstOps
- Definition Classes
- Syntaxes
-
object
contT extends ToContTOps
- Definition Classes
- Syntaxes
-
object
contravariant extends ToContravariantOps[Contravariant]
- Definition Classes
- Syntaxes
-
object
contravariant0 extends ToContravariantOps0[Contravariant]
- Definition Classes
- Syntaxes
-
object
cozip extends ToCozipOps[Cozip]
- Definition Classes
- Syntaxes
-
object
cozip0 extends ToCozipOps0[Cozip]
- Definition Classes
- Syntaxes
-
object
either extends ToEitherOps
- Definition Classes
- Syntaxes
-
object
eithert extends ToEitherTOps
- Definition Classes
- Syntaxes
-
object
enum extends ToEnumOps
- Definition Classes
- Syntaxes
-
object
equal extends ToEqualOps
- Definition Classes
- Syntaxes
-
object
foldable extends ToFoldableOps[Foldable]
- Definition Classes
- Syntaxes
-
object
foldable0 extends ToFoldableOps0[Foldable]
- Definition Classes
- Syntaxes
-
object
foldable1 extends ToFoldable1Ops[Foldable1]
- Definition Classes
- Syntaxes
-
object
foldable10 extends ToFoldable1Ops0[Foldable1]
- Definition Classes
- Syntaxes
-
object
functor extends ToFunctorOps[Functor]
- Definition Classes
- Syntaxes
-
object
functor0 extends ToFunctorOps0[Functor]
- Definition Classes
- Syntaxes
-
object
id extends ToIdOps
- Definition Classes
- Syntaxes
-
object
invariantFunctor extends ToInvariantFunctorOps[InvariantFunctor]
- Definition Classes
- Syntaxes
-
object
invariantFunctor0 extends ToInvariantFunctorOps0[InvariantFunctor]
- Definition Classes
- Syntaxes
-
object
isEmpty extends ToIsEmptyOps[IsEmpty]
- Definition Classes
- Syntaxes
-
object
isEmpty0 extends ToIsEmptyOps0[IsEmpty]
- Definition Classes
- Syntaxes
-
object
kleisli extends ToKleisliOps
- Definition Classes
- Syntaxes
-
object
maybe extends ToMaybeOps
- Definition Classes
- Syntaxes
-
object
monad extends ToMonadOps[Monad]
- Definition Classes
- Syntaxes
-
object
monad0 extends ToMonadOps0[Monad]
- Definition Classes
- Syntaxes
-
object
monadError extends ToMonadErrorOps[MonadError]
- Definition Classes
- Syntaxes
-
object
monadError0 extends ToMonadErrorOps0[MonadError]
- Definition Classes
- Syntaxes
-
object
monadListen extends ToMonadListenOps[MonadListen]
- Definition Classes
- Syntaxes
-
object
monadListen0 extends ToMonadListenOps0[MonadListen]
- Definition Classes
- Syntaxes
-
object
monadPlus extends ToMonadPlusOps[MonadPlus]
- Definition Classes
- Syntaxes
-
object
monadPlus0 extends ToMonadPlusOps0[MonadPlus]
- Definition Classes
- Syntaxes
-
object
monadTell extends ToMonadTellOps[MonadTell]
- Definition Classes
- Syntaxes
-
object
monadTell0 extends ToMonadTellOps0[MonadTell]
- Definition Classes
- Syntaxes
-
object
monadTrans extends ToMonadTransOps
- Definition Classes
- Syntaxes
-
object
monoid extends ToMonoidOps
- Definition Classes
- Syntaxes
-
object
nel extends ToNelOps
- Definition Classes
- Syntaxes
-
object
optional extends ToOptionalOps[Optional]
- Definition Classes
- Syntaxes
-
object
optional0 extends ToOptionalOps0[Optional]
- Definition Classes
- Syntaxes
-
object
order extends ToOrderOps
- Definition Classes
- Syntaxes
-
object
plus extends ToPlusOps[Plus]
- Definition Classes
- Syntaxes
-
object
plus0 extends ToPlusOps0[Plus]
- Definition Classes
- Syntaxes
-
object
plusEmpty extends ToPlusEmptyOps[PlusEmpty]
- Definition Classes
- Syntaxes
-
object
plusEmpty0 extends ToPlusEmptyOps0[PlusEmpty]
- Definition Classes
- Syntaxes
-
object
proChoice extends ToProChoiceOps[ProChoice]
- Definition Classes
- Syntaxes
-
object
proChoice0 extends ToProChoiceOps0[ProChoice]
- Definition Classes
- Syntaxes
-
object
profunctor extends ToProfunctorOps[Profunctor]
- Definition Classes
- Syntaxes
-
object
profunctor0 extends ToProfunctorOps0[Profunctor]
- Definition Classes
- Syntaxes
-
object
reducer extends ToReducerOps
- Definition Classes
- Syntaxes
-
object
semigroup extends ToSemigroupOps
- Definition Classes
- Syntaxes
-
object
show extends ToShowOps
- Definition Classes
- Syntaxes
-
object
split extends ToSplitOps[Split]
- Definition Classes
- Syntaxes
-
object
split0 extends ToSplitOps0[Split]
- Definition Classes
- Syntaxes
-
object
state extends ToStateOps
- Definition Classes
- Syntaxes
-
object
strictTree extends ToStrictTreeOps
- Definition Classes
- Syntaxes
-
object
strong extends ToStrongOps[Strong]
- Definition Classes
- Syntaxes
-
object
strong0 extends ToStrongOps0[Strong]
- Definition Classes
- Syntaxes
-
object
tag extends ToTagOps
- Definition Classes
- Syntaxes
-
object
these extends ToTheseOps
- Definition Classes
- Syntaxes
-
object
traverse extends ToTraverseOps[Traverse]
- Definition Classes
- Syntaxes
-
object
traverse0 extends ToTraverseOps0[Traverse]
- Definition Classes
- Syntaxes
-
object
traverse1 extends ToTraverse1Ops[Traverse1]
- Definition Classes
- Syntaxes
-
object
traverse10 extends ToTraverse1Ops0[Traverse1]
- Definition Classes
- Syntaxes
-
object
tree extends ToTreeOps
- Definition Classes
- Syntaxes
-
object
unzip extends ToUnzipOps[Unzip]
- Definition Classes
- Syntaxes
-
object
unzip0 extends ToUnzipOps0[Unzip]
- Definition Classes
- Syntaxes
-
object
validation extends ToValidationOps
- Definition Classes
- Syntaxes
-
object
writer extends ToWriterOps
- Definition Classes
- Syntaxes
-
object
zip extends ToZipOps[Zip]
- Definition Classes
- Syntaxes
-
object
zip0 extends ToZipOps0[Zip]
- Definition Classes
- Syntaxes