Packages

c

scalaz

StateTInstances

abstract class StateTInstances extends StateTInstances0

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. StateTInstances
  2. StateTInstances0
  3. StateTInstances1
  4. StateTInstances2
  5. StateTInstances3
  6. StateTInstances4
  7. IndexedStateTInstances
  8. IndexedStateTInstances0
  9. IndexedStateTInstances1
  10. IndexedStateTInstances2
  11. IndexedStateTInstances3
  12. AnyRef
  13. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new StateTInstances()

Value Members

  1. implicit def StateMonadTrans[S]: Hoist[[a[_], b]IndexedStateT[S, S, a, b]]
    Definition Classes
    StateTInstances0
  2. implicit def contravariantS1[S2, F[_], A]: IsContravariant[[α$21$]IndexedStateT[α$21$, S2, F, A]]
  3. implicit def indexedStateProfunctor[S2, F[_]](implicit F0: Applicative[F]): Profunctor[[α$2$, δ$3$]IndexedStateT[α$2$, S2, F, δ$3$]]
    Definition Classes
    IndexedStateTInstances3
  4. implicit def indexedStateTBifunctor[S1, F[_]](implicit F0: Applicative[F]): Bifunctor[[β$8$, δ$9$]IndexedStateT[S1, β$8$, F, δ$9$]]
    Definition Classes
    IndexedStateTInstances0
  5. implicit def indexedStateTContravariant[S2, A0, F[_]](implicit F0: Applicative[F]): Contravariant[[α$6$]IndexedStateT[α$6$, S2, F, A0]]
    Definition Classes
    IndexedStateTInstances2
  6. implicit def indexedStateTFunctorLeft[S1, A0, F[_]](implicit F0: Applicative[F]): Functor[[β$7$]IndexedStateT[S1, β$7$, F, A0]]
    Definition Classes
    IndexedStateTInstances1
  7. implicit def indexedStateTFunctorRight[S1, S2, F[_]](implicit F0: Applicative[F]): Functor[[δ$10$]IndexedStateT[S1, S2, F, δ$10$]]
    Definition Classes
    IndexedStateTInstances
  8. implicit def indexedStateTPlus[F[_], S1, S2](implicit arg0: Bind[F], arg1: Plus[F]): Plus[[δ$11$]IndexedStateT[S1, S2, F, δ$11$]]
    Definition Classes
    IndexedStateTInstances
  9. implicit def stateComonad[S](implicit S: Monoid[S]): Comonad[[β$18$]IndexedStateT[S, S, [X]X, β$18$]]
    Definition Classes
    StateTInstances0
  10. implicit def stateMonad[S]: MonadState[[β$20$]IndexedStateT[S, S, [X]X, β$20$], S]
  11. implicit def stateTBindRec[S, F[_]](implicit F0: Applicative[F]): BindRec[[γ$13$]IndexedStateT[S, S, F, γ$13$]]
    Definition Classes
    StateTInstances3
  12. implicit def stateTDecidable[S, F[_]](implicit F0: Decidable[F], F1: Bind[F]): Decidable[[γ$15$]IndexedStateT[S, S, F, γ$15$]]
    Definition Classes
    StateTInstances3
  13. implicit def stateTDivisible[S, F[_]](implicit F0: Divisible[F], F1: Bind[F]): Divisible[[γ$12$]IndexedStateT[S, S, F, γ$12$]]
    Definition Classes
    StateTInstances4
  14. implicit def stateTMonadError[S, F[_], E](implicit F0: MonadError[F, E]): MonadError[[γ$14$]IndexedStateT[S, S, F, γ$14$], E]
    Definition Classes
    StateTInstances3
  15. implicit def stateTMonadPlus[S, F[_]](implicit F0: MonadPlus[F]): MonadPlus[[γ$17$]IndexedStateT[S, S, F, γ$17$]]
    Definition Classes
    StateTInstances1
  16. implicit def stateTMonadState[S, F[_]](implicit F0: Applicative[F]): MonadState[[γ$16$]IndexedStateT[S, S, F, γ$16$], S]
    Definition Classes
    StateTInstances2