c

tofu.data.calc

CalcMOps

class CalcMOps[+F[+_, +_], -R, -SI, +SO, +E, +A] extends AnyRef

Self Type
CalcM[F, R, SI, SO, E, A]
Linear Supertypes
AnyRef, Any
Known Subclasses
CalcM, Bound, CalcMRes, CalcMResStatic, Defer, Get, Provide, ProvideM, Pure, Raise, Read, Set, Sub
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CalcMOps
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new CalcMOps()

Value Members

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

Deprecated Value Members

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

Inherited from AnyRef

Inherited from Any

Ungrouped