Packages

final case class Provide[+F[+_, +_], R, -S1, +S2, +E, +A](r: R, inner: CalcM[F, R, S1, S2, E, A]) extends CalcM[F, Any, S1, S2, E, A] with ProvideM[F, Any, S1, S2, E, A] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, ProvideM[F, Any, S1, S2, E, A], CalcM[F, Any, S1, S2, E, A], CalcMOps[F, Any, S1, S2, E, A], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Provide
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. ProvideM
  7. CalcM
  8. CalcMOps
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Provide(r: R, inner: CalcM[F, R, S1, S2, E, A])

Type Members

  1. type R1 = R
    Definition Classes
    Provide → ProvideM

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. def !>>[F1[+x, +y] >: F[x, y], R1 <: Any, E1, S3, B](r: ⇒ CalcM[F1, R1, S2, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S1, S3, E1, B]
    Definition Classes
    CalcMOps
  3. final def ##(): Int
    Definition Classes
    AnyRef → Any
  4. def *>>[F1[+x, +y] >: F[x, y], R1 <: Any, S, B, E1](r: ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  5. def <<[F1[+x, +y] >: F[x, y], R1 <: Any, E1 >: E, SO1 >: S2, B](c: ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, A]
    Definition Classes
    CalcMOps
  6. def <<![F1[+x, +y] >: F[x, y], R1 <: Any, E1, S3, B](r: ⇒ CalcM[F1, R1, S2, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S1, S3, E, B]
    Definition Classes
    CalcMOps
  7. def <<*[F1[+x, +y] >: F[x, y], R1 <: Any, S, B, E1](r: ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, A]
    Definition Classes
    CalcMOps
  8. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. def >>[F1[+x, +y] >: F[x, y], R1 <: Any, E1 >: E, SO1 >: S2, B](c: ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[[+x, +y]F1[x, y], R1, S1, SO1, E1, B]
    Definition Classes
    CalcMOps
  10. def >>=[F1[+x, +y] >: F[x, y], R1 <: Any, E1 >: E, SO1 >: S2, B](f: (A) ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[[+x, +y]F1[x, y], R1, S1, SO1, E1, B]
    Definition Classes
    CalcMOps
  11. def any: Is[Any, Any]
    Definition Classes
    Provide → ProvideM
  12. def as[B](b: ⇒ B): CalcM[F, Any, S1, S2, E, B]
    Definition Classes
    CalcMOps
  13. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  14. def as_[B](b: B): CalcM[F, Any, S1, S2, E, B]
    Definition Classes
    CalcMOps
  15. def biflatten[F1[+x, +y] >: F[x, y], R1 <: Any, S, X, B](implicit evA: <:<[A, CalcM[F1, R1, S2, S, X, B]], evE: <:<[E, CalcM[F1, R1, S2, S, X, B]]): CalcM[F1, R1, S1, S, X, B]
    Definition Classes
    CalcMOps
  16. def bind[F1[+x, +y] >: F[x, y], R1 <: Any, X, S, B](continue: Continue[A, E, S2, CalcM[F1, R1, S2, S, X, B]]): CalcM[F1, R1, S1, S, X, B]
    Definition Classes
    CalcMOps
  17. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  18. def contramapState[SI1](f: (SI1) ⇒ S1): CalcM[F, Any, SI1, S2, E, A]
    Definition Classes
    CalcMOps
  19. def dimapState[SI1, SO1](f: (SI1) ⇒ S1, g: (S2) ⇒ SO1): CalcM[F, Any, SI1, SO1, E, A]
    Definition Classes
    CalcMOps
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def errorAs[X](e: ⇒ X): CalcM[F, Any, S1, S2, X, A]
    Definition Classes
    CalcMOps
  22. def errorAs_[X](b: X): CalcM[F, Any, S1, S2, X, A]
    Definition Classes
    CalcMOps
  23. def flatMap[F1[+x, +y] >: F[x, y], R1 <: Any, SO1 >: S2, E1 >: E, B](f: (A) ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, B]
    Definition Classes
    CalcMOps
  24. final def flatMapS[F1[+x, +y] >: F[x, y], R1 <: Any, S, E1, B](f: (A) ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  25. def flatTap[F1[+x, +y] >: F[x, y], R1 <: Any, SO1 >: S2, E1 >: E, B](f: (A) ⇒ CalcM[F1, R1, S2, SO1, E1, B]): CalcM[F1, R1, S1, SO1, E1, A]
    Definition Classes
    CalcMOps
  26. final def flatTapS[F1[+x, +y] >: F[x, y], R1 <: Any, S, E1, B](f: (A) ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, A]
    Definition Classes
    CalcMOps
  27. def focus[S3, S4](lens: PContains[S3, S4, S1, S2]): CalcM[F, Any, S3, S4, E, A]
    Definition Classes
    CalcMOps
  28. def focusFirst[S]: CalcM[F, Any, (S1, S), (S2, S), E, A]
    Definition Classes
    CalcMOps
  29. def focusSecond[S]: CalcM[F, Any, (S, S1), (S, S2), E, A]
    Definition Classes
    CalcMOps
  30. def foldWith[F1[+x, +y] >: F[x, y], R1 <: Any, X, S, B](f: (A) ⇒ CalcM[F1, R1, S2, S, X, B], h: (E) ⇒ CalcM[F1, R1, S2, S, X, B]): CalcM[F1, R1, S1, S, X, B]
    Definition Classes
    CalcMOps
  31. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  32. def handle[A1 >: A](f: (E) ⇒ A1): CalcM[F, Any, S1, S2, E, A1]
    Definition Classes
    CalcMOps
  33. def handleWith[F1[+x, +y] >: F[x, y], E1, R1 <: Any, SO1 >: S2, A1 >: A](f: (E) ⇒ CalcM[F1, R1, S2, SO1, E1, A1]): CalcM[F1, R1, S1, SO1, E1, A1]
    Definition Classes
    CalcMOps
  34. def handleWithU[F1[+x, +y] >: F[x, y], R1 <: Any, E1, S3, B](f: (E) ⇒ CalcM[F1, R1, S2, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S1, S3, E1, B]
    Definition Classes
    CalcMOps
  35. val inner: CalcM[F, R, S1, S2, E, A]
    Definition Classes
    Provide → ProvideM
  36. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  37. def local[R2](f: (R2) ⇒ Any): CalcM[F, R2, S1, S2, E, A]
    Definition Classes
    Provide → CalcMOps
  38. def map[B](f: (A) ⇒ B): CalcM[F, Any, S1, S2, E, B]
    Definition Classes
    CalcMOps
  39. def mapError[E1](f: (E) ⇒ E1): CalcM[F, Any, S1, S2, E1, A]
    Definition Classes
    CalcMOps
  40. def mapK[G[+_, +_]](fk: FunBK[F, G]): CalcM[G, Any, S1, S2, E, A]
    Definition Classes
    Provide → CalcMOps
  41. def mapState[SO1](f: (S2) ⇒ SO1): CalcM[F, Any, S1, SO1, E, A]
    Definition Classes
    CalcMOps
  42. def narrowRead[R1 <: Any]: CalcM[F, R1, S1, S2, E, A]
    Definition Classes
    CalcMOps
  43. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  44. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  45. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  46. def onErrorU[F1[+x, +y] >: F[x, y], R1 <: Any, E1, S3, B](f: (E) ⇒ CalcM[F1, R1, S2, S3, E1, B])(implicit ev: <:<[A, Nothing]): CalcM[F1, R1, S1, S3, E, B]
    Definition Classes
    CalcMOps
  47. final def productLS[F1[+x, +y] >: F[x, y], R1 <: Any, S, B, E1](r: ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, A]
    Definition Classes
    CalcMOps
  48. final def productRS[F1[+x, +y] >: F[x, y], R1 <: Any, S, B, E1](r: ⇒ CalcM[F1, R1, S2, S, E1, B])(implicit ev: <:<[E, Nothing]): CalcM[F1, R1, S1, S, E1, B]
    Definition Classes
    CalcMOps
  49. def provide(r: Any): CalcM[F, Any, S1, S2, E, A]
    Definition Classes
    CalcMOps
  50. def provideSet(r: Any, s: S1): CalcM[F, Any, Any, S2, E, A]
    Definition Classes
    CalcMOps
  51. def provideSome[R1](f: (R1) ⇒ Any): CalcM[F, R1, S1, S2, E, A]
    Definition Classes
    CalcMOps
  52. val r: R
    Definition Classes
    Provide → ProvideM
  53. def result(implicit runner: CalcRunner[F], evr: <:<[Unit, Any], evs: <:<[Unit, S1]): Either[E, A]
    Definition Classes
    CalcMOps
  54. def results(implicit runner: CalcRunner[F], evr: <:<[Unit, Any], evs: <:<[Unit, S1]): (S2, Either[E, A])
    Definition Classes
    CalcMOps
  55. def run(r: Any, init: S1)(implicit runner: CalcRunner[F]): (S2, Either[E, A])
    Definition Classes
    CalcMOps
  56. def runSuccess(r: Any, init: S1)(implicit runner: CalcRunner[F], ev: <:<[E, Nothing]): (S2, A)
    Definition Classes
    CalcMOps
  57. def runSuccessUnit(init: S1)(implicit runner: CalcRunner[F], ev: <:<[E, Nothing], evr: <:<[Unit, Any]): (S2, A)
    Definition Classes
    CalcMOps
  58. def runTailRec[F1[+x, +y] >: F[x, y]](r: Any, init: S1)(implicit F: Bind[F1]): F1[(S2, E), (S2, A)]
    Definition Classes
    CalcMOps
  59. def runTailRecSingle[F1[+y] >: F[Any, y], E1 >: E](r: Any, init: S1)(implicit F: Monad[F1], ev: <:<[E1, Nothing]): F1[(S2, A)]
    Definition Classes
    CalcMOps
  60. def runUnit(init: S1)(implicit runner: CalcRunner[F], evr: <:<[Unit, Any]): (S2, Either[E, A])
    Definition Classes
    CalcMOps
  61. def step(r: Any, init: S1): StepResult[F, S2, E, A]
    Definition Classes
    CalcMOps
  62. def stepUnit(init: S1)(implicit ev: <:<[Unit, Any]): StepResult[F, S2, E, A]
    Definition Classes
    CalcMOps
  63. def supply(si: ⇒ S1): CalcM[F, Any, Any, S2, E, A]
    Definition Classes
    CalcMOps
  64. def swap: CalcM[F, Any, S1, S2, A, E]
    Definition Classes
    CalcMOps
  65. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  66. def tailrecEither[F1[+y] >: F[Any, y]](r: Any, init: S1)(implicit F: Monad[F1]): F1[(S2, Either[E, A])]
    Definition Classes
    CalcMOps
  67. def toState[SI1 <: S1, SO1 >: S2, A1 >: A](implicit runner: CalcRunner[F], ev: <:<[E, Nothing], evr: <:<[Unit, Any]): IndexedState[SI1, SO1, A1]
    Definition Classes
    CalcMOps
  68. def trans: TranslatePack[F, Any, S1, S2, E, A]
    Definition Classes
    CalcMOps
  69. def translate[G[+_, +_], R2](translator: ITranslator[F, G, Any, R2]): CalcM[G, R2, S1, S2, E, A]
    Definition Classes
    Provide → CalcM
  70. def translateForget[G[+_, +_], ST, R1](translator: Translator[F, G, ST, Any, R1])(implicit evs: <:<[Unit, S1]): CalcM[G, R1, ST, ST, E, A]
    Definition Classes
    CalcMOps
  71. def translateState[G[+_, +_], ST, R2](translator: Translator[F, G, ST, Any, R2]): CalcM[G, R2, (ST, S1), (ST, S2), E, A]
    Definition Classes
    Provide → CalcM
  72. def value(implicit runner: CalcRunner[F], evr: <:<[Unit, Any], evs: <:<[Unit, S1], ev: <:<[E, Nothing]): A
    Definition Classes
    CalcMOps
  73. def values(implicit runner: CalcRunner[F], evr: <:<[Unit, Any], evs: <:<[Unit, S1], ev: <:<[E, Nothing]): (S2, A)
    Definition Classes
    CalcMOps
  74. def void: CalcM[F, Any, S1, S2, E, Unit]
    Definition Classes
    CalcMOps
  75. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  76. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  77. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  78. def when[S >: S2 <: S1](b: Boolean): CalcM[F, Any, S, S, E, Any]
    Definition Classes
    CalcMOps
  79. def widenF[F1[+x, +y] >: F[x, y]]: CalcM[F1, Any, S1, S2, E, A]
    Definition Classes
    CalcMOps

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from ProvideM[F, Any, S1, S2, E, A]

Inherited from CalcM[F, Any, S1, S2, E, A]

Inherited from CalcMOps[F, Any, S1, S2, E, A]

Inherited from AnyRef

Inherited from Any

Ungrouped