create

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def ap[R, A, B](a: Eff[R, A])(f: Eff[R, (A) ⇒ B]): Eff[R, B]

   

   apply a function to an Eff value using the applicative instance

   apply a function to an Eff value using the applicative instance

   Definition Classes

   EffCreation

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def ask[R, T](implicit member: |=[[β$0$]Kleisli[[A]A, T, β$0$], R]): Eff[R, T]

   

   get the environment

   get the environment

   Definition Classes

   ReaderCreation

7. def bracketLast[R, A, B, C](acquire: Eff[R, A])(use: (A) ⇒ Eff[R, B])(release: (A) ⇒ Eff[R, C]): Eff[R, B]

   

   bracket an action with one last action to execute at the end of the program

   bracket an action with one last action to execute at the end of the program

   Definition Classes

   EffCreation

8. def catchNonFatalThrowable[R, A](a: ⇒ A)(implicit member: |=[[β$7$]Either[Throwable, β$7$], R]): Eff[R, A]

   

   create an Either effect from a value possibly throwing a Throwable

   create an Either effect from a value possibly throwing a Throwable

   Definition Classes

   EitherCreation

9. def chooseFrom[R, A](as: List[A])(implicit arg0: _choose[R]): Eff[R, A]

   

   Definition Classes

   ChooseCreation

10. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. def collapse[R, M[_], A](r: Eff[R, M[A]])(implicit m: |=[M, R]): Eff[R, A]

    

    use the internal effect as one of the stack effects

    use the internal effect as one of the stack effects

    Definition Classes

    EffCreation

12. def correct[R, E, A](a: A)(implicit m: |=[[β$5$]Validate[E, β$5$], R]): Eff[R, A]

    

    create a correct value

    create a correct value

    Definition Classes

    ValidateCreation

13. def defer[R, A](eff: ⇒ Eval[Eff[R, A]])(implicit arg0: _eval[R]): Eff[R, A]

    

    Definition Classes

    EvalCreation

14. def delay[R, A](a: ⇒ A)(implicit arg0: _eval[R]): Eff[R, A]

    

    Definition Classes

    EvalCreation

15. def empty[R, A](implicit arg0: _list[R]): Eff[R, A]

    

    create a list effect with no values

    create a list effect with no values

    Definition Classes

    ListCreation

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

    

    Definition Classes

    AnyRef

17. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

18. def eval[R, A](a: Eval[A])(implicit arg0: _safe[R]): Eff[R, A]

    

    Definition Classes

    SafeCreation

19. def exception[R, A](t: Throwable)(implicit arg0: _safe[R]): Eff[R, A]

    

    Definition Classes

    SafeCreation

20. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

21. def finalizerException[R](t: Throwable)(implicit arg0: _safe[R]): Eff[R, Unit]

    

    Definition Classes

    SafeCreation

22. def flatSequenceA[R, F[_], A](fs: F[Eff[R, F[A]]])(implicit FT: Traverse[F], FM: FlatMap[F]): Eff[R, F[A]]

    

    use the applicative instance of Eff to sequence a list of values, then flatten it

    use the applicative instance of Eff to sequence a list of values, then flatten it

    Definition Classes

    EffCreation

23. def flatTraverseA[R, F[_], A, B](fs: F[A])(f: (A) ⇒ Eff[R, F[B]])(implicit FT: Traverse[F], FM: FlatMap[F]): Eff[R, F[B]]

    

    use the applicative instance of Eff to traverse a list of values, then flatten it

    use the applicative instance of Eff to traverse a list of values, then flatten it

    Definition Classes

    EffCreation

24. def fromCatchNonFatal[R, E, A](a: ⇒ A)(onThrowable: (Throwable) ⇒ E)(implicit member: |=[[β$6$]Either[E, β$6$], R]): Eff[R, A]

    

    create an Either effect from a value possibly throwing an exception

    create an Either effect from a value possibly throwing an exception

    Definition Classes

    EitherCreation

25. def fromEither[R, E, A](Either: Either[E, A])(implicit member: |=[[β$1$]Either[E, β$1$], R]): Eff[R, A]

    

    create an Either effect from a single Either value

    create an Either effect from a single Either value

    Definition Classes

    EitherCreation

26. final def fromFuture[R, A](c: ⇒ Future[A], timeout: Option[FiniteDuration] = None)(implicit arg0: _future[R]): Eff[R, A]

    

    Definition Classes

    FutureCreation

27. final def fromFutureWithExecutors[R, A](c: (Scheduler, ExecutionContext) ⇒ Future[A], timeout: Option[FiniteDuration] = None)(implicit arg0: _future[R]): Eff[R, A]

    

    Definition Classes

    FutureCreation

28. def fromList[R, A](as: List[A])(implicit arg0: _list[R]): Eff[R, A]

    

    create a list effect from a list of values

    create a list effect from a list of values

    Definition Classes

    ListCreation

29. def fromOption[R, A](o: Option[A])(implicit arg0: _option[R]): Eff[R, A]

    

    create an Option effect from a single Option value

    create an Option effect from a single Option value

    Definition Classes

    OptionCreation

30. final def futureDefer[R, A](a: ⇒ Future[A], timeout: Option[FiniteDuration] = None)(implicit arg0: _future[R]): Eff[R, A]

    

    Definition Classes

    FutureCreation

31. final def futureDelay[R, A](a: ⇒ A, timeout: Option[FiniteDuration] = None)(implicit arg0: _future[R]): Eff[R, A]

    

    Definition Classes

    FutureCreation

32. final def futureFail[R, A](t: Throwable)(implicit arg0: _future[R]): Eff[R, A]

    

    Definition Classes

    FutureCreation

33. final def futureFork[R, A](a: ⇒ A, ec: ExecutionContext, timeout: Option[FiniteDuration] = None)(implicit arg0: _future[R]): Eff[R, A]

    

    Definition Classes

    FutureCreation

34. final def futureFromEither[R, A](e: Either[Throwable, A])(implicit arg0: _future[R]): Eff[R, A]

    

    Definition Classes

    FutureCreation

35. def get[R, S](implicit member: |=[[β$2$]IndexedStateT[Eval, S, S, β$2$], R]): Eff[R, S]

    

    get the current state value

    get the current state value

    Definition Classes

    StateCreation

36. def getCache[R](implicit arg0: _memo[R]): Eff[R, Cache]

    

    Definition Classes

    MemoCreation

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

    

    Definition Classes

    AnyRef → Any

38. def gets[R, S, T](f: (S) ⇒ T)(implicit member: |=[[β$4$]IndexedStateT[Eval, S, S, β$4$], R]): Eff[R, T]

    

    get the current state value and map it with a function f

    get the current state value and map it with a function f

    Definition Classes

    StateCreation

39. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

40. def impure[R, A, B](value: A, continuation: Continuation[R, A, B], map: (B) ⇒ B): Eff[R, B]

    

    create a delayed impure value

    create a delayed impure value

    Definition Classes

    EffCreation

41. def impure[R, A, B](value: A, continuation: Continuation[R, A, B]): Eff[R, B]

    

    create a delayed impure value

    create a delayed impure value

    Definition Classes

    EffCreation

42. def impure[R, X, A](union: Union[R, X], continuation: Continuation[R, X, A]): Eff[R, A]

    

    create a impure value from an union of effects and a continuation

    create a impure value from an union of effects and a continuation

    Definition Classes

    EffCreation

43. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

44. def left[R, E, A](e: E)(implicit member: |=[[β$2$]Either[E, β$2$], R]): Eff[R, A]

    

    create a failed value

    create a failed value

    Definition Classes

    EitherCreation

45. def local[R, T, U](f: (T) ⇒ U)(implicit member: |=[[β$1$]Kleisli[[A]A, T, β$1$], R]): Eff[R, U]

    

    modify the environment

    modify the environment

    Definition Classes

    ReaderCreation

46. def localKleisli[R, T, U, F[_]](f: (T) ⇒ F[U])(implicit member: |=[[γ$3$]Kleisli[F, T, γ$3$], R]): Eff[R, U]

    

    modify the environment using a Kleisli[F, T, ?]

    modify the environment using a Kleisli[F, T, ?]

    Definition Classes

    ReaderCreation

47. def memoize[R, A](key: AnyRef, a: ⇒ A)(implicit arg0: _memo[R]): Eff[R, A]

    

    Definition Classes

    MemoCreation

48. def modify[R, S](f: (S) ⇒ S)(implicit member: |=[[β$6$]IndexedStateT[Eval, S, S, β$6$], R]): Eff[R, Unit]

    

    modify the current state value

    modify the current state value

    Definition Classes

    StateCreation

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

    

    Definition Classes

    AnyRef

50. def none[R, A](implicit arg0: _option[R]): Eff[R, A]

    

    no value returned

    no value returned

    Definition Classes

    OptionCreation

51. final def notify(): Unit

    

    Definition Classes

    AnyRef

52. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

53. def now[R, A](a: A)(implicit arg0: _eval[R]): Eff[R, A]

    

    Definition Classes

    EvalCreation

54. def optionEither[R, E, A](option: Option[A], e: ⇒ E)(implicit member: |=[[β$0$]Either[E, β$0$], R]): Eff[R, A]

    

    create an Either effect from a single Option value

    create an Either effect from a single Option value

    Definition Classes

    EitherCreation

55. def plus[R, A](a1: ⇒ Eff[R, A], a2: ⇒ Eff[R, A])(implicit arg0: _choose[R]): Eff[R, A]

    

    Definition Classes

    ChooseCreation

56. def protect[R, A](a: ⇒ A)(implicit arg0: _safe[R]): Eff[R, A]

    

    Definition Classes

    SafeCreation

57. def pure[R, A](a: A): Eff[R, A]

    

    create a pure value

    create a pure value

    Definition Classes

    EffCreation

58. def put[R, S](s: S)(implicit member: |=[[β$0$]IndexedStateT[Eval, S, S, β$0$], R]): Eff[R, Unit]

    

    store a new state value

    store a new state value

    Definition Classes

    StateCreation

59. def retryUntil[R, A](e: Eff[R, A], condition: (A) ⇒ Boolean, durations: List[FiniteDuration], waitFor: (FiniteDuration) ⇒ Eff[R, Unit]): Eff[R, A]

    

    Definition Classes

    EffCreation

60. def retryUntil[R, A](e: Eff[R, A], condition: (A) ⇒ Boolean, durations: List[FiniteDuration])(implicit arg0: _future[R]): Eff[R, A]

    

    Definition Classes

    FutureCreation

61. def right[R, E, A](a: A)(implicit member: |=[[β$4$]Either[E, β$4$], R]): Eff[R, A]

    

    create a correct value

    create a correct value

    Definition Classes

    EitherCreation

62. def send[T[_], R, V](tv: T[V])(implicit member: |=[T, R]): Eff[R, V]

    

    create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R

    create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R

    Definition Classes

    EffCreation

63. def sequenceA[R, F[_], A](fs: F[Eff[R, A]])(implicit arg0: Traverse[F]): Eff[R, F[A]]

    

    use the applicative instance of Eff to sequence a list of values

    use the applicative instance of Eff to sequence a list of values

    Definition Classes

    EffCreation

64. def singleton[R, A](a: A)(implicit arg0: _list[R]): Eff[R, A]

    

    create a list effect from a single value

    create a list effect from a single value

    Definition Classes

    ListCreation

65. def some[R, A](a: A)(implicit arg0: _option[R]): Eff[R, A]

    

    a value is returned

    a value is returned

    Definition Classes

    OptionCreation

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

    

    Definition Classes

    AnyRef

67. def tell[R, O](o: O)(implicit member: |=[[β$0$]WriterT[[A]A, O, β$0$], R]): Eff[R, Unit]

    

    write a given value

    write a given value

    Definition Classes

    WriterCreation

68. def toString(): String

    

    Definition Classes

    AnyRef → Any

69. def traverseA[R, F[_], A, B](fs: F[A])(f: (A) ⇒ Eff[R, B])(implicit arg0: Traverse[F]): Eff[R, F[B]]

    

    use the applicative instance of Eff to traverse a list of values

    use the applicative instance of Eff to traverse a list of values

    Definition Classes

    EffCreation

70. def unit[R]: Eff[R, Unit]

    

    create an Eff value for ()

    create an Eff value for ()

    Definition Classes

    EffCreation

71. def validateCheck[R, E](condition: Boolean, e: ⇒ E)(implicit m: |=[[β$10$]Validate[E, β$10$], R]): Eff[R, Unit]

    

    check a correct condition

    check a correct condition

    Definition Classes

    ValidateCreation

72. def validateEither[R, E, A](either: Either[E, A])(implicit m: |=[[β$1$]Validate[E, β$1$], R]): Eff[R, Unit]

    

    create an Validate effect from a single Either value

    create an Validate effect from a single Either value

    Definition Classes

    ValidateCreation

73. def validateIor[R, E, A](ior: Ior[E, A])(implicit m: |=[[β$2$]Validate[E, β$2$], R]): Eff[R, Unit]

    

    create an Validate effect from a single Ior value

    create an Validate effect from a single Ior value

    Definition Classes

    ValidateCreation

74. def validateOption[R, E, A](option: Option[A], e: ⇒ E)(implicit m: |=[[β$0$]Validate[E, β$0$], R]): Eff[R, Unit]

    

    create an Validate effect from a single Option value

    create an Validate effect from a single Option value

    Definition Classes

    ValidateCreation

75. def validateValue[R, E, A](condition: Boolean, a: ⇒ A, e: ⇒ E)(implicit m: |=[[β$11$]Validate[E, β$11$], R]): Eff[R, A]

    

    check a correct value

    check a correct value

    Definition Classes

    ValidateCreation

76. def values[R, A](as: A*)(implicit arg0: _list[R]): Eff[R, A]

    

    create a list effect from a list of values

    create a list effect from a list of values

    Definition Classes

    ListCreation

77. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

78. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

79. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

80. def waitFor[R](duration: FiniteDuration)(implicit arg0: _future[R]): Eff[R, Unit]

    

    Definition Classes

    FutureCreation

81. def warning[R, E, A](a: A, e: E)(implicit m: |=[[β$9$]Validate[E, β$9$], R]): Eff[R, A]

    

    create a correct value with warning

    create a correct value with warning

    Definition Classes

    ValidateCreation

82. def warning[R, E](e: E)(implicit m: |=[[β$7$]Validate[E, β$7$], R]): Eff[R, Unit]

    

    create a pure warning

    create a pure warning

    Definition Classes

    ValidateCreation

83. def whenStopped[R, A](e: Eff[R, A], action: Last[R]): Eff[R, A]

    

    attach a clean-up action to the continuation (if any)

    attach a clean-up action to the continuation (if any)

    Definition Classes

    EffCreation

84. def wrong[R, E](e: E)(implicit m: |=[[β$3$]Validate[E, β$3$], R]): Eff[R, Unit]

    

    create a failed value

    create a failed value

    Definition Classes

    ValidateCreation

85. def zero[R, A](implicit arg0: _choose[R]): Eff[R, A]

    

    Definition Classes

    ChooseCreation