Trait/Object

scalaz

IndexedStateT

Related Docs: object IndexedStateT | package scalaz

Permalink

trait 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
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def apply(initial: S1): F[(S2, A)]

    Permalink

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

Concrete Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

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

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

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

    Permalink
  6. def bmap[X, S >: S2 <: S1](b: BijectionT.Bijection[S, X])(implicit F: Functor[F]): StateT[F, X, A]

    Permalink
  7. def clone(): AnyRef

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

    Permalink
  9. final def eq(arg0: AnyRef): Boolean

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

    Permalink
    Definition Classes
    AnyRef → Any
  11. def eval(initial: S1)(implicit F: Functor[F]): F[A]

    Permalink

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

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

    Permalink

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

  13. def exec(initial: S1)(implicit F: Functor[F]): F[S2]

    Permalink

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

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

    Permalink

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

  15. def finalize(): Unit

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

    Permalink
  17. final def getClass(): Class[_]

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

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

    Permalink
  20. final def isInstanceOf[T0]: Boolean

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

    Permalink
  22. def lift[M[_]](implicit arg0: Applicative[M]): IndexedStateT[[α]M[F[α]], S1, S2, A]

    Permalink
  23. def liftF[S <: S1](implicit F: Functor[[a]IndexedStateT[F, S, S2, a]]): Free[[a]IndexedStateT[F, S, S2, a], A]

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

    Permalink
  25. def mapK[G[_], B, S](f: (F[(S2, A)]) ⇒ G[(S, B)]): IndexedStateT[G, S1, S, B]

    Permalink

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

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

    Permalink
    Definition Classes
    AnyRef
  27. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  28. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  29. def run(initial: S1): F[(S2, A)]

    Permalink

    An alias for apply

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

    Permalink

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

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

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

    Permalink
    Definition Classes
    AnyRef
  33. def toString(): String

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

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

    Permalink
  36. final def wait(): Unit

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

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

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

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

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped