final case class WriterStateT[W, S, F[_], A](run: (S) => F[(W, S, A)]) extends AnyVal with Product with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- WriterStateT
- Serializable
- Product
- Equals
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new WriterStateT(run: (S) => F[(W, S, A)])
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##: Int
- Definition Classes
- Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- def apply(s: S): F[(W, S, A)]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def flatMap[B](f: (A) => WriterStateT[W, S, F, B])(implicit F: Bind[F], W: Monoid[W]): WriterStateT[W, S, F, B]
- def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def map[B](f: (A) => B)(implicit F: Functor[F]): WriterStateT[W, S, F, B]
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def recurse(f: (W) => Option[(WriterStateT[W, S, F, Unit], W)])(implicit F0: BindRec[F], F1: Monad[F], W: Monoid[W]): StateT[S, F, A]
- val run: (S) => F[(W, S, A)]
- def runRec(s: S)(f: (W) => Option[(WriterStateT[W, S, F, Unit], W)])(implicit F0: BindRec[F], F1: Applicative[F], W: Monoid[W]): F[(S, A)]
- def zoomOut[T](implicit l: Lens[T, S], F: Functor[F]): WriterStateT[W, T, F, A]