WriterTInstances4

sealed abstract

Implicits

Implicits

implicit
def writerFoldable[W]: Foldable[[_] =>> Writer[W, _$39]]
implicit
def writerTEqual[F[_], W, A](implicit E: Equal[F[(W, A)]]): Equal[WriterT[W, F, A]]
implicit
def writerTMonadError[F[_], E, W](implicit F0: MonadError[F, E], W0: Monoid[W]): MonadError[[_] =>> WriterT[W, F, _$43], E]

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