object StateT extends StateTInstances with StateTFunctions
- Source
- package.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- StateT
- StateTFunctions
- IndexedStateTFunctions
- StateTInstances
- StateTInstances0
- StateTInstances1
- StateTInstances2
- StateTInstances3
- IndexedStateTInstances
- IndexedStateTInstances0
- IndexedStateTInstances1
- IndexedStateTInstances2
- IndexedStateTInstances3
- AnyRef
- Any
- Hide All
- Show All
Visibility
- 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
-
implicit
def
StateMonadTrans[S]: Hoist[[g[_$1], a]IndexedStateT[g, S, S, a]]
- Definition Classes
- StateTInstances0
- def apply[F[_], S, A](f: (S) ⇒ F[(S, A)]): StateT[F, S, A]
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
def
constantIndexedStateT[F[_], S1, S2, A](a: A)(s: ⇒ S2)(implicit F: Applicative[F]): IndexedStateT[F, S1, S2, A]
- Definition Classes
- IndexedStateTFunctions
-
def
constantStateT[F[_], S, A](a: A)(s: ⇒ S)(implicit F: Applicative[F]): StateT[F, S, A]
- Definition Classes
- StateTFunctions
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hoist[F[_], G[_], S, A](nat: ~>[F, G])(implicit arg0: Monad[F], arg1: Monad[G]): ~>[[γ$0$]IndexedStateT[F, S, S, γ$0$], [γ$1$]IndexedStateT[G, S, S, γ$1$]]
-
implicit
def
indexedStateProfunctor[S2, F[_]](implicit F0: Applicative[F]): Profunctor[[β$2$, δ$3$]IndexedStateT[F, β$2$, S2, δ$3$]]
- Definition Classes
- IndexedStateTInstances3
-
implicit
def
indexedStateTBifunctor[S1, F[_]](implicit F0: Applicative[F]): Bifunctor[[γ$8$, δ$9$]IndexedStateT[F, S1, γ$8$, δ$9$]]
- Definition Classes
- IndexedStateTInstances0
-
implicit
def
indexedStateTContravariant[S2, A0, F[_]](implicit F0: Applicative[F]): Contravariant[[β$6$]IndexedStateT[F, β$6$, S2, A0]]
- Definition Classes
- IndexedStateTInstances2
-
implicit
def
indexedStateTFunctorLeft[S1, A0, F[_]](implicit F0: Applicative[F]): Functor[[γ$7$]IndexedStateT[F, S1, γ$7$, A0]]
- Definition Classes
- IndexedStateTInstances1
-
implicit
def
indexedStateTFunctorRight[S1, S2, F[_]](implicit F0: Applicative[F]): Functor[[δ$10$]IndexedStateT[F, S1, S2, δ$10$]]
- Definition Classes
- IndexedStateTInstances
-
implicit
def
indexedStateTPlus[F[_], S1, S2](implicit arg0: Bind[F], arg1: Plus[F]): Plus[[δ$11$]IndexedStateT[F, S1, S2, δ$11$]]
- Definition Classes
- IndexedStateTInstances
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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()
-
implicit
def
stateComonad[S](implicit S: Monoid[S]): Comonad[[β$16$]IndexedStateT[[X]X, S, S, β$16$]]
- Definition Classes
- StateTInstances0
-
implicit
def
stateMonad[S]: MonadState[[β$18$]IndexedStateT[[X]X, S, S, β$18$], S]
- Definition Classes
- StateTInstances
-
def
stateT[F[_], S, A](a: A)(implicit F: Applicative[F]): StateT[F, S, A]
- Definition Classes
- StateTFunctions
-
implicit
def
stateTBindRec[S, F[_]](implicit F0: Applicative[F]): BindRec[[γ$12$]IndexedStateT[F, S, S, γ$12$]]
- Definition Classes
- StateTInstances3
-
implicit
def
stateTMonadError[S, F[_], E](implicit F0: MonadError[F, E]): MonadError[[γ$13$]IndexedStateT[F, S, S, γ$13$], E]
- Definition Classes
- StateTInstances3
-
implicit
def
stateTMonadPlus[S, F[_]](implicit F0: MonadPlus[F]): MonadPlus[[γ$15$]IndexedStateT[F, S, S, γ$15$]]
- Definition Classes
- StateTInstances1
-
implicit
def
stateTMonadState[S, F[_]](implicit F0: Applicative[F]): MonadState[[γ$14$]IndexedStateT[F, S, S, γ$14$], S]
- Definition Classes
- StateTInstances2
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )