sealed abstract
class
IndexedStateT[S1, S2, F[_], A] extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
apply(initial: S1)(implicit F: Bind[F]): F[(S2, A)]
-
final
def
asInstanceOf[T0]: T0
-
def
bimap[X, B](f: (S2) ⇒ X)(g: (A) ⇒ B)(implicit F: Applicative[F]): IndexedStateT[S1, X, F, B]
-
def
bmap[X, S](b: Bijection[S, X])(implicit F: Applicative[F], S1: <~<[S, S1], S2: >~>[S, S2]): StateT[X, F, A]
-
def
clone(): AnyRef
-
def
contramap[X](g: (X) ⇒ S1)(implicit F: Applicative[F]): IndexedStateT[X, S2, F, A]
-
-
-
def
eval(initial: S1)(implicit F: Bind[F]): F[A]
-
def
evalRec(initial: S1)(implicit F: BindRec[F]): F[A]
-
def
evalZero(implicit F: Bind[F], S1: Monoid[S1]): F[A]
-
def
evalZeroRec(implicit F: BindRec[F], S1: Monoid[S1]): F[A]
-
def
exec(initial: S1)(implicit F: Bind[F]): F[S2]
-
def
execRec(initial: S1)(implicit F: BindRec[F]): F[S2]
-
def
execZero(implicit F: Bind[F], S1: Monoid[S1]): F[S2]
-
def
execZeroRec(implicit F: BindRec[F], S1: Monoid[S1]): F[S2]
-
def
finalize(): Unit
-
def
flatMap[S3, B](f: (A) ⇒ IndexedStateT[S2, S3, F, B]): IndexedStateT[S1, S3, F, B]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
imap[X](f: (S2) ⇒ X)(implicit F: Applicative[F]): IndexedStateT[S1, X, F, A]
-
final
def
isInstanceOf[T0]: Boolean
-
def
leftMap[X](f: (S2) ⇒ X)(implicit F: Applicative[F]): IndexedStateT[S1, X, F, A]
-
def
lift[M[_]](implicit F: Bind[F], M: Applicative[M]): IndexedStateT[S1, S2, [α]M[F[α]], A]
-
def
liftF: Free[[δ$0$]IndexedStateT[S1, S2, F, δ$0$], A]
-
def
map[B](f: (A) ⇒ B)(implicit F: Applicative[F]): IndexedStateT[S1, S2, F, B]
-
def
mapK[G[_], B, S](f: (F[(S2, A)]) ⇒ G[(S, B)])(implicit M: Monad[F]): IndexedStateT[S1, S, G, B]
-
def
mapT[G[_], B, S](f: (F[(S2, A)]) ⇒ G[(S, B)])(implicit M: Monad[F]): IndexedStateT[S1, S, G, B]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
run(initial: S1)(implicit F: Bind[F]): F[(S2, A)]
-
def
runRec(initial: S1)(implicit F: BindRec[F]): F[(S2, A)]
-
def
runZero(implicit S1: Monoid[S1], F: Bind[F]): F[(S2, A)]
-
def
runZeroRec(implicit S1: Monoid[S1], F: BindRec[F]): F[(S2, A)]
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
unlift[M[_], FF[_], S <: S1](implicit M: Comonad[M], F: Bind[[α]M[FF[α]]], ev: <~<[IndexedStateT.this.type, IndexedStateT[S, S2, [α]M[FF[α]], A]]): IndexedStateT[S, S2, FF, A]
-
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
xmap[X1, X2](f: (S2) ⇒ X1)(g: (X2) ⇒ S1)(implicit F: Applicative[F]): IndexedStateT[X2, X1, F, A]
-
def
zoom[S0, S3, S <: S1](l: LensFamily[S0, S3, S, S2])(implicit F: Applicative[F]): IndexedStateT[S0, S3, F, A]