- Companion:
- class
trait WriterStateTInstances
trait WriterStateTInstances1
trait WriterStateTInstances2
class Object
trait Matchable
class Any
WriterStateT.type
Value members
Concrete methods
def recurse[H[_], F[_], G[_], W0, S](f: NaturalTransformation[H, [_] =>> WriterStateT[G[W0], S, F, _$9]])(wh: W0 => H[Unit])(implicit F0: BindRec[F], F1: Monad[F], G: Catenable[G]): NaturalTransformation[H, [_] =>> StateT[S, F, _$10]]
def unfold[F[_], W, S](w: W, f: W => Option[(WriterStateT[W, S, F, Unit], W)])(s: S)(implicit F0: BindRec[F], F1: Applicative[F], W: Monoid[W]): F[S]
def unfold[F[_], G[_], W0, S](gw: G[W0], f: W0 => WriterStateT[G[W0], S, F, Unit])(s: S)(implicit F0: BindRec[F], F1: Applicative[F], G: Catenable[G]): F[S]
Implicits
Inherited implicits
implicit def bindRec[F[_], W, S](implicit F0: BindRec[F], W: Monoid[W]): BindRec[[_] =>> WriterStateT[W, S, F, _$22]]
- Inherited from:
- WriterStateTInstances1
implicit def monad[F[_], W, S](implicit F: Monad[F], W: Monoid[W]): Monad[[_] =>> WriterStateT[W, S, F, _$25]]
- Inherited from:
- WriterStateTInstances2
implicit def monadTellStateInstance[F[_], W, S](implicit F: Monad[F], W: Monoid[W]): MonadTellState[[_] =>> WriterStateT[W, S, F, _$13], W, S]
- Inherited from:
- WriterStateTInstances
implicit def monadTrans[W, S](implicit W: Monoid[W]): MonadTrans[[M[_], A] =>> WriterStateT[W, S, M, A]]
- Inherited from:
- WriterStateTInstances