scalaz

IndexedStateT

sealed abstract class IndexedStateT[F[_], -S1, S2, A] extends AnyRef

Self Type
IndexedStateT[F, S1, S2, A]
Source
StateT.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. IndexedStateT
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new IndexedStateT()

Abstract Value Members

  1. abstract def getF[S <: S1]: (Monad[F]) ⇒ F[(S) ⇒ F[(S2, A)]]

Concrete Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def apply(initial: S1)(implicit F: Monad[F]): F[(S2, A)]

    Run and return the final value and state in the context of F

  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  8. def bimap[X, B](f: (S2) ⇒ X)(g: (A) ⇒ B)(implicit F: Functor[F]): IndexedStateT[F, S1, X, B]

  9. def bmap[X, S >: S2 <: S1](b: Bijection[S, X]): StateT[F, X, A]

  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. def contramap[X](g: (X) ⇒ S1): IndexedStateT[F, X, S2, A]

  12. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  13. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  14. def eval(initial: S1)(implicit F: Monad[F]): F[A]

    Run, discard the final state, and return the final value in the context of F

  15. def evalZero[S <: S1](implicit F: Monad[F], S: Monoid[S]): F[A]

    Calls eval using Monoid[S].zero as the initial state

  16. def exec(initial: S1)(implicit F: Monad[F]): F[S2]

    Run, discard the final value, and return the final state in the context of F

  17. def execZero[S <: S1](implicit F: Monad[F], S: Monoid[S]): F[S2]

    Calls exec using Monoid[S].zero as the initial state

  18. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  19. def flatMap[S3, B](f: (A) ⇒ IndexedStateT[F, S2, S3, B])(implicit F: Monad[F]): IndexedStateT[F, S1, S3, B]

  20. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  21. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  22. def imap[X](f: (S2) ⇒ X)(implicit F: Functor[F]): IndexedStateT[F, S1, X, A]

  23. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  24. def leftMap[X](f: (S2) ⇒ X)(implicit F: Functor[F]): IndexedStateT[F, S1, X, A]

  25. def lift[M[_]](implicit F: Monad[F], M: Applicative[M]): IndexedStateT[[α]M[F[α]], S1, S2, A]

  26. def liftF[S <: S1](implicit F: Functor[[δ$0$]IndexedStateT[F, S, S2, δ$0$]]): Free[[δ$1$]IndexedStateT[F, S, S2, δ$1$], A]

  27. def map[B](f: (A) ⇒ B)(implicit F: Functor[F]): IndexedStateT[F, S1, S2, B]

  28. def mapK[G[_], B, S](f: (F[(S2, A)]) ⇒ G[(S, B)])(implicit M: Monad[F]): IndexedStateT[G, S1, S, B]

    Alias for mapT

  29. def mapT[G[_], B, S](f: (F[(S2, A)]) ⇒ G[(S, B)])(implicit M: Monad[F]): IndexedStateT[G, S1, S, B]

    Map both the return value and final state using the given function.

  30. def mapsf[X1, X2, B](f: ((S1) ⇒ F[(S2, A)]) ⇒ (X1) ⇒ F[(X2, B)]): IndexedStateT[F, X1, X2, B]

  31. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  32. final def notify(): Unit

    Definition Classes
    AnyRef
  33. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  34. def run(initial: S1)(implicit F: Monad[F]): F[(S2, A)]

    An alias for apply

  35. def runZero[S <: S1](implicit S: Monoid[S], F: Monad[F]): F[(S2, A)]

    Calls run using Monoid[S].zero as the initial state

  36. def rwst[W, R](implicit F: Monad[F], W: Monoid[W]): IndexedReaderWriterStateT[F, R, W, S1, S2, A]

  37. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  38. def toString(): String

    Definition Classes
    AnyRef → Any
  39. def unlift[M[_], FF[_], S <: S1](implicit M: Comonad[M], F: Monad[[α]M[FF[α]]], ev: <~<[IndexedStateT.this.type, IndexedStateT[[α]M[FF[α]], S, S2, A]]): IndexedStateT[FF, S, S2, A]

  40. def unliftId[M[_], S <: S1](implicit M: Comonad[M], F: Monad[M], ev: <~<[IndexedStateT.this.type, IndexedStateT[M, S, S2, A]]): IndexedState[S, S2, A]

  41. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. def xmap[X1, X2](f: (S2) ⇒ X1)(g: (X2) ⇒ S1): IndexedStateT[F, X2, X1, A]

  45. def zoom[S0, S3, S <: S1](l: LensFamily[S0, S3, S, S2])(implicit F: Functor[F]): IndexedStateT[F, S0, S3, A]

Inherited from AnyRef

Inherited from Any

Ungrouped