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
- Protected
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 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]
- 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 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]
- 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 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]
- 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 extends ToAlignOps0 with ToFunctorOps
- sealed trait ToAlignOps0 extends AnyRef
- trait ToApplicativeOps extends ToApplicativeOps0 with ToApplyOps
- sealed trait ToApplicativeOps0 extends AnyRef
- trait ToApplicativePlusOps extends ToApplicativePlusOps0 with ToApplicativeOps with ToPlusEmptyOps
- sealed trait ToApplicativePlusOps0 extends AnyRef
- trait ToApplyOps extends ToApplyOps0 with ToFunctorOps
- sealed trait ToApplyOps0 extends AnyRef
- trait ToArrowOps extends ToArrowOps0 with ToSplitOps with ToStrongOps with ToCategoryOps
- sealed trait ToArrowOps0 extends AnyRef
- trait ToAssociativeOps extends ToAssociativeOps0
- sealed trait ToAssociativeOps0 extends AnyRef
- trait ToBandOps extends ToSemigroupOps
- trait ToBifoldableOps extends ToBifoldableOps0
- sealed trait ToBifoldableOps0 extends AnyRef
- trait ToBifunctorOps extends ToBifunctorOps0
- sealed trait ToBifunctorOps0 extends AnyRef
- trait ToBindOps extends ToBindOps0 with ToApplyOps
- sealed trait ToBindOps0 extends AnyRef
- trait ToBindRecOps extends ToBindRecOps0 with ToBindOps
- sealed trait ToBindRecOps0 extends AnyRef
- trait ToBitraverseOps extends ToBitraverseOps0 with ToBifunctorOps with ToBifoldableOps
- sealed trait ToBitraverseOps0 extends AnyRef
- trait ToCatchableOps extends ToCatchableOps0
- sealed trait ToCatchableOps0 extends AnyRef
- trait ToCategoryOps extends ToCategoryOps0 with ToComposeOps
- sealed trait ToCategoryOps0 extends AnyRef
- trait ToChoiceOps extends ToChoiceOps0 with ToCategoryOps
- sealed trait ToChoiceOps0 extends AnyRef
- trait ToCobindOps extends ToCobindOps0 with ToFunctorOps
- sealed trait ToCobindOps0 extends AnyRef
- trait ToComonadOps extends ToComonadOps0 with ToCobindOps
- sealed trait ToComonadOps0 extends AnyRef
- trait ToComposeOps extends ToComposeOps0
- sealed trait ToComposeOps0 extends AnyRef
- trait ToConstOps extends AnyRef
- trait ToContTOps extends AnyRef
- trait ToContravariantOps extends ToContravariantOps0 with ToInvariantFunctorOps
- sealed trait ToContravariantOps0 extends AnyRef
- trait ToCozipOps extends ToCozipOps0
- sealed trait ToCozipOps0 extends AnyRef
- trait ToDataOps extends ToIdOps with ToTreeOps with ToReducerOps with ToWriterOps with ToStateOps with ToValidationOps with ToKleisliOps with ToEitherOps with ToNelOps with ToTheseOps with ToMaybeOps
- trait ToDivideOps extends ToDivideOps0 with ToContravariantOps
- sealed trait ToDivideOps0 extends AnyRef
- trait ToDivisibleOps extends ToDivisibleOps0 with ToDivideOps
- sealed trait ToDivisibleOps0 extends AnyRef
- trait ToEitherOps extends AnyRef
- trait ToEitherTOps extends AnyRef
- trait ToEnumOps extends ToOrderOps
- trait ToEqualOps extends AnyRef
- trait ToFoldable1Ops extends ToFoldable1Ops0 with ToFoldableOps
- sealed trait ToFoldable1Ops0 extends AnyRef
- trait ToFoldableOps extends ToFoldableOps0
- sealed trait ToFoldableOps0 extends AnyRef
- trait ToFunctorOps extends ToFunctorOps0 with ToInvariantFunctorOps
- sealed trait ToFunctorOps0 extends AnyRef
- trait ToIdOps extends AnyRef
- trait ToInvariantFunctorOps extends ToInvariantFunctorOps0
- sealed trait ToInvariantFunctorOps0 extends AnyRef
- trait ToIsEmptyOps extends ToIsEmptyOps0 with ToPlusEmptyOps
- sealed trait ToIsEmptyOps0 extends AnyRef
- trait ToKleisliOps extends ToKleisliOps0
- sealed trait ToKleisliOps0 extends AnyRef
- trait ToMaybeOps extends AnyRef
- trait ToMonadErrorOps extends ToMonadOps
- trait ToMonadListenOps extends ToMonadTellOps
- trait ToMonadOps extends ToMonadOps0 with ToApplicativeOps with ToBindOps
- sealed trait ToMonadOps0 extends AnyRef
- trait ToMonadPlusOps extends ToMonadPlusOps0 with ToMonadOps with ToApplicativePlusOps
- sealed trait ToMonadPlusOps0 extends AnyRef
- trait ToMonadTellOps extends ToMonadOps
- trait ToMonadTransOps extends AnyRef
- trait ToMonoidOps extends ToSemigroupOps
- trait ToNelOps extends AnyRef
- trait ToNondeterminismOps extends ToNondeterminismOps0 with ToMonadOps
- sealed trait ToNondeterminismOps0 extends AnyRef
- trait ToOptionalOps extends ToOptionalOps0
- sealed trait ToOptionalOps0 extends AnyRef
- trait ToOrderOps extends ToEqualOps
- trait ToPlusEmptyOps extends ToPlusEmptyOps0 with ToPlusOps
- sealed trait ToPlusEmptyOps0 extends AnyRef
- trait ToPlusOps extends ToPlusOps0
- sealed trait ToPlusOps0 extends AnyRef
- trait ToProChoiceOps extends ToProChoiceOps0 with ToProfunctorOps
- sealed trait ToProChoiceOps0 extends AnyRef
- trait ToProfunctorOps extends ToProfunctorOps0
- sealed trait ToProfunctorOps0 extends AnyRef
- trait ToReducerOps extends AnyRef
- trait ToSemiLatticeOps extends ToBandOps
- trait ToSemigroupOps extends AnyRef
- trait ToShowOps extends AnyRef
- trait ToSplitOps extends ToSplitOps0 with ToComposeOps
- sealed trait ToSplitOps0 extends AnyRef
- trait ToStateOps extends AnyRef
- trait ToStrictTreeOps extends AnyRef
- trait ToStrongOps extends ToStrongOps0 with ToProfunctorOps
- sealed trait ToStrongOps0 extends AnyRef
- trait ToTagOps extends AnyRef
- trait ToTheseOps extends AnyRef
- trait ToTraverse1Ops extends ToTraverse1Ops0 with ToTraverseOps with ToFoldable1Ops
- sealed trait ToTraverse1Ops0 extends AnyRef
- trait ToTraverseOps extends ToTraverseOps0 with ToFunctorOps with ToFoldableOps
- sealed trait ToTraverseOps0 extends AnyRef
- trait ToTreeOps extends AnyRef
- trait ToTypeClassOps extends ToSemigroupOps with ToMonoidOps with ToEqualOps with ToShowOps with ToOrderOps with ToEnumOps with ToPlusEmptyOps with ToFunctorOps with ToContravariantOps with ToApplyOps with ToApplicativeOps with ToBindOps with ToMonadOps with ToComonadOps with ToBifoldableOps with ToCozipOps with ToPlusOps with ToApplicativePlusOps with ToMonadPlusOps with ToTraverseOps with ToBifunctorOps with ToAssociativeOps with ToBitraverseOps with ToComposeOps with ToCategoryOps with ToArrowOps with ToFoldableOps with ToChoiceOps with ToSplitOps with ToZipOps with ToUnzipOps with ToMonadTellOps with ToMonadListenOps with ToMonadErrorOps with ToFoldable1Ops with ToTraverse1Ops with ToOptionalOps with ToCatchableOps with ToAlignOps
- trait ToUnzipOps extends ToUnzipOps0
- sealed trait ToUnzipOps0 extends AnyRef
- trait ToValidationOps extends AnyRef
- trait ToWriterOps extends AnyRef
- trait ToZipOps extends ToZipOps0
- sealed trait ToZipOps0 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 ApplicativeBuilder
- object align extends ToAlignOps
- Definition Classes
- Syntaxes
- object all extends ToTypeClassOps with ToDataOps
- Definition Classes
- Syntaxes
- object applicative extends ToApplicativeOps
- Definition Classes
- Syntaxes
- object applicativePlus extends ToApplicativePlusOps
- Definition Classes
- Syntaxes
- object apply extends ToApplyOps
- Definition Classes
- Syntaxes
- object arrow extends ToArrowOps
- Definition Classes
- Syntaxes
- object associative extends ToAssociativeOps
- Definition Classes
- Syntaxes
- object bifoldable extends ToBifoldableOps
- Definition Classes
- Syntaxes
- object bifunctor extends ToBifunctorOps
- Definition Classes
- Syntaxes
- object bind extends ToBindOps
- Definition Classes
- Syntaxes
- object bitraverse extends ToBitraverseOps
- Definition Classes
- Syntaxes
- object catchable extends ToCatchableOps
- Definition Classes
- Syntaxes
- object category extends ToCategoryOps
- Definition Classes
- Syntaxes
- object choice extends ToChoiceOps
- Definition Classes
- Syntaxes
- object cobind extends ToCobindOps
- Definition Classes
- Syntaxes
- object comonad extends ToComonadOps
- Definition Classes
- Syntaxes
- object compose extends ToComposeOps
- Definition Classes
- Syntaxes
- object contravariant extends ToContravariantOps
- Definition Classes
- Syntaxes
- object cozip extends ToCozipOps
- Definition Classes
- Syntaxes
- object either extends ToEitherOps
- Definition Classes
- Syntaxes
- object enum extends ToEnumOps
- Definition Classes
- Syntaxes
- object equal extends ToEqualOps
- Definition Classes
- Syntaxes
- object foldable extends ToFoldableOps
- Definition Classes
- Syntaxes
- object foldable1 extends ToFoldable1Ops
- Definition Classes
- Syntaxes
- object functor extends ToFunctorOps
- Definition Classes
- Syntaxes
- object id extends ToIdOps
- Definition Classes
- Syntaxes
- object invariantFunctor extends ToInvariantFunctorOps
- Definition Classes
- Syntaxes
- object isEmpty extends ToIsEmptyOps
- Definition Classes
- Syntaxes
- object kleisli extends ToKleisliOps
- Definition Classes
- Syntaxes
- object maybe extends ToMaybeOps
- Definition Classes
- Syntaxes
- object monad extends ToMonadOps
- Definition Classes
- Syntaxes
- object monadError extends ToMonadErrorOps
- Definition Classes
- Syntaxes
- object monadListen extends ToMonadListenOps
- Definition Classes
- Syntaxes
- object monadPlus extends ToMonadPlusOps
- Definition Classes
- Syntaxes
- object monadTell extends ToMonadTellOps
- Definition Classes
- Syntaxes
- object monoid extends ToMonoidOps
- Definition Classes
- Syntaxes
- object nel extends ToNelOps
- Definition Classes
- Syntaxes
- object optional extends ToOptionalOps
- Definition Classes
- Syntaxes
- object order extends ToOrderOps
- Definition Classes
- Syntaxes
- object plus extends ToPlusOps
- Definition Classes
- Syntaxes
- object plusEmpty extends ToPlusEmptyOps
- Definition Classes
- Syntaxes
- object proChoice extends ToProChoiceOps
- Definition Classes
- Syntaxes
- object profunctor extends ToProfunctorOps
- 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
- Definition Classes
- Syntaxes
- object state extends ToStateOps
- Definition Classes
- Syntaxes
- object strong extends ToStrongOps
- Definition Classes
- Syntaxes
- object tag extends ToTagOps
- Definition Classes
- Syntaxes
- object these extends ToTheseOps
- Definition Classes
- Syntaxes
- object traverse extends ToTraverseOps
- Definition Classes
- Syntaxes
- object traverse1 extends ToTraverse1Ops
- Definition Classes
- Syntaxes
- object tree extends ToTreeOps
- Definition Classes
- Syntaxes
- object unzip extends ToUnzipOps
- Definition Classes
- Syntaxes
- object validation extends ToValidationOps
- Definition Classes
- Syntaxes
- object writer extends ToWriterOps
- Definition Classes
- Syntaxes
- object zip extends ToZipOps
- Definition Classes
- Syntaxes
- object band extends ToBandOps
- object const extends ToConstOps
- object contT extends ToContTOps
- object eithert extends ToEitherTOps
- object monadTrans extends ToMonadTransOps
- object strictTree extends ToStrictTreeOps