WriterTInstances

sealed abstract
object WriterT

Implicits

Implicits

implicit
def writerTHoist[W](implicit W0: Monoid[W]): Hoist[[α[_], β] =>> WriterT[W, α, β]]
implicit
def writerTMonadListen[W, F[_]](implicit F0: Monad[F], W0: Monoid[W]): MonadListen[[_] =>> WriterT[W, F, _$60], W]
implicit
def writerTShow[F[_], W, A](implicit F0: Show[F[(W, A)]]): Show[WriterT[W, F, A]]

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