WriterTInstances3

sealed abstract

Value members

Concrete methods

def writerTEqual[F[_], W, A](implicit E: Equal[F[(W, A)]]): Equal[WriterT[F, W, A]]
def writerTFoldable[F[_], W](implicit F0: Foldable[F]): Foldable[[_] =>> WriterT[F, W, _$57]]

Inherited methods

def writerBind[W](implicit W0: Semigroup[W]): Bind[[_] =>> Writer[W, _$32]]
Inherited from
WriterTInstances12
def writerTApply[F[_], W](implicit W0: Semigroup[W], F0: Apply[F]): Apply[[_] =>> WriterT[F, W, _$37]]
Inherited from
WriterTInstances10
def writerTBind[F[_], W](implicit W0: Semigroup[W], F0: Bind[F]): Bind[[_] =>> WriterT[F, W, _$39]]
Inherited from
WriterTInstances9
def writerTBindRec[F[_], W](implicit W0: Semigroup[W], F0: BindRec[F], F1: Applicative[F]): BindRec[[_] =>> WriterT[F, W, _$43]]
Inherited from
WriterTInstances7
def writerTFunctor[F[_], W](implicit F0: Functor[F]): Functor[[_] =>> WriterT[F, W, _$29]]
Inherited from
WriterTInstances13

Implicits

Implicits

implicit
def writerTBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[_, _] =>> WriterT[F, _$54, _$55]]
implicit
def writerTMonadPlus[F[_], W](implicit W0: Monoid[W], F0: MonadPlus[F]): MonadPlus[[_] =>> WriterT[F, W, _$61]]

Inherited implicits

implicit
def writerBindRec[W](implicit W0: Semigroup[W]): BindRec[[_] =>> Writer[W, _$35]]
Inherited from
WriterTInstances11
implicit
def writerEqual[W, A](implicit E: Equal[(W, A)]): Equal[Writer[W, A]]
Inherited from
WriterTInstances4
implicit
def writerFoldable[W]: Foldable[[_] =>> Writer[W, _$49]]
Inherited from
WriterTInstances4
implicit
def writerFunctor[W]: Functor[[_] =>> Writer[W, _$25]]
Inherited from
WriterTInstances14
implicit
def writerMonad[W](implicit W0: Monoid[W]): Monad[[_] =>> Writer[W, _$44]]
Inherited from
WriterTInstances6
implicit
def writerTApplicative[F[_], W](implicit W0: Monoid[W], F0: Applicative[F]): Applicative[[_] =>> WriterT[F, W, _$41]]
Inherited from
WriterTInstances8
implicit
def writerTApply0[F[_], W](implicit W0: Semigroup[W], F0: Apply[F]): Apply[[_] =>> WriterT[F, W, _$19]]
Inherited from
WriterTInstances17
implicit
def writerTBind0[F[_], W](implicit W0: Semigroup[W], F0: Bind[F]): Bind[[_] =>> WriterT[F, W, _$34]]
Inherited from
WriterTInstances12
implicit
def writerTBindRec0[F[_], W](implicit W0: Semigroup[W], F0: BindRec[F], F1: Applicative[F]): BindRec[[_] =>> WriterT[F, W, _$31]]
Inherited from
WriterTInstances13
implicit
def writerTEqual0[F[_], W, A](implicit E: Equal[F[(W, A)]]): Equal[WriterT[F, W, A]]
Inherited from
WriterTInstance5
implicit
def writerTFoldable0[F[_], W](implicit F0: Foldable[F]): Foldable[[_] =>> WriterT[F, W, _$17]]
Inherited from
WriterTInstances17
implicit
def writerTFunctor0[F[_], W](implicit F0: Functor[F]): Functor[[_] =>> WriterT[F, W, _$15]]
Inherited from
WriterTInstances18
implicit
def writerTMonad[F[_], W](implicit W0: Monoid[W], F0: Monad[F]): Monad[[_] =>> WriterT[F, W, _$46]]
Inherited from
WriterTInstance5
implicit
def writerTMonadError[F[_], E, W](implicit F0: MonadError[F, E], W0: Monoid[W]): MonadError[[_] =>> WriterT[F, W, _$52], E]
Inherited from
WriterTInstances4
implicit
def writerTMonoid[F[_], W, A](implicit M: Monoid[F[(W, A)]]): Monoid[WriterT[F, W, A]]
Inherited from
WriterTInstances15
implicit
def writerTPlus[F[_], W](implicit F0: Plus[F]): Plus[[_] =>> WriterT[F, W, _$24]]
Inherited from
WriterTInstances15
implicit
def writerTPlusEmpty[F[_], W](implicit F0: PlusEmpty[F]): PlusEmpty[[_] =>> WriterT[F, W, _$27]]
Inherited from
WriterTInstances14
implicit
def writerTTraverse0[F[_], W](implicit F0: Traverse[F]): Traverse[[_] =>> WriterT[F, W, _$21]]
Inherited from
WriterTInstances16