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 BifoldableOps[F[_, _], A, B] extends Ops[F[A, B]]

    Wraps a value self and provides methods related to Bifoldable

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

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

    Wraps a value self and provides methods related to Bifunctor

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

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

    Wraps a value self and provides methods related to Bind

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

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

    Wraps a value self and provides methods related to Bitraverse

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

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

    Wraps a value self and provides methods related to Catchable

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

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

    Wraps a value self and provides methods related to Category

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

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

    Wraps a value self and provides methods related to Choice

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

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

    Wraps a value self and provides methods related to Cobind

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

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

    Wraps a value self and provides methods related to Comonad

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

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

    Wraps a value self and provides methods related to Compose

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

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

    Wraps a value self and provides methods related to Contravariant

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

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

    Wraps a value self and provides methods related to Cozip

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

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

    Wraps a value self and provides methods related to Divide

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

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

    Wraps a value self and provides methods related to Divisible

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

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

    Wraps a value self and provides methods related to Each

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

  43. final class EitherOps[A] extends AnyRef

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

    Wraps a value self and provides methods related to Enum

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

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

    Wraps a value self and provides methods related to Equal

  47. trait EqualSyntax[F] extends AnyRef

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

    Wraps a value self and provides methods related to Foldable1

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

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

    Wraps a value self and provides methods related to Foldable

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

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

    Wraps a value self and provides methods related to Functor

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

  54. sealed class IdOps[A] extends AnyRef

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

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

    Wraps a value self and provides methods related to Index

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

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

    Wraps a value self and provides methods related to InvariantFunctor

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

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

    Wraps a value self and provides methods related to IsEmpty

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

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

  63. final class KleisliIdOps[A] extends AnyRef

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

    Wraps a value self and provides methods related to Length

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

  66. final class MaybeOps[A] extends AnyRef

  67. final class MonadErrorIdOps[E] extends AnyRef

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

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

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

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

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

    Wraps a value self and provides methods related to Monad

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

    Wraps a value self and provides methods related to MonadPlus

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

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

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

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

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

    Wraps a value self and provides methods related to Monoid

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

  80. final class NelOps[A] extends AnyRef

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

    Wraps a value self and provides methods related to Nondeterminism

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

  83. trait Ops[A] extends AnyRef

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

    Wraps a value self and provides methods related to Optional

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

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

    Wraps a value self and provides methods related to Order

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

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

    Wraps a value self and provides methods related to PlusEmpty

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

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

    Wraps a value self and provides methods related to Plus

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

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

    Wraps a value self and provides methods related to ProChoice

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

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

    Wraps a value self and provides methods related to Profunctor

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

  96. final class ReducerOps[A] extends AnyRef

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

    Wraps a value self and provides methods related to Semigroup

  98. trait SemigroupSyntax[F] extends AnyRef

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

    Wraps a value self and provides methods related to Show

  100. trait ShowSyntax[F] extends AnyRef

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

    Wraps a value self and provides methods related to Split

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

  103. final class StateOps[A] extends AnyRef

  104. trait Syntaxes extends AnyRef

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

  106. final class TheseOps[A] extends AnyRef

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

  108. trait ToAlignOps extends ToAlignOps0 with ToFunctorOps

  109. sealed trait ToAlignOps0 extends AnyRef

  110. trait ToApplicativeOps extends ToApplicativeOps0 with ToApplyOps

  111. sealed trait ToApplicativeOps0 extends AnyRef

  112. trait ToApplicativePlusOps extends ToApplicativePlusOps0 with ToApplicativeOps with ToPlusEmptyOps

  113. sealed trait ToApplicativePlusOps0 extends AnyRef

  114. trait ToApplyOps extends ToApplyOps0 with ToFunctorOps

  115. sealed trait ToApplyOps0 extends AnyRef

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

  117. sealed trait ToArrowOps0 extends AnyRef

  118. trait ToAssociativeOps extends ToAssociativeOps0

  119. sealed trait ToAssociativeOps0 extends AnyRef

  120. trait ToBifoldableOps extends ToBifoldableOps0

  121. sealed trait ToBifoldableOps0 extends AnyRef

  122. trait ToBifunctorOps extends ToBifunctorOps0

  123. sealed trait ToBifunctorOps0 extends AnyRef

  124. trait ToBindOps extends ToBindOps0 with ToApplyOps

  125. sealed trait ToBindOps0 extends AnyRef

  126. trait ToBitraverseOps extends ToBitraverseOps0 with ToBifunctorOps with ToBifoldableOps

  127. sealed trait ToBitraverseOps0 extends AnyRef

  128. trait ToCatchableOps extends ToCatchableOps0

  129. sealed trait ToCatchableOps0 extends AnyRef

  130. trait ToCategoryOps extends ToCategoryOps0 with ToComposeOps

  131. sealed trait ToCategoryOps0 extends AnyRef

  132. trait ToChoiceOps extends ToChoiceOps0 with ToCategoryOps

  133. sealed trait ToChoiceOps0 extends AnyRef

  134. trait ToCobindOps extends ToCobindOps0 with ToFunctorOps

  135. sealed trait ToCobindOps0 extends AnyRef

  136. trait ToComonadOps extends ToComonadOps0 with ToCobindOps

  137. sealed trait ToComonadOps0 extends AnyRef

  138. trait ToComposeOps extends ToComposeOps0

  139. sealed trait ToComposeOps0 extends AnyRef

  140. trait ToContravariantOps extends ToContravariantOps0 with ToInvariantFunctorOps

  141. sealed trait ToContravariantOps0 extends AnyRef

  142. trait ToCozipOps extends ToCozipOps0

  143. sealed trait ToCozipOps0 extends AnyRef

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

  145. trait ToDivideOps extends ToDivideOps0 with ToContravariantOps

  146. sealed trait ToDivideOps0 extends AnyRef

  147. trait ToDivisibleOps extends ToDivisibleOps0 with ToDivideOps

  148. sealed trait ToDivisibleOps0 extends AnyRef

  149. trait ToEachOps extends ToEachOps0

  150. sealed trait ToEachOps0 extends AnyRef

  151. trait ToEitherOps extends AnyRef

  152. trait ToEnumOps extends ToOrderOps

  153. trait ToEqualOps extends AnyRef

  154. trait ToFoldable1Ops extends ToFoldable1Ops0 with ToFoldableOps

  155. sealed trait ToFoldable1Ops0 extends AnyRef

  156. trait ToFoldableOps extends ToFoldableOps0

  157. sealed trait ToFoldableOps0 extends AnyRef

  158. trait ToFunctorOps extends ToFunctorOps0 with ToInvariantFunctorOps

  159. sealed trait ToFunctorOps0 extends AnyRef

  160. trait ToIdOps extends AnyRef

  161. trait ToIdOpsDeprecated extends AnyRef

  162. trait ToIndexOps extends ToIndexOps0

  163. sealed trait ToIndexOps0 extends AnyRef

  164. trait ToInvariantFunctorOps extends ToInvariantFunctorOps0

  165. sealed trait ToInvariantFunctorOps0 extends AnyRef

  166. trait ToIsEmptyOps extends ToIsEmptyOps0 with ToPlusEmptyOps

  167. sealed trait ToIsEmptyOps0 extends AnyRef

  168. trait ToKleisliOps extends ToKleisliOps0

  169. sealed trait ToKleisliOps0 extends AnyRef

  170. trait ToLengthOps extends ToLengthOps0

  171. sealed trait ToLengthOps0 extends AnyRef

  172. trait ToMaybeOps extends AnyRef

  173. trait ToMonadErrorOps extends AnyRef

  174. trait ToMonadListenOps extends ToMonadListenOps0 with ToMonadTellOps

  175. sealed trait ToMonadListenOps0 extends AnyRef

  176. trait ToMonadOps extends ToMonadOps0 with ToApplicativeOps with ToBindOps

  177. sealed trait ToMonadOps0 extends AnyRef

  178. trait ToMonadPlusOps extends ToMonadPlusOps0 with ToMonadOps with ToApplicativePlusOps

  179. sealed trait ToMonadPlusOps0 extends AnyRef

  180. trait ToMonadTellOps extends ToMonadTellOps0

  181. sealed trait ToMonadTellOps0 extends AnyRef

  182. trait ToMonoidOps extends ToSemigroupOps

  183. trait ToNelOps extends AnyRef

  184. trait ToNondeterminismOps extends ToNondeterminismOps0 with ToMonadOps

  185. sealed trait ToNondeterminismOps0 extends AnyRef

  186. trait ToOptionalOps extends ToOptionalOps0

  187. sealed trait ToOptionalOps0 extends AnyRef

  188. trait ToOrderOps extends ToEqualOps

  189. trait ToPlusEmptyOps extends ToPlusEmptyOps0 with ToPlusOps

  190. sealed trait ToPlusEmptyOps0 extends AnyRef

  191. trait ToPlusOps extends ToPlusOps0

  192. sealed trait ToPlusOps0 extends AnyRef

  193. trait ToProChoiceOps extends ToProChoiceOps0 with ToProfunctorOps

  194. sealed trait ToProChoiceOps0 extends AnyRef

  195. trait ToProfunctorOps extends ToProfunctorOps0

  196. sealed trait ToProfunctorOps0 extends AnyRef

  197. trait ToReducerOps extends AnyRef

  198. trait ToSemigroupOps extends AnyRef

  199. trait ToShowOps extends AnyRef

  200. trait ToSplitOps extends ToSplitOps0 with ToComposeOps

  201. sealed trait ToSplitOps0 extends AnyRef

  202. trait ToStateOps extends AnyRef

  203. trait ToTagOps extends AnyRef

  204. trait ToTheseOps extends AnyRef

  205. trait ToTraverse1Ops extends ToTraverse1Ops0 with ToTraverseOps with ToFoldable1Ops

  206. sealed trait ToTraverse1Ops0 extends AnyRef

  207. trait ToTraverseOps extends ToTraverseOps0 with ToFunctorOps with ToFoldableOps

  208. sealed trait ToTraverseOps0 extends AnyRef

  209. trait ToTreeOps extends AnyRef

  210. 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

  211. trait ToUnzipOps extends ToUnzipOps0

  212. sealed trait ToUnzipOps0 extends AnyRef

  213. trait ToValidationOps extends AnyRef

  214. trait ToWriterOps extends AnyRef

  215. trait ToZipOps extends ToZipOps0

  216. sealed trait ToZipOps0 extends AnyRef

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

    Wraps a value self and provides methods related to Traverse1

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

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

    Wraps a value self and provides methods related to Traverse

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

  221. final class TreeOps[A] extends AnyRef

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

    Wraps a value self and provides methods related to Unzip

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

  224. final class ValidationOps[A] extends AnyRef

  225. final class WriterOps[A] extends AnyRef

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

    Wraps a value self and provides methods related to Zip

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

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

    Wraps a value self and provides methods related to MetricSpace

  229. trait MetricSpaceSyntax[F] extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.0.1) MetricSpace is deprecated

  230. 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 bifoldable extends ToBifoldableOps

  9. object bifunctor extends ToBifunctorOps

  10. object bind extends ToBindOps

  11. object bitraverse extends ToBitraverseOps

  12. object catchable extends ToCatchableOps

  13. object category extends ToCategoryOps

  14. object choice extends ToChoiceOps

  15. object cobind extends ToCobindOps

  16. object comonad extends ToComonadOps

  17. object compose extends ToComposeOps

  18. object contravariant extends ToContravariantOps

  19. object cozip extends ToCozipOps

  20. package effect

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

  21. object either extends ToEitherOps

  22. object enum extends ToEnumOps

  23. object equal extends ToEqualOps

  24. object foldable extends ToFoldableOps

  25. object foldable1 extends ToFoldable1Ops

  26. object functor extends ToFunctorOps

  27. object id extends ToIdOpsDeprecated

  28. object invariantFunctor extends ToInvariantFunctorOps

  29. object isEmpty extends ToIsEmptyOps

  30. object kleisli extends ToKleisliOps

  31. object maybe extends ToMaybeOps

  32. object monad extends ToMonadOps

  33. object monadError extends ToMonadErrorOps

  34. object monadListen extends ToMonadListenOps

  35. object monadPlus extends ToMonadPlusOps

  36. object monadTell extends ToMonadTellOps

  37. object monoid extends ToMonoidOps

  38. object nel extends ToNelOps

  39. object optional extends ToOptionalOps

  40. object order extends ToOrderOps

  41. object plus extends ToPlusOps

  42. object plusEmpty extends ToPlusEmptyOps

  43. object proChoice extends ToProChoiceOps

  44. object profunctor extends ToProfunctorOps

  45. object reducer extends ToReducerOps

  46. object semigroup extends ToSemigroupOps

  47. object show extends ToShowOps

  48. object split extends ToSplitOps

  49. object state extends ToStateOps

  50. package std

  51. object tag extends ToTagOps

  52. object these extends ToTheseOps

  53. object traverse extends ToTraverseOps

  54. object traverse1 extends ToTraverse1Ops

  55. object tree extends ToTreeOps

  56. object unzip extends ToUnzipOps

  57. object validation extends ToValidationOps

  58. object writer extends ToWriterOps

  59. 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