object IndexedReaderWriterStateT extends IRWSTInstances with CommonIRWSTConstructors with Serializable
- Alphabetic
- By Inheritance
- IndexedReaderWriterStateT
- Serializable
- Serializable
- CommonIRWSTConstructors
- IRWSTInstances
- IRWSTInstances1
- IRWSTInstances2
- IRWSTInstances3
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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( ... ) @native() @IntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
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[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
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() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
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(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated
-
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