scalaz

syntax

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.

Visibility
  1. Public
  2. All

Type Members

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

    Wraps a value self and provides methods related to Align

  2. trait AlignSyntax[F[_]] extends FunctorSyntax[F]

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

    Wraps a value self and provides methods related to Applicative

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

    Wraps a value self and provides methods related to ApplicativePlus

  5. trait ApplicativePlusSyntax[F[_]] extends ApplicativeSyntax[F] with PlusEmptySyntax[F]

  6. trait ApplicativeSyntax[F[_]] extends ApplySyntax[F]

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

    Wraps a value self and provides methods related to Apply

  8. trait ApplySyntax[F[_]] extends FunctorSyntax[F]

  9. final class ArrowOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Arrow

  10. trait ArrowSyntax[F[_, _]] extends SplitSyntax[F] with ProfunctorSyntax[F] with CategorySyntax[F]

  11. final class AssociativeOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Associative

  12. trait AssociativeSyntax[F[_, _]] extends AnyRef

  13. final class BandOps[F] extends Ops[F]

    Wraps a value self and provides methods related to Band

  14. trait BandSyntax[F] extends SemigroupSyntax[F]

  15. final class BifoldableOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Bifoldable

  16. trait BifoldableSyntax[F[_, _]] extends AnyRef

  17. final class BifunctorOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Bifunctor

  18. trait BifunctorSyntax[F[_, _]] extends AnyRef

  19. final class BindOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Bind

  20. trait BindSyntax[F[_]] extends ApplySyntax[F]

  21. final class BitraverseOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Bitraverse

  22. trait BitraverseSyntax[F[_, _]] extends BifunctorSyntax[F] with BifoldableSyntax[F]

  23. final class CatchableOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Catchable

  24. trait CatchableSyntax[F[_]] extends AnyRef

  25. final class CategoryOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Category

  26. trait CategorySyntax[F[_, _]] extends ComposeSyntax[F]

  27. final class ChoiceOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Choice

  28. trait ChoiceSyntax[F[_, _]] extends CategorySyntax[F]

  29. final class CobindOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Cobind

  30. trait CobindSyntax[F[_]] extends FunctorSyntax[F]

  31. final class ComonadOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Comonad

  32. trait ComonadSyntax[F[_]] extends CobindSyntax[F]

  33. final class ComposeOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Compose

  34. trait ComposeSyntax[F[_, _]] extends AnyRef

  35. final class ContTOps[M[_], A] extends AnyRef

  36. final class ContravariantOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Contravariant

  37. trait ContravariantSyntax[F[_]] extends InvariantFunctorSyntax[F]

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

    Wraps a value self and provides methods related to Cozip

  39. trait CozipSyntax[F[_]] extends AnyRef

  40. final class DivideOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Divide

  41. trait DivideSyntax[F[_]] extends ContravariantSyntax[F]

  42. final class DivisibleOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Divisible

  43. trait DivisibleSyntax[F[_]] extends DivideSyntax[F]

  44. sealed abstract class EachOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Each

  45. trait EachSyntax[F[_]] extends AnyRef

  46. final class EitherOps[A] extends AnyRef

  47. final class EitherTOps[V] extends AnyRef

  48. final class EnumOps[F] extends Ops[F]

    Wraps a value self and provides methods related to Enum

  49. trait EnumSyntax[F] extends OrderSyntax[F]

  50. final class EqualOps[F] extends Ops[F]

    Wraps a value self and provides methods related to Equal

  51. trait EqualSyntax[F] extends AnyRef

  52. final class Foldable1Ops[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Foldable1

  53. trait Foldable1Syntax[F[_]] extends FoldableSyntax[F]

  54. final class FoldableOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Foldable

  55. trait FoldableSyntax[F[_]] extends AnyRef

  56. final class FunctorOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Functor

  57. trait FunctorSyntax[F[_]] extends InvariantFunctorSyntax[F]

  58. sealed class IdOps[A] extends AnyRef

  59. final class IdOpsDeprecated[A] extends IdOps[A]

  60. sealed abstract class IndexOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Index

  61. trait IndexSyntax[F[_]] extends AnyRef

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

    Wraps a value self and provides methods related to InvariantFunctor

  63. trait InvariantFunctorSyntax[F[_]] extends AnyRef

  64. final class IsEmptyOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to IsEmpty

  65. trait IsEmptySyntax[F[_]] extends PlusEmptySyntax[F]

  66. final class KleisliFAOps[F[_], A] extends AnyRef

  67. final class KleisliIdOps[A] extends AnyRef

  68. sealed abstract class LengthOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Length

  69. trait LengthSyntax[F[_]] extends AnyRef

  70. final class MaybeOps[A] extends AnyRef

  71. final class MonadErrorIdOps[E] extends AnyRef

  72. final class MonadErrorOps[F[_, _], E, A] extends AnyRef

  73. trait MonadErrorSyntax[F[_, _], E] extends AnyRef

  74. final class MonadListenOps[F[_, _], W, A] extends AnyRef

  75. trait MonadListenSyntax[F[_, _], W] extends MonadTellSyntax[F, W]

  76. final class MonadOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Monad

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

    Wraps a value self and provides methods related to MonadPlus

  78. trait MonadPlusSyntax[F[_]] extends MonadSyntax[F] with ApplicativePlusSyntax[F]

  79. trait MonadSyntax[F[_]] extends ApplicativeSyntax[F] with BindSyntax[F]

  80. final class MonadTellOps[F[_, _], W, A] extends AnyRef

  81. trait MonadTellSyntax[F[_, _], W] extends AnyRef

  82. final class MonoidOps[F] extends Ops[F]

    Wraps a value self and provides methods related to Monoid

  83. trait MonoidSyntax[F] extends SemigroupSyntax[F]

  84. final class NelOps[A] extends AnyRef

  85. final class NondeterminismOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Nondeterminism

  86. trait NondeterminismSyntax[F[_]] extends MonadSyntax[F]

  87. trait Ops[A] extends AnyRef

  88. final class OptionalOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Optional

  89. trait OptionalSyntax[F[_]] extends AnyRef

  90. final class OrderOps[F] extends Ops[F]

    Wraps a value self and provides methods related to Order

  91. trait OrderSyntax[F] extends EqualSyntax[F]

  92. final class PlusEmptyOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to PlusEmpty

  93. trait PlusEmptySyntax[F[_]] extends PlusSyntax[F]

  94. final class PlusOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Plus

  95. trait PlusSyntax[F[_]] extends AnyRef

  96. final class ProChoiceOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to ProChoice

  97. trait ProChoiceSyntax[F[_, _]] extends ProfunctorSyntax[F]

  98. final class ProfunctorOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Profunctor

  99. trait ProfunctorSyntax[F[_, _]] extends AnyRef

  100. final class ReducerOps[A] extends AnyRef

  101. final class SemiLatticeOps[F] extends Ops[F]

    Wraps a value self and provides methods related to SemiLattice

  102. trait SemiLatticeSyntax[F] extends BandSyntax[F]

  103. final class SemigroupOps[F] extends Ops[F]

    Wraps a value self and provides methods related to Semigroup

  104. trait SemigroupSyntax[F] extends AnyRef

  105. final class ShowOps[F] extends Ops[F]

    Wraps a value self and provides methods related to Show

  106. trait ShowSyntax[F] extends AnyRef

  107. final class SplitOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Split

  108. trait SplitSyntax[F[_, _]] extends ComposeSyntax[F]

  109. final class StateOps[A] extends AnyRef

  110. trait Syntaxes extends AnyRef

  111. final class TagOps[A, T] extends AnyRef

  112. final class TheseOps[A] extends AnyRef

  113. final class ThesePairOps[A, B] extends AnyRef

  114. trait ToAlignOps extends ToAlignOps0 with ToFunctorOps

  115. sealed trait ToAlignOps0 extends AnyRef

  116. trait ToApplicativeOps extends ToApplicativeOps0 with ToApplyOps

  117. sealed trait ToApplicativeOps0 extends AnyRef

  118. trait ToApplicativePlusOps extends ToApplicativePlusOps0 with ToApplicativeOps with ToPlusEmptyOps

  119. sealed trait ToApplicativePlusOps0 extends AnyRef

  120. trait ToApplyOps extends ToApplyOps0 with ToFunctorOps

  121. sealed trait ToApplyOps0 extends AnyRef

  122. trait ToArrowOps extends ToArrowOps0 with ToSplitOps with ToProfunctorOps with ToCategoryOps

  123. sealed trait ToArrowOps0 extends AnyRef

  124. trait ToAssociativeOps extends ToAssociativeOps0

  125. sealed trait ToAssociativeOps0 extends AnyRef

  126. trait ToBandOps extends ToSemigroupOps

  127. trait ToBifoldableOps extends ToBifoldableOps0

  128. sealed trait ToBifoldableOps0 extends AnyRef

  129. trait ToBifunctorOps extends ToBifunctorOps0

  130. sealed trait ToBifunctorOps0 extends AnyRef

  131. trait ToBindOps extends ToBindOps0 with ToApplyOps

  132. sealed trait ToBindOps0 extends AnyRef

  133. trait ToBitraverseOps extends ToBitraverseOps0 with ToBifunctorOps with ToBifoldableOps

  134. sealed trait ToBitraverseOps0 extends AnyRef

  135. trait ToCatchableOps extends ToCatchableOps0

  136. sealed trait ToCatchableOps0 extends AnyRef

  137. trait ToCategoryOps extends ToCategoryOps0 with ToComposeOps

  138. sealed trait ToCategoryOps0 extends AnyRef

  139. trait ToChoiceOps extends ToChoiceOps0 with ToCategoryOps

  140. sealed trait ToChoiceOps0 extends AnyRef

  141. trait ToCobindOps extends ToCobindOps0 with ToFunctorOps

  142. sealed trait ToCobindOps0 extends AnyRef

  143. trait ToComonadOps extends ToComonadOps0 with ToCobindOps

  144. sealed trait ToComonadOps0 extends AnyRef

  145. trait ToComposeOps extends ToComposeOps0

  146. sealed trait ToComposeOps0 extends AnyRef

  147. trait ToContTOps extends AnyRef

  148. trait ToContravariantOps extends ToContravariantOps0 with ToInvariantFunctorOps

  149. sealed trait ToContravariantOps0 extends AnyRef

  150. trait ToCozipOps extends ToCozipOps0

  151. sealed trait ToCozipOps0 extends AnyRef

  152. trait ToDataOps extends ToIdOps with ToTreeOps with ToReducerOps with ToWriterOps with ToStateOps with ToValidationOps with ToKleisliOps with ToEitherOps with ToNelOps with ToTheseOps with ToMaybeOps

  153. trait ToDivideOps extends ToDivideOps0 with ToContravariantOps

  154. sealed trait ToDivideOps0 extends AnyRef

  155. trait ToDivisibleOps extends ToDivisibleOps0 with ToDivideOps

  156. sealed trait ToDivisibleOps0 extends AnyRef

  157. trait ToEachOps extends ToEachOps0

  158. sealed trait ToEachOps0 extends AnyRef

  159. trait ToEitherOps extends AnyRef

  160. trait ToEitherTOps extends AnyRef

  161. trait ToEnumOps extends ToOrderOps

  162. trait ToEqualOps extends AnyRef

  163. trait ToFoldable1Ops extends ToFoldable1Ops0 with ToFoldableOps

  164. sealed trait ToFoldable1Ops0 extends AnyRef

  165. trait ToFoldableOps extends ToFoldableOps0

  166. sealed trait ToFoldableOps0 extends AnyRef

  167. trait ToFunctorOps extends ToFunctorOps0 with ToInvariantFunctorOps

  168. sealed trait ToFunctorOps0 extends AnyRef

  169. trait ToIdOps extends AnyRef

  170. trait ToIdOpsDeprecated extends AnyRef

  171. trait ToIndexOps extends ToIndexOps0

  172. sealed trait ToIndexOps0 extends AnyRef

  173. trait ToInvariantFunctorOps extends ToInvariantFunctorOps0

  174. sealed trait ToInvariantFunctorOps0 extends AnyRef

  175. trait ToIsEmptyOps extends ToIsEmptyOps0 with ToPlusEmptyOps

  176. sealed trait ToIsEmptyOps0 extends AnyRef

  177. trait ToKleisliOps extends ToKleisliOps0

  178. sealed trait ToKleisliOps0 extends AnyRef

  179. trait ToLengthOps extends ToLengthOps0

  180. sealed trait ToLengthOps0 extends AnyRef

  181. trait ToMaybeOps extends AnyRef

  182. trait ToMonadErrorOps extends AnyRef

  183. trait ToMonadListenOps extends ToMonadListenOps0 with ToMonadTellOps

  184. sealed trait ToMonadListenOps0 extends AnyRef

  185. trait ToMonadOps extends ToMonadOps0 with ToApplicativeOps with ToBindOps

  186. sealed trait ToMonadOps0 extends AnyRef

  187. trait ToMonadPlusOps extends ToMonadPlusOps0 with ToMonadOps with ToApplicativePlusOps

  188. sealed trait ToMonadPlusOps0 extends AnyRef

  189. trait ToMonadTellOps extends ToMonadTellOps0

  190. sealed trait ToMonadTellOps0 extends AnyRef

  191. trait ToMonoidOps extends ToSemigroupOps

  192. trait ToNelOps extends AnyRef

  193. trait ToNondeterminismOps extends ToNondeterminismOps0 with ToMonadOps

  194. sealed trait ToNondeterminismOps0 extends AnyRef

  195. trait ToOptionalOps extends ToOptionalOps0

  196. sealed trait ToOptionalOps0 extends AnyRef

  197. trait ToOrderOps extends ToEqualOps

  198. trait ToPlusEmptyOps extends ToPlusEmptyOps0 with ToPlusOps

  199. sealed trait ToPlusEmptyOps0 extends AnyRef

  200. trait ToPlusOps extends ToPlusOps0

  201. sealed trait ToPlusOps0 extends AnyRef

  202. trait ToProChoiceOps extends ToProChoiceOps0 with ToProfunctorOps

  203. sealed trait ToProChoiceOps0 extends AnyRef

  204. trait ToProfunctorOps extends ToProfunctorOps0

  205. sealed trait ToProfunctorOps0 extends AnyRef

  206. trait ToReducerOps extends AnyRef

  207. trait ToSemiLatticeOps extends ToBandOps

  208. trait ToSemigroupOps extends AnyRef

  209. trait ToShowOps extends AnyRef

  210. trait ToSplitOps extends ToSplitOps0 with ToComposeOps

  211. sealed trait ToSplitOps0 extends AnyRef

  212. trait ToStateOps extends AnyRef

  213. trait ToTagOps extends AnyRef

  214. trait ToTheseOps extends AnyRef

  215. trait ToTraverse1Ops extends ToTraverse1Ops0 with ToTraverseOps with ToFoldable1Ops

  216. sealed trait ToTraverse1Ops0 extends AnyRef

  217. trait ToTraverseOps extends ToTraverseOps0 with ToFunctorOps with ToFoldableOps

  218. sealed trait ToTraverseOps0 extends AnyRef

  219. trait ToTreeOps extends AnyRef

  220. trait ToTypeClassOps extends ToSemigroupOps with ToMonoidOps with ToEqualOps with ToLengthOps with ToShowOps with ToOrderOps with ToEnumOps with ToMetricSpaceOps with ToPlusEmptyOps with ToEachOps with ToIndexOps 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 with ToProChoiceOps

  221. trait ToUnzipOps extends ToUnzipOps0

  222. sealed trait ToUnzipOps0 extends AnyRef

  223. trait ToValidationOps extends AnyRef

  224. trait ToWriterOps extends AnyRef

  225. trait ToZipOps extends ToZipOps0

  226. sealed trait ToZipOps0 extends AnyRef

  227. final class Traverse1Ops[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Traverse1

  228. trait Traverse1Syntax[F[_]] extends TraverseSyntax[F] with Foldable1Syntax[F]

  229. final class TraverseOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Traverse

  230. trait TraverseSyntax[F[_]] extends FunctorSyntax[F] with FoldableSyntax[F]

  231. final class TreeOps[A] extends AnyRef

  232. final class UnzipOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Unzip

  233. trait UnzipSyntax[F[_]] extends AnyRef

  234. final class ValidationOps[A] extends AnyRef

  235. final class WriterOps[A] extends AnyRef

  236. final class ZipOps[F[_], A] extends Ops[F[A]]

    Wraps a value self and provides methods related to Zip

  237. trait ZipSyntax[F[_]] extends AnyRef

  238. trait MetricSpaceOps[F] extends Ops[F]

    Wraps a value self and provides methods related to MetricSpace

  239. trait MetricSpaceSyntax[F] extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.0.1) MetricSpace is deprecated

  240. trait ToMetricSpaceOps extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.0.1) MetricSpace is deprecated

Value Members

  1. object align extends ToAlignOps

  2. object all extends ToTypeClassOps with ToDataOps

  3. object applicative extends ToApplicativeOps

  4. object applicativePlus extends ToApplicativePlusOps

  5. object apply extends ToApplyOps

  6. object arrow extends ToArrowOps

  7. object associative extends ToAssociativeOps

  8. object band extends ToBandOps

  9. object bifoldable extends ToBifoldableOps

  10. object bifunctor extends ToBifunctorOps

  11. object bind extends ToBindOps

  12. object bitraverse extends ToBitraverseOps

  13. object catchable extends ToCatchableOps

  14. object category extends ToCategoryOps

  15. object choice extends ToChoiceOps

  16. object cobind extends ToCobindOps

  17. object comonad extends ToComonadOps

  18. object compose extends ToComposeOps

  19. object contT extends ToContTOps

  20. object contravariant extends ToContravariantOps

  21. object cozip extends ToCozipOps

  22. package effect

    Implicits to provide a convenient syntax to work with type classes and functions.

  23. object either extends ToEitherOps

  24. object eithert extends ToEitherTOps

  25. object enum extends ToEnumOps

  26. object equal extends ToEqualOps

  27. object foldable extends ToFoldableOps

  28. object foldable1 extends ToFoldable1Ops

  29. object functor extends ToFunctorOps

  30. object id extends ToIdOpsDeprecated

  31. object invariantFunctor extends ToInvariantFunctorOps

  32. object isEmpty extends ToIsEmptyOps

  33. object kleisli extends ToKleisliOps

  34. object maybe extends ToMaybeOps

  35. object monad extends ToMonadOps

  36. object monadError extends ToMonadErrorOps

  37. object monadListen extends ToMonadListenOps

  38. object monadPlus extends ToMonadPlusOps

  39. object monadTell extends ToMonadTellOps

  40. object monoid extends ToMonoidOps

  41. object nel extends ToNelOps

  42. object optional extends ToOptionalOps

  43. object order extends ToOrderOps

  44. object plus extends ToPlusOps

  45. object plusEmpty extends ToPlusEmptyOps

  46. object proChoice extends ToProChoiceOps

  47. object profunctor extends ToProfunctorOps

  48. object reducer extends ToReducerOps

  49. object semigroup extends ToSemigroupOps

  50. object show extends ToShowOps

  51. object split extends ToSplitOps

  52. object state extends ToStateOps

  53. package std

  54. object tag extends ToTagOps

  55. object these extends ToTheseOps

  56. object traverse extends ToTraverseOps

  57. object traverse1 extends ToTraverse1Ops

  58. object tree extends ToTreeOps

  59. object unzip extends ToUnzipOps

  60. object validation extends ToValidationOps

  61. object writer extends ToWriterOps

  62. object zip extends ToZipOps

Deprecated Value Members

  1. object cojoin extends ToCobindOps

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) cojoin has been merged into cobind

  2. object each extends ToEachOps

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) each is deprecated

  3. object index extends ToIndexOps

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) index is deprecated

  4. object length extends ToLengthOps

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) length is deprecated, use foldable instead

  5. object metricSpace extends ToMetricSpaceOps

    Annotations
    @deprecated
    Deprecated

    (Since version 7.0.1) metricSpace is deprecated