object IndexedReaderWriterStateT extends IRWSTInstances with CommonIRWSTConstructors with Serializable
- Alphabetic
- By Inheritance
- IndexedReaderWriterStateT
- Serializable
- CommonIRWSTConstructors
- IRWSTInstances
- IRWSTInstances1
- IRWSTInstances2
- IRWSTInstances3
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def apply[F[_], E, L, SA, SB, A](runF: (E, SA) => F[(L, SB, A)])(implicit F: Applicative[F]): IndexedReaderWriterStateT[F, E, L, SA, SB, A]
Construct a new computation using the provided function.
- def applyF[F[_], E, L, SA, SB, A](runF: F[(E, SA) => F[(L, SB, A)]]): IndexedReaderWriterStateT[F, E, L, SA, SB, A]
Like apply, but using a function in a context
F
. - final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def ask[F[_], E, L, S](implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, E]
Get the provided environment, without modifying the input state.
Get the provided environment, without modifying the input state.
- Definition Classes
- CommonIRWSTConstructors
- implicit def catsDataAlternativeForIRWST[F[_], E, L, S](implicit FM: Monad[F], FA: Alternative[F], L0: Monoid[L]): Alternative[[ζ$13$]IndexedReaderWriterStateT[F, E, L, S, S, ζ$13$]]
- Definition Classes
- IRWSTInstances2
- implicit def catsDataBifunctorForIRWST[F[_], E, L, SA](implicit F0: Functor[F]): Bifunctor[[ε$4$, ζ$5$]IndexedReaderWriterStateT[F, E, L, SA, ε$4$, ζ$5$]]
- Definition Classes
- IRWSTInstances
- implicit def catsDataContravariantForIRWST[F[_], E, L, SB, T](implicit F0: Functor[F]): Contravariant[[δ$6$]IndexedReaderWriterStateT[F, E, L, δ$6$, SB, T]]
- Definition Classes
- IRWSTInstances
- implicit def catsDataDeferForIRWST[F[_], E, L, SA, SB](implicit F: Defer[F]): Defer[[ζ$8$]IndexedReaderWriterStateT[F, E, L, SA, SB, ζ$8$]]
- Definition Classes
- IRWSTInstances
- implicit def catsDataFunctorForIRWST[F[_], E, L, SA, SB](implicit F0: Functor[F]): Functor[[ζ$15$]IndexedReaderWriterStateT[F, E, L, SA, SB, ζ$15$]]
- Definition Classes
- IRWSTInstances3
- implicit def catsDataMonadErrorForIRWST[F[_], E, L, S, R](implicit F0: MonadError[F, R], L0: Monoid[L]): MonadError[[ζ$7$]IndexedReaderWriterStateT[F, E, L, S, S, ζ$7$], R]
- Definition Classes
- IRWSTInstances
- implicit def catsDataMonadForRWST[F[_], E, L, S](implicit F0: Monad[F], L0: Monoid[L]): Monad[[ε$10$]IndexedReaderWriterStateT[F, E, L, S, S, ε$10$]]
- Definition Classes
- IRWSTInstances1
- implicit def catsDataProfunctorForIRWST[F[_], E, L, T](implicit F0: Functor[F]): Profunctor[[δ$11$, ε$12$]IndexedReaderWriterStateT[F, E, L, δ$11$, ε$12$, T]]
- Definition Classes
- IRWSTInstances1
- implicit def catsDataSemigroupKForIRWST[F[_], E, L, SA, SB](implicit F0: Monad[F], G0: SemigroupK[F]): SemigroupK[[ζ$14$]IndexedReaderWriterStateT[F, E, L, SA, SB, ζ$14$]]
- Definition Classes
- IRWSTInstances3
- implicit def catsDataStrongForIRWST[F[_], E, L, T](implicit F0: Monad[F]): Strong[[δ$2$, ε$3$]IndexedReaderWriterStateT[F, E, L, δ$2$, ε$3$, T]]
- Definition Classes
- IRWSTInstances
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def get[F[_], E, L, S](implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, S]
Return the input state without modifying it.
Return the input state without modifying it.
- Definition Classes
- CommonIRWSTConstructors
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def inspect[F[_], E, L, S, A](f: (S) => A)(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]
Inspect a value from the input state, without modifying the state.
Inspect a value from the input state, without modifying the state.
- Definition Classes
- CommonIRWSTConstructors
- def inspectAsk[F[_], E, L, S, A](f: (E, S) => A)(implicit arg0: Applicative[F], arg1: Monoid[L]): ReaderWriterStateT[F, E, L, S, A]
Inspect values from the environment and input state, without modifying the state.
Inspect values from the environment and input state, without modifying the state.
- Definition Classes
- CommonIRWSTConstructors
- def inspectAskF[F[_], E, L, S, A](f: (E, S) => F[A])(implicit arg0: Applicative[F], arg1: Monoid[L]): ReaderWriterStateT[F, E, L, S, A]
Like inspectAsk, but using an effectful function.
Like inspectAsk, but using an effectful function.
- Definition Classes
- CommonIRWSTConstructors
- def inspectF[F[_], E, L, S, A](f: (S) => F[A])(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]
Like inspect, but using an effectful function.
Like inspect, but using an effectful function.
- Definition Classes
- CommonIRWSTConstructors
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def liftF[F[_], E, L, S, A](fa: F[A])(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]
Return an effectful
a
and an empty log without modifying the input state.Return an effectful
a
and an empty log without modifying the input state.- Definition Classes
- CommonIRWSTConstructors
- def liftK[F[_], E, L, S](implicit F: Applicative[F], L: Monoid[L]): ~>[F, [ζ$0$]IndexedReaderWriterStateT[F, E, L, S, S, ζ$0$]]
Same as liftF, but expressed as a FunctionK for use with mapK
Same as liftF, but expressed as a FunctionK for use with mapK
scala> import cats._, data._, implicits._ scala> val a: OptionT[Eval, Int] = 1.pure[OptionT[Eval, *]] scala> val b: OptionT[RWST[Eval, Boolean, List[String], String, *], Int] = a.mapK(RWST.liftK) scala> b.value.runEmpty(true).value res0: (List[String], String, Option[Int]) = (List(),"",Some(1))
- Definition Classes
- CommonIRWSTConstructors
- def modify[F[_], E, L, SA, SB](f: (SA) => SB)(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, SA, SB, Unit]
Modify the input state using
f
. - def modifyF[F[_], E, L, SA, SB](f: (SA) => F[SB])(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, SA, SB, Unit]
Like modify, but using an effectful function.
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def pure[F[_], E, L, S, A](a: A)(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]
Return
a
and an empty log without modifying the input state.Return
a
and an empty log without modifying the input state.- Definition Classes
- CommonIRWSTConstructors
- def set[F[_], E, L, S](s: S)(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, Unit]
Set the state to
s
.Set the state to
s
.- Definition Classes
- CommonIRWSTConstructors
- def setF[F[_], E, L, S](fs: F[S])(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, Unit]
Like set, but using an effectful
S
value.Like set, but using an effectful
S
value.- Definition Classes
- CommonIRWSTConstructors
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def tell[F[_], E, L, S](l: L)(implicit F: Applicative[F]): IndexedReaderWriterStateT[F, E, L, S, S, Unit]
Add a value to the log, without modifying the input state.
Add a value to the log, without modifying the input state.
- Definition Classes
- CommonIRWSTConstructors
- def tellF[F[_], E, L, S](fl: F[L])(implicit F: Applicative[F]): IndexedReaderWriterStateT[F, E, L, S, S, Unit]
Like tell, but using an effectful
L
value.Like tell, but using an effectful
L
value.- Definition Classes
- CommonIRWSTConstructors
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def lift[F[_], E, L, S, A](fa: F[A])(implicit F: Applicative[F], L: Monoid[L]): IndexedReaderWriterStateT[F, E, L, S, S, A]
- Definition Classes
- CommonIRWSTConstructors
- Annotations
- @deprecated
- Deprecated
(Since version 1.0.0-RC2) Use liftF instead