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
AnyRef, Any
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 map[B](f: (A) ⇒ B)(implicit F: Functor[F]): IndexedStateT[F, S1, S2, B]

    Permalink
  24. final def ne(arg0: AnyRef): Boolean

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

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

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

    Permalink

    An alias for apply

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

    Permalink

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  32. def unlift[M[+_], FF[+_], AA >: A, S1m <: S1, S2m >: S2](implicit M: Comonad[M], ev: <~<[IndexedStateT.this.type, IndexedStateT[[+α]M[FF[α]], S1m, S2m, AA]]): IndexedStateT[FF, S1m, S2m, AA]

    Permalink
  33. def unliftId[M[+_], AA >: A, S1m <: S1, S2m >: S2](implicit M: Comonad[M], ev: <~<[IndexedStateT.this.type, IndexedStateT[M, S1m, S2m, AA]]): IndexedState[S1m, S2m, AA]

    Permalink
  34. final def wait(): Unit

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

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

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

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

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped