Packages

  • package root
    Definition Classes
    root
  • package cats

    The cats root package contains all the trait signatures of most Scala type classes.

    The cats root package contains all the trait signatures of most Scala type classes.

    Cats type classes are implemented using the approach from the Type classes as objects and implicits article.

    For each type class, cats provides three pieces: - Its signature: a trait that is polymorphic on a type parameter. Type class traits inherit from other type classes to indicate that any implementation of the lower type class (e.g. Applicative) can also serve as an instance for the higuer type class (e.g. Functor). - Type class 'instances, which are classes and objects that implement one or more type class signatures for some specific types. Type class instances for several data types from the Java or Scala standard libraries are declared in the subpackage cats.instances. - Syntax extensions, each of which provides the methods of the type class defines as extension methods (which in Scala 2 are encoded as implicit classes) for values of any type F; given that an instance of the type class for the receiver type (this) is in the implicit scope. Symtax extensions are declared in the cats.syntax package. - A set of laws, that are also generic on the type of the class, and are only defined on the operations of the type class. The purpose of these laws is to declare some algebraic relations (equations) between Scala expressions involving the operations of the type class, and test (but not verify) that implemented instances satisfy those equations. Laws are defined in the cats-laws package.

    Although most of cats type classes are declared in this package, some are declared in other packages: - type classes that operate on base types (kind *), and their implementations for standard library types, are contained in cats.kernel, which is a different SBT project. However, they are re-exported from this package. - type classes of kind F[_, _], such as cats.arrow.Profunctor" or cats.arrow.Arrow, which are relevant for Functional Reactive Programming or optics, are declared in the cats.arrow package. - Also, those type classes that abstract over (pure or impure) functional runtime effects are declared in the cats-effect library. - Some type classes for which no laws can be provided are left out of the main road, in a small and dirty alley. These are the alleycats.

    Definition Classes
    root
  • package data
    Definition Classes
    cats
  • AndThen
  • AppFunc
  • Binested
  • BinestedBifoldable
  • BinestedBitraverse
  • BinestedInstances
  • Chain
  • Cokleisli
  • Const
  • Cont
  • ContT
  • EitherK
  • EitherT
  • Func
  • IdT
  • IndexedReaderWriterStateT
  • IndexedState
  • IndexedStateT
  • Ior
  • IorT
  • Kleisli
  • Nested
  • NonEmptyChainOps
  • NonEmptyList
  • NonEmptyMapOps
  • NonEmptySetOps
  • NonEmptyVector
  • OneAnd
  • Op
  • OptionT
  • Reader
  • ReaderWriterState
  • ReaderWriterStateT
  • RepresentableStore
  • State
  • StateT
  • Store
  • Tuple2K
  • Validated
  • Writer
  • WriterT
  • ZipList
  • ZipStream
  • ZipVector

object WriterT extends WriterTInstances with WriterTFunctions with WriterTFunctions0 with Serializable

Linear Supertypes
Serializable, Serializable, WriterTFunctions0, WriterTFunctions, WriterTInstances, WriterTInstances0, WriterTInstances1, WriterTInstances2, WriterTInstances3, WriterTInstances4, WriterTInstances5, WriterTInstances6, WriterTInstances7, WriterTInstances8, WriterTInstances9, WriterTInstances10, WriterTInstances11, WriterTInstances12, WriterTInstances13, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. WriterT
  2. Serializable
  3. Serializable
  4. WriterTFunctions0
  5. WriterTFunctions
  6. WriterTInstances
  7. WriterTInstances0
  8. WriterTInstances1
  9. WriterTInstances2
  10. WriterTInstances3
  11. WriterTInstances4
  12. WriterTInstances5
  13. WriterTInstances6
  14. WriterTInstances7
  15. WriterTInstances8
  16. WriterTInstances9
  17. WriterTInstances10
  18. WriterTInstances11
  19. WriterTInstances12
  20. WriterTInstances13
  21. AnyRef
  22. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. implicit def catsDataAlternativeForWriterT[F[_], L](implicit F: Alternative[F], L: Monoid[L]): Alternative[[γ$35$]WriterT[F, L, γ$35$]]
    Definition Classes
    WriterTInstances8
  6. implicit def catsDataApplicativeErrorForWriterT[F[_], L, E](implicit F: ApplicativeError[F, E], L: Monoid[L]): ApplicativeError[[γ$34$]WriterT[F, L, γ$34$], E]
    Definition Classes
    WriterTInstances7
  7. implicit def catsDataApplicativeForWriterT[F[_], L](implicit F: Applicative[F], L: Monoid[L]): Applicative[[γ$41$]WriterT[F, L, γ$41$]]
    Definition Classes
    WriterTInstances10
  8. implicit def catsDataApplyForWriterT[F[_], L](implicit F: Apply[F], L: Semigroup[L]): Apply[[γ$43$]WriterT[F, L, γ$43$]]
    Definition Classes
    WriterTInstances11
  9. implicit def catsDataBifunctorForWriterT[F[_]](implicit arg0: Functor[F]): Bifunctor[[β$23$, γ$24$]WriterT[F, β$23$, γ$24$]]
    Definition Classes
    WriterTInstances2
  10. implicit def catsDataCoflatMapForWriterT[F[_], L](implicit F: Functor[F]): CoflatMap[[γ$45$]WriterT[F, L, γ$45$]]
    Definition Classes
    WriterTInstances13
  11. implicit def catsDataCoflatMapForWriterTId[L]: CoflatMap[[γ$31$]WriterT[[A]A, L, γ$31$]]
    Definition Classes
    WriterTInstances4
  12. implicit def catsDataCommutativeMonadForWriterT[F[_], L](implicit F: CommutativeMonad[F], L: CommutativeMonoid[L]): CommutativeMonad[[γ$5$]WriterT[F, L, γ$5$]]
    Definition Classes
    WriterTInstances0
  13. implicit def catsDataComonadForWriterT[F[_], L](implicit F: Comonad[F]): Comonad[[γ$44$]WriterT[F, L, γ$44$]]
    Definition Classes
    WriterTInstances12
  14. implicit def catsDataComonadForWriterTId[L](implicit F: Comonad[Id]): Comonad[[γ$29$]WriterT[[A]A, L, γ$29$]]
    Definition Classes
    WriterTInstances3
  15. implicit def catsDataContravariantForWriterT[F[_], L](implicit F: Contravariant[F]): Contravariant[[γ$39$]WriterT[F, L, γ$39$]]
    Definition Classes
    WriterTInstances9
  16. implicit def catsDataContravariantMonoidalForWriterT[F[_], L](implicit F: ContravariantMonoidal[F]): ContravariantMonoidal[[γ$36$]WriterT[F, L, γ$36$]]
    Definition Classes
    WriterTInstances8
  17. implicit def catsDataDeferForWriterT[F[_], L](implicit F: Defer[F]): Defer[[γ$3$]WriterT[F, L, γ$3$]]
    Definition Classes
    WriterTInstances
  18. implicit def catsDataEqForWriterT[F[_], L, V](implicit F: Eq[F[(L, V)]]): Eq[WriterT[F, L, V]]
    Definition Classes
    WriterTInstances3
  19. implicit def catsDataEqForWriterTId[L, V](implicit arg0: Eq[L], arg1: Eq[V]): Eq[WriterT[Id, L, V]]
    Definition Classes
    WriterTInstances2
  20. implicit def catsDataFlatMapForWriterT1[F[_], L](implicit F: FlatMap[F], L: Monoid[L]): FlatMap[[γ$33$]WriterT[F, L, γ$33$]]
    Definition Classes
    WriterTInstances6
  21. implicit def catsDataFlatMapForWriterT2[F[_], L](implicit F: Monad[F], L: Semigroup[L]): FlatMap[[γ$38$]WriterT[F, L, γ$38$]]
    Definition Classes
    WriterTInstances9
  22. implicit def catsDataFlatMapForWriterTId[L](implicit arg0: Semigroup[L]): FlatMap[[γ$32$]WriterT[[A]A, L, γ$32$]]
    Definition Classes
    WriterTInstances5
  23. implicit def catsDataFoldableForWriterT[F[_], L](implicit F: Foldable[F]): Foldable[[γ$27$]WriterT[F, L, γ$27$]]
    Definition Classes
    WriterTInstances2
  24. implicit def catsDataFoldableForWriterTId[L](implicit F: Foldable[Id]): Foldable[[γ$8$]WriterT[[A]A, L, γ$8$]]
    Definition Classes
    WriterTInstances1
  25. implicit def catsDataInvariantForWriterT[F[_], L](implicit F0: Invariant[F]): Invariant[[γ$42$]WriterT[F, L, γ$42$]]
    Definition Classes
    WriterTInstances10
  26. implicit def catsDataMonadErrorForWriterT[F[_], L, E](implicit F: MonadError[F, E], L: Monoid[L]): MonadError[[γ$9$]WriterT[F, L, γ$9$], E]
    Definition Classes
    WriterTInstances2
  27. implicit def catsDataMonadForWriterT[F[_], L](implicit F: Monad[F], L: Monoid[L]): Monad[[γ$30$]WriterT[F, L, γ$30$]]
    Definition Classes
    WriterTInstances4
  28. implicit def catsDataMonadForWriterTId[L](implicit arg0: Monoid[L]): Monad[[γ$28$]WriterT[[A]A, L, γ$28$]]
    Definition Classes
    WriterTInstances3
  29. implicit def catsDataMonoidForWriterT[F[_], L, V](implicit W: Monoid[F[(L, V)]]): Monoid[WriterT[F, L, V]]
    Definition Classes
    WriterTInstances4
  30. implicit def catsDataMonoidForWriterTId[L, V](implicit arg0: Monoid[L], arg1: Monoid[V]): Monoid[WriterT[Id, L, V]]
    Definition Classes
    WriterTInstances2
  31. implicit def catsDataMonoidKForWriterT[F[_], L](implicit F: MonoidK[F]): MonoidK[[γ$37$]WriterT[F, L, γ$37$]]
    Definition Classes
    WriterTInstances9
  32. implicit def catsDataParallelForWriterT[M[_], L](implicit arg0: Monoid[L], P: Parallel[M]): Aux[[γ$10$]WriterT[M, L, γ$10$], [γ$11$]WriterT[Parallel.F, L, γ$11$]]
    Definition Classes
    WriterTInstances2
  33. implicit def catsDataSemigroupForWriterT[F[_], L, V](implicit W: Semigroup[F[(L, V)]]): Semigroup[WriterT[F, L, V]]
    Definition Classes
    WriterTInstances6
  34. implicit def catsDataSemigroupForWriterTId[L, V](implicit arg0: Semigroup[L], arg1: Semigroup[V]): Semigroup[WriterT[Id, L, V]]
    Definition Classes
    WriterTInstances3
  35. implicit def catsDataSemigroupKForWriterT[F[_], L](implicit F: SemigroupK[F]): SemigroupK[[γ$40$]WriterT[F, L, γ$40$]]
    Definition Classes
    WriterTInstances10
  36. implicit def catsDataShowForWriterT[F[_], L, V](implicit F: Show[F[(L, V)]]): Show[WriterT[F, L, V]]
    Definition Classes
    WriterTInstances2
  37. implicit def catsDataTraverseForWriterT[F[_], L](implicit F: Traverse[F]): Traverse[[γ$7$]WriterT[F, L, γ$7$]]
    Definition Classes
    WriterTInstances1
  38. implicit def catsDataTraverseForWriterTId[L](implicit F: Traverse[Id]): Traverse[[γ$2$]WriterT[[A]A, L, γ$2$]]
    Definition Classes
    WriterTInstances
  39. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  40. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  42. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  43. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  44. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  45. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  46. def liftF[F[_], L, V](fv: F[V])(implicit monoidL: Monoid[L], F: Applicative[F]): WriterT[F, L, V]
  47. def liftK[F[_], L](implicit monoidL: Monoid[L], F: Applicative[F]): ~>[F, [γ$0$]WriterT[F, L, γ$0$]]

    Same as liftF, but expressed as a FunctionK for use with mapK

    Same as liftF, but expressed as a FunctionK for use with mapK

    scala> import cats._, data._, implicits._
    scala> val a: OptionT[Eval, Int] = 1.pure[OptionT[Eval, *]]
    scala> val b: OptionT[WriterT[Eval, String, *], Int] = a.mapK(WriterT.liftK)
    scala> b.value.run.value
    res0: (String, Option[Int]) = ("",Some(1))
  48. def listen[F[_], L, V](writerTFLV: WriterT[F, L, V])(implicit functorF: Functor[F]): WriterT[F, L, (V, L)]
    Definition Classes
    WriterTFunctions0
  49. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  50. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  51. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  52. def put[F[_], L, V](v: V)(l: L)(implicit applicativeF: Applicative[F]): WriterT[F, L, V]
    Definition Classes
    WriterTFunctions
  53. def putT[F[_], L, V](vf: F[V])(l: L)(implicit functorF: Functor[F]): WriterT[F, L, V]
    Definition Classes
    WriterTFunctions
  54. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  55. def tell[F[_], L](l: L)(implicit applicativeF: Applicative[F]): WriterT[F, L, Unit]
    Definition Classes
    WriterTFunctions
  56. def toString(): String
    Definition Classes
    AnyRef → Any
  57. def value[F[_], L, V](v: V)(implicit applicativeF: Applicative[F], monoidL: Monoid[L]): WriterT[F, L, V]
    Definition Classes
    WriterTFunctions
  58. def valueT[F[_], L, V](vf: F[V])(implicit functorF: Functor[F], monoidL: Monoid[L]): WriterT[F, L, V]
    Definition Classes
    WriterTFunctions
  59. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  60. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  61. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Deprecated Value Members

  1. def lift[F[_], L, V](fv: F[V])(implicit monoidL: Monoid[L], F: Applicative[F]): WriterT[F, L, V]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0.0-RC2) Use liftF instead

Inherited from Serializable

Inherited from Serializable

Inherited from WriterTFunctions0

Inherited from WriterTFunctions

Inherited from WriterTInstances

Inherited from WriterTInstances0

Inherited from WriterTInstances1

Inherited from WriterTInstances2

Inherited from WriterTInstances3

Inherited from WriterTInstances4

Inherited from WriterTInstances5

Inherited from WriterTInstances6

Inherited from WriterTInstances7

Inherited from WriterTInstances8

Inherited from WriterTInstances9

Inherited from WriterTInstances10

Inherited from WriterTInstances11

Inherited from WriterTInstances12

Inherited from WriterTInstances13

Inherited from AnyRef

Inherited from Any

Ungrouped