scalaz-core/scalaz/WriterT

WriterT

object WriterT extends WriterTInstances with WriterTFunctions
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Inherited methods

def put[F[_], W, A](value: F[A])(w: W)(implicit F: Functor[F]): WriterT[W, F, A]
Inherited from
WriterTFunctions
def putWith[F[_], W, A](value: F[A])(w: A => W)(implicit F: Functor[F]): WriterT[W, F, A]

Puts the written value that is produced by applying the given function into a writer transformer and associates with value

Puts the written value that is produced by applying the given function into a writer transformer and associates with value

Inherited from
WriterTFunctions
def tell[W](w: W): Writer[W, Unit]
Inherited from
WriterTFunctions
def writer[W, A](v: (W, A)): Writer[W, A]
Inherited from
WriterTFunctions
def writerT[F[_], W, A](v: F[(W, A)]): WriterT[W, F, A]
Inherited from
WriterTFunctions
def writerTU[FAB, AB, A0, B0](fab: FAB)(implicit u1: Unapply[[F[_]] =>> Functor[F], FAB] { type A = AB; }, u2: Unapply2[[F[_, _]] =>> Bifunctor[F], AB] { type A = A0; type B = B0; }, l: AB === (A0, B0)): WriterT[A0, M, B0]
Inherited from
WriterTFunctions

Implicits

Inherited implicits

implicit
def writerBind[W](implicit W0: Semigroup[W]): Bind[[_] =>> Writer[W, _$26]]
Inherited from
WriterTInstances12
implicit
def writerBindRec[W](implicit W0: Semigroup[W]): BindRec[[_] =>> Writer[W, _$35]]
Inherited from
WriterTInstances7
implicit
def writerComonad[W]: Comonad[[_] =>> Writer[W, _$52]]
Inherited from
WriterTInstances2
implicit
def writerEqual[W, A](implicit E: Equal[(W, A)]): Equal[Writer[W, A]]
Inherited from
WriterTInstances3
implicit
def writerFoldable[W]: Foldable[[_] =>> Writer[W, _$39]]
Inherited from
WriterTInstances4
implicit
def writerFunctor[W]: Functor[[_] =>> Writer[W, _$21]]
Inherited from
WriterTInstances14
implicit
def writerMonad[W](implicit W0: Monoid[W]): Monad[[_] =>> Writer[W, _$36]]
Inherited from
WriterTInstances6
implicit
def writerTApplicative[W, F[_]](implicit W0: Monoid[W], F0: Applicative[F]): Applicative[[_] =>> WriterT[W, F, _$34]]
Inherited from
WriterTInstances8
implicit
def writerTApply[W, F[_]](implicit W0: Semigroup[W], F0: Apply[F]): Apply[[_] =>> WriterT[W, F, _$30]]
Inherited from
WriterTInstances10
implicit
def writerTBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[_, _] =>> WriterT[_$45, F, _$46]]
Inherited from
WriterTInstances3
implicit
def writerTBind[W, F[_]](implicit W0: Semigroup[W], F0: Bind[F]): Bind[[_] =>> WriterT[W, F, _$32]]
Inherited from
WriterTInstances9
implicit
def writerTBindRec[W, F[_]](implicit W0: Semigroup[W], F0: BindRec[F], F1: Applicative[F]): BindRec[[_] =>> WriterT[W, F, _$28]]
Inherited from
WriterTInstances11
implicit
def writerTBitraverse[F[_]](implicit F0: Traverse[F]): Bitraverse[[_, _] =>> WriterT[_$56, F, _$57]]
Inherited from
WriterTInstances0
implicit
def writerTDecidable[F[_], W, A](implicit F0: Decidable[F]): Decidable[[_] =>> WriterT[W, F, _$20]]
Inherited from
WriterTInstances15
implicit
def writerTDivisible[F[_], W, A](implicit F0: Divisible[F]): Divisible[[_] =>> WriterT[W, F, _$15]]
Inherited from
WriterTInstances16
implicit
def writerTEqual[F[_], W, A](implicit E: Equal[F[(W, A)]]): Equal[WriterT[W, F, A]]
Inherited from
WriterTInstances4
implicit
def writerTFoldable[W, F[_]](implicit F0: Foldable[F]): Foldable[[_] =>> WriterT[W, F, _$48]]
Inherited from
WriterTInstances3
implicit
def writerTFunctor[W, F[_]](implicit F0: Functor[F]): Functor[[_] =>> WriterT[W, F, _$25]]
Inherited from
WriterTInstances13
implicit
def writerTHoist[W](implicit W0: Monoid[W]): Hoist[[α[_], β] =>> WriterT[W, α, β]]
Inherited from
WriterTInstances
implicit
def writerTMonad[W, F[_]](implicit W0: Monoid[W], F0: Monad[F]): Monad[[_] =>> WriterT[W, F, _$38]]
Inherited from
WriterTInstance5
implicit
def writerTMonadError[F[_], E, W](implicit F0: MonadError[F, E], W0: Monoid[W]): MonadError[[_] =>> WriterT[W, F, _$43], E]
Inherited from
WriterTInstances4
implicit
def writerTMonadListen[W, F[_]](implicit F0: Monad[F], W0: Monoid[W]): MonadListen[[_] =>> WriterT[W, F, _$60], W]
Inherited from
WriterTInstances
implicit
def writerTMonadPlus[W, F[_]](implicit W0: Monoid[W], F0: MonadPlus[F]): MonadPlus[[_] =>> WriterT[W, F, _$51]]
Inherited from
WriterTInstances3
implicit
def writerTMonoid[W, F[_], A](implicit M: Monoid[F[(W, A)]]): Monoid[WriterT[W, F, A]]
Inherited from
WriterTInstances15
implicit
def writerTPlus[W, F[_]](implicit F0: Plus[F]): Plus[[_] =>> WriterT[W, F, _$18]]
Inherited from
WriterTInstances15
implicit
def writerTPlusEmpty[W, F[_]](implicit F0: PlusEmpty[F]): PlusEmpty[[_] =>> WriterT[W, F, _$23]]
Inherited from
WriterTInstances14
implicit
def writerTShow[F[_], W, A](implicit F0: Show[F[(W, A)]]): Show[WriterT[W, F, A]]
Inherited from
WriterTInstances
implicit
def writerTTraverse[W, F[_]](implicit F0: Traverse[F]): Traverse[[_] =>> WriterT[W, F, _$54]]
Inherited from
WriterTInstances1
implicit
def writerTraverse[W]: Traverse[[_] =>> Writer[W, _$58]]
Inherited from
WriterTInstances0