WriterTMonadInstance

sealed abstract class WriterTMonadInstance extends WriterTApplicativeInstance
class Object
trait Matchable
class Any

Implicits

Implicits

implicit def writerTEqual[F[_], W, A](EQ: Equal[F[(W, A)]]): Equal[WriterT[F, W, A]]
implicit def writerTMonad[F[_], W](F0: Monad[F], S0: Monoid[W]): Monad[[_] =>> WriterT[F, W, _$16]]

Inherited implicits

implicit def writerTApplicative[F[_], W](F0: Applicative[F], S0: Monoid[W]): Applicative[[_] =>> WriterT[F, W, _$14]]
implicit def writerTFunctor[F[_], W](F0: Functor[F]): Functor[[_] =>> WriterT[F, W, _$12]]