scalaz-core/scalaz/IndexedStateT

IndexedStateT

object IndexedStateT extends StateTInstances with StateTFunctions
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror

Value members

Concrete methods

def apply[S1, S2, F[_], A](f: S1 => F[(S2, A)]): IndexedStateT[S1, S2, F, A]

Inherited methods

def constantIndexedStateT[S1, S2, F[_], A](a: A)(s: => S2)(implicit F: Applicative[F]): IndexedStateT[S1, S2, F, A]
def constantStateT[S, F[_], A](a: A)(s: => S)(implicit F: Applicative[F]): StateT[S, F, A]
Inherited from
StateTFunctions
def stateT[S, F[_], A](a: A)(implicit F: Applicative[F]): StateT[S, F, A]
Inherited from
StateTFunctions

Implicits

Inherited implicits

implicit
def StateMonadTrans[S]: Hoist[[a[_], b] =>> StateT[S, a, b]]
Inherited from
StateTInstances0
implicit
def contravariantS1[S2, F[_], A]: IsContravariant[IndexedStateT]
Inherited from
StateTInstances
implicit
def indexedStateProfunctor[S2, F[_]](implicit F0: Applicative[F]): Profunctor[[_, _] =>> IndexedStateT[_$23, S2, F, _$24]]
implicit
def indexedStateTBifunctor[S1, F[_]](implicit F0: Applicative[F]): Bifunctor[[_, _] =>> IndexedStateT[S1, _$32, F, _$33]]
implicit
def indexedStateTContravariant[S2, A0, F[_]](implicit F0: Applicative[F]): Contravariant[IndexedStateT]
implicit
def indexedStateTFunctorLeft[S1, A0, F[_]](implicit F0: Applicative[F]): Functor[[_] =>> IndexedStateT[S1, _$30, F, A0]]
implicit
def indexedStateTFunctorRight[S1, S2, F[_]](implicit F0: Applicative[F]): Functor[[_] =>> IndexedStateT[S1, S2, F, _$35]]
implicit
def indexedStateTPlus[F[_] : Plus, S1, S2]: Plus[[_] =>> IndexedStateT[S1, S2, F, _$37]]
implicit
def stateComonad[S](implicit S: Monoid[S]): Comonad[[_] =>> State[S, _$51]]
Inherited from
StateTInstances0
implicit
def stateMonad[S]: MonadState[[_] =>> State[S, _$53], S]
Inherited from
StateTInstances
implicit
def stateTBindRec[S, F[_]](implicit F0: Applicative[F]): BindRec[[_] =>> StateT[S, F, _$41]]
Inherited from
StateTInstances3
implicit
def stateTDecidable[S, F[_]](implicit F0: Decidable[F], F1: Bind[F]): Decidable[[_] =>> StateT[S, F, _$45]]
Inherited from
StateTInstances3
implicit
def stateTDivisible[S, F[_]](implicit F0: Divisible[F], F1: Bind[F]): Divisible[[_] =>> StateT[S, F, _$39]]
Inherited from
StateTInstances4
implicit
def stateTMonadError[S, F[_], E](implicit F0: MonadError[F, E]): MonadError[[_] =>> StateT[S, F, _$43], E]
Inherited from
StateTInstances3
implicit
def stateTMonadPlus[S, F[_]](implicit F0: MonadPlus[F]): MonadPlus[[_] =>> StateT[S, F, _$49]]
Inherited from
StateTInstances1
implicit
def stateTMonadState[S, F[_]](implicit F0: Applicative[F]): MonadState[[_] =>> StateT[S, F, _$47], S]
Inherited from
StateTInstances2