Packages

o

org.atnos.eff

create

object create extends ReaderCreation with WriterCreation with StateCreation with EvalCreation with OptionCreation with ListCreation with EitherCreation with ValidateCreation with ChooseCreation with FutureCreation with MemoCreation with EffCreation with SafeCreation

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. create
  2. SafeCreation
  3. SafeTypes
  4. EffCreation
  5. MemoCreation
  6. MemoTypes
  7. FutureCreation
  8. FutureTypes
  9. ChooseCreation
  10. ValidateCreation
  11. EitherCreation
  12. ListCreation
  13. OptionCreation
  14. EvalCreation
  15. EvalTypes
  16. StateCreation
  17. WriterCreation
  18. ReaderCreation
  19. AnyRef
  20. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type ThrowableEither[A] = Either[Throwable, A]
    Definition Classes
    EitherCreation
  2. type _Choose[R] = Member[Choose, R]
    Definition Classes
    ChooseCreation
  3. type _Eval[R] = Member[Eval, R]
    Definition Classes
    EvalTypes
  4. type _Future[R] = Member[TimedFuture, R]
    Definition Classes
    FutureTypes
  5. type _List[R] = Member[List, R]
    Definition Classes
    ListCreation
  6. type _Memo[R] = Member[Memoized, R]
    Definition Classes
    MemoTypes
  7. type _Option[R] = Member[Option, R]
    Definition Classes
    OptionCreation
  8. type _Safe[R] = Member[Safe, R]
    Definition Classes
    SafeTypes
  9. type _ThrowableEither[R] = Member[ThrowableEither, R]
    Definition Classes
    EitherCreation
  10. type _choose[R] = MemberIn[Choose, R]
    Definition Classes
    ChooseCreation
  11. type _eval[R] = MemberIn[Eval, R]
    Definition Classes
    EvalTypes
  12. type _future[R] = MemberIn[TimedFuture, R]
    Definition Classes
    FutureTypes
  13. type _list[R] = MemberIn[List, R]
    Definition Classes
    ListCreation
  14. type _memo[R] = MemberIn[Memoized, R]
    Definition Classes
    MemoTypes
  15. type _option[R] = MemberIn[Option, R]
    Definition Classes
    OptionCreation
  16. type _safe[R] = MemberIn[Safe, R]
    Definition Classes
    SafeTypes
  17. type _throwableEither[R] = MemberIn[ThrowableEither, R]
    Definition Classes
    EitherCreation

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: |=[[β$4$]Validate[E, β$4$], 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$]StateT[Eval, 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$]StateT[Eval, 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$]StateT[Eval, 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$]StateT[Eval, S, β$0$], R]): Eff[R, Unit]

    store a new state value

    store a new state value

    Definition Classes
    StateCreation
  59. 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
  60. 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
  61. 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
  62. 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
  63. def some[R, A](a: A)(implicit arg0: _option[R]): Eff[R, A]

    a value is returned

    a value is returned

    Definition Classes
    OptionCreation
  64. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  65. 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
  66. def toString(): String
    Definition Classes
    AnyRef → Any
  67. 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
  68. def unit[R]: Eff[R, Unit]

    create an Eff value for ()

    create an Eff value for ()

    Definition Classes
    EffCreation
  69. def validateCheck[R, E](condition: Boolean, e: E)(implicit m: |=[[β$6$]Validate[E, β$6$], R]): Eff[R, Unit]

    check a correct condition

    check a correct condition

    Definition Classes
    ValidateCreation
  70. 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
  71. 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
  72. def validateValue[R, E, A](condition: Boolean, a: A, e: E)(implicit m: |=[[β$7$]Validate[E, β$7$], R]): Eff[R, A]

    check a correct value

    check a correct value

    Definition Classes
    ValidateCreation
  73. 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
  74. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  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( ... )
  77. 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
  78. def wrong[R, E](e: E)(implicit m: |=[[β$2$]Validate[E, β$2$], R]): Eff[R, Unit]

    create a failed value

    create a failed value

    Definition Classes
    ValidateCreation
  79. def zero[R, A](implicit arg0: _choose[R]): Eff[R, A]
    Definition Classes
    ChooseCreation

Inherited from SafeCreation

Inherited from SafeTypes

Inherited from EffCreation

Inherited from MemoCreation

Inherited from MemoTypes

Inherited from FutureCreation

Inherited from FutureTypes

Inherited from ChooseCreation

Inherited from ValidateCreation

Inherited from EitherCreation

Inherited from ListCreation

Inherited from OptionCreation

Inherited from EvalCreation

Inherited from EvalTypes

Inherited from StateCreation

Inherited from WriterCreation

Inherited from ReaderCreation

Inherited from AnyRef

Inherited from Any

Ungrouped