sealed abstract
class
WriterTInstances extends WriterTInstances0
Instance Constructors
-
new
WriterTInstances()
Value Members
-
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
writerBind[W](implicit W0: Semigroup[W]): Bind[[β$9$]WriterT[[X]X, W, β$9$]]
-
implicit
def
writerBindRec[W](implicit W0: Semigroup[W]): BindRec[[β$11$]WriterT[[X]X, W, β$11$]]
-
implicit
val
writerBitraverse: Bitraverse[Writer]
-
implicit
def
writerComonad[W]: Comonad[[β$24$]WriterT[[X]X, W, β$24$]]
-
implicit
def
writerEqual[W, A](implicit E: Equal[(W, A)]): Equal[Writer[W, A]]
-
implicit
def
writerFoldable[W]: Foldable[[β$18$]WriterT[[X]X, W, β$18$]]
-
implicit
def
writerFunctor[W]: Functor[[β$5$]WriterT[[X]X, W, β$5$]]
-
implicit
def
writerMonad[W](implicit W0: Monoid[W]): Monad[[β$16$]WriterT[[X]X, W, β$16$]]
-
implicit
def
writerTApplicative[F[_], W](implicit W0: Monoid[W], F0: Applicative[F]): Applicative[[γ$14$]WriterT[F, W, γ$14$]]
-
def
writerTApply[F[_], W](implicit W0: Semigroup[W], F0: Apply[F]): Apply[[γ$12$]WriterT[F, W, γ$12$]]
-
implicit
def
writerTApply0[F[_], W](implicit W0: Semigroup[W], F0: Apply[F]): Apply[[γ$2$]WriterT[F, W, γ$2$]]
-
implicit
def
writerTBifunctor[F[_]](implicit F0: Functor[F]): Bifunctor[[β$20$, γ$21$]WriterT[F, β$20$, γ$21$]]
-
def
writerTBind[F[_], W](implicit W0: Semigroup[W], F0: Bind[F]): Bind[[γ$13$]WriterT[F, W, γ$13$]]
-
implicit
def
writerTBind0[F[_], W](implicit W0: Semigroup[W], F0: Bind[F]): Bind[[γ$10$]WriterT[F, W, γ$10$]]
-
def
writerTBindRec[F[_], W](implicit W0: Semigroup[W], F0: BindRec[F], F1: Applicative[F]): BindRec[[γ$15$]WriterT[F, W, γ$15$]]
-
implicit
def
writerTBindRec0[F[_], W](implicit W0: Semigroup[W], F0: BindRec[F], F1: Applicative[F]): BindRec[[γ$8$]WriterT[F, W, γ$8$]]
-
implicit
def
writerTBitraverse[F[_]](implicit F0: Traverse[F]): Bitraverse[[β$26$, γ$27$]WriterT[F, β$26$, γ$27$]]
-
def
writerTEqual[F[_], W, A](implicit E: Equal[F[(W, A)]]): Equal[WriterT[F, W, A]]
-
implicit
def
writerTEqual0[F[_], W, A](implicit E: Equal[F[(W, A)]]): Equal[WriterT[F, W, A]]
-
def
writerTFoldable[F[_], W](implicit F0: Foldable[F]): Foldable[[γ$22$]WriterT[F, W, γ$22$]]
-
implicit
def
writerTFoldable0[F[_], W](implicit F0: Foldable[F]): Foldable[[γ$1$]WriterT[F, W, γ$1$]]
-
def
writerTFunctor[F[_], W](implicit F0: Functor[F]): Functor[[γ$7$]WriterT[F, W, γ$7$]]
-
implicit
def
writerTFunctor0[F[_], W](implicit F0: Functor[F]): Functor[[γ$0$]WriterT[F, W, γ$0$]]
-
implicit
def
writerTHoist[W](implicit W0: Monoid[W]): Hoist[[α[_$1], β]WriterT[α, W, β]]
-
implicit
def
writerTMonad[F[_], W](implicit W0: Monoid[W], F0: Monad[F]): Monad[[γ$17$]WriterT[F, W, γ$17$]]
-
implicit
def
writerTMonadError[F[_], E, W](implicit F0: MonadError[F, E], W0: Monoid[W]): MonadError[[γ$19$]WriterT[F, W, γ$19$], E]
-
implicit
def
writerTMonadListen[F[_], W](implicit F0: Monad[F], W0: Monoid[W]): MonadListen[[γ$29$]WriterT[F, W, γ$29$], W]
-
implicit
def
writerTMonadPlus[F[_], W](implicit W0: Monoid[W], F0: MonadPlus[F]): MonadPlus[[γ$23$]WriterT[F, W, γ$23$]]
-
implicit
def
writerTMonoid[F[_], W, A](implicit M: Monoid[F[(W, A)]]): Monoid[WriterT[F, W, A]]
-
implicit
def
writerTPlus[F[_], W](implicit F0: Plus[F]): Plus[[γ$4$]WriterT[F, W, γ$4$]]
-
implicit
def
writerTPlusEmpty[F[_], W](implicit F0: PlusEmpty[F]): PlusEmpty[[γ$6$]WriterT[F, W, γ$6$]]
-
implicit
def
writerTShow[F[_], W, A](implicit F0: Show[F[(W, A)]]): Show[WriterT[F, W, A]]
-
def
writerTTraverse[F[_], W](implicit F0: Traverse[F]): Traverse[[γ$28$]WriterT[F, W, γ$28$]]
-
implicit
def
writerTTraverse0[F[_], W](implicit F0: Traverse[F]): Traverse[[γ$3$]WriterT[F, W, γ$3$]]
-
implicit
def
writerTraverse[W]: Traverse[[β$25$]WriterT[[X]X, W, β$25$]]
