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
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
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 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
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
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 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 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 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 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
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 contT extends ToContTOps
- object monadTrans extends ToMonadTransOps
- object strictTree extends ToStrictTreeOps