Object

org.atnos.eff

create

Related Doc: package eff

Permalink

object create extends ReaderCreation with WriterCreation with StateCreation with EvalCreation with OptionCreation with ListCreation with XorCreation with ValidateCreation with ChooseCreation with FutureCreation with EffCreation with Effects

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. create
  2. Effects
  3. EffCreation
  4. FutureCreation
  5. ChooseCreation
  6. ValidateCreation
  7. XorCreation
  8. ListCreation
  9. OptionCreation
  10. EvalCreation
  11. EvalTypes
  12. StateCreation
  13. WriterCreation
  14. ReaderCreation
  15. AnyRef
  16. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type ThrowableXor[A] = Xor[Throwable, A]

    Permalink
    Definition Classes
    XorCreation
  2. type _Choose[R] = Member[Choose, R]

    Permalink
    Definition Classes
    ChooseCreation
  3. type _Eval[R] = Member[Eval, R]

    Permalink
    Definition Classes
    EvalTypes
  4. type _Future[R] = Member[Future, R]

    Permalink
    Definition Classes
    FutureCreation
  5. type _List[R] = Member[List, R]

    Permalink
    Definition Classes
    ListCreation
  6. type _Option[R] = Member[Option, R]

    Permalink
    Definition Classes
    OptionCreation
  7. type _ThrowableXor[R] = Member[ThrowableXor, R]

    Permalink
    Definition Classes
    XorCreation
  8. type _choose[R] = MemberIn[Choose, R]

    Permalink
    Definition Classes
    ChooseCreation
  9. type _eval[R] = MemberIn[Eval, R]

    Permalink
    Definition Classes
    EvalTypes
  10. type _future[R] = MemberIn[Future, R]

    Permalink
    Definition Classes
    FutureCreation
  11. type _list[R] = MemberIn[List, R]

    Permalink
    Definition Classes
    ListCreation
  12. type _option[R] = MemberIn[Option, R]

    Permalink
    Definition Classes
    OptionCreation
  13. type _throwableXor[R] = MemberIn[ThrowableXor, R]

    Permalink
    Definition Classes
    XorCreation
  14. type |:[H[_], T] = EffectsCons[H, T]

    Permalink
    Definition Classes
    Effects

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. def ap[R, A, B](a: Eff[R, A])(f: Eff[R, (A) ⇒ B]): Eff[R, B]

    Permalink

    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

    Permalink
    Definition Classes
    Any
  6. def ask[R, T](implicit member: |=[[β]Kleisli[[A]A, T, β], R]): Eff[R, T]

    Permalink

    get the environment

    get the environment

    Definition Classes
    ReaderCreation
  7. def async[R, A](a: ⇒ A)(implicit arg0: _future[R], ec: ExecutionContext): Eff[R, A]

    Permalink
    Definition Classes
    FutureCreation
  8. def attemptFuture[R, A](f: ⇒ Future[A])(implicit arg0: _future[R], arg1: EvalTypes._eval[R], arg2: XorCreation._throwableXor[R], ec: ExecutionContext): Eff[R, A]

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

    Permalink
    Definition Classes
    ChooseCreation
  10. def clone(): AnyRef

    Permalink
    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]

    Permalink

    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: |=[[β]Validate[E, β], R]): Eff[R, A]

    Permalink

    create a correct value

    create a correct value

    Definition Classes
    ValidateCreation
  13. def delay[R, A](a: ⇒ A)(implicit arg0: _eval[R]): Eff[R, A]

    Permalink
    Definition Classes
    EvalCreation
  14. def empty[R, A](implicit arg0: _list[R]): Eff[R, A]

    Permalink

    create a list effect with no values

    create a list effect with no values

    Definition Classes
    ListCreation
  15. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  16. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  17. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  18. def fromList[R, A](as: List[A])(implicit arg0: _list[R]): Eff[R, A]

    Permalink

    create a list effect from a list of values

    create a list effect from a list of values

    Definition Classes
    ListCreation
  19. def fromOption[R, A](o: Option[A])(implicit arg0: _option[R]): Eff[R, A]

    Permalink

    create an Option effect from a single Option value

    create an Option effect from a single Option value

    Definition Classes
    OptionCreation
  20. def fromXor[R, E, A](xor: Xor[E, A])(implicit member: |=[[β]Xor[E, β], R]): Eff[R, A]

    Permalink

    create an Xor effect from a single Xor value

    create an Xor effect from a single Xor value

    Definition Classes
    XorCreation
  21. def get[R, S](implicit member: |=[[β]StateT[Eval, S, β], R]): Eff[R, S]

    Permalink

    get the current state value

    get the current state value

    Definition Classes
    StateCreation
  22. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  23. def gets[R, S, T](f: (S) ⇒ T)(implicit member: |=[[β]StateT[Eval, S, β], R]): Eff[R, T]

    Permalink

    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
  24. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  25. def impure[R, X, A](union: Union[R, X], continuation: Arrs[R, X, A]): Eff[R, A]

    Permalink

    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
  26. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  27. def left[R, E, A](e: E)(implicit member: |=[[β]Xor[E, β], R]): Eff[R, A]

    Permalink

    create a failed value

    create a failed value

    Definition Classes
    XorCreation
  28. def liftFuture[R, A](f: ⇒ Future[A])(implicit arg0: _future[R], arg1: EvalTypes._eval[R]): Eff[R, A]

    Permalink
    Definition Classes
    FutureCreation
  29. def local[R, T, U](f: (T) ⇒ U)(implicit member: |=[[β]Kleisli[[A]A, T, β], R]): Eff[R, U]

    Permalink

    modify the environment

    modify the environment

    Definition Classes
    ReaderCreation
  30. def modify[R, S](f: (S) ⇒ S)(implicit member: |=[[β]StateT[Eval, S, β], R]): Eff[R, Unit]

    Permalink

    modify the current state value

    modify the current state value

    Definition Classes
    StateCreation
  31. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  32. def none[R, A](implicit arg0: _option[R]): Eff[R, A]

    Permalink

    no value returned

    no value returned

    Definition Classes
    OptionCreation
  33. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  35. def now[R, A](a: A)(implicit arg0: _eval[R]): Eff[R, A]

    Permalink
    Definition Classes
    EvalCreation
  36. def optionXor[R, E, A](option: Option[A], e: E)(implicit member: |=[[β]Xor[E, β], R]): Eff[R, A]

    Permalink

    create an Xor effect from a single Option value

    create an Xor effect from a single Option value

    Definition Classes
    XorCreation
  37. def plus[R, A](a1: Eff[R, A], a2: Eff[R, A])(implicit arg0: _choose[R]): Eff[R, A]

    Permalink
    Definition Classes
    ChooseCreation
  38. def pure[R, A](a: A): Eff[R, A]

    Permalink

    create a pure value

    create a pure value

    Definition Classes
    EffCreation
  39. def put[R, S](s: S)(implicit member: |=[[β]StateT[Eval, S, β], R]): Eff[R, Unit]

    Permalink

    store a new state value

    store a new state value

    Definition Classes
    StateCreation
  40. def right[R, E, A](a: A)(implicit member: |=[[β]Xor[E, β], R]): Eff[R, A]

    Permalink

    create a correct value

    create a correct value

    Definition Classes
    XorCreation
  41. def send[T[_], R, V](tv: T[V])(implicit member: |=[T, R]): Eff[R, V]

    Permalink

    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
  42. def sequenceA[R, F[_], A](fs: F[Eff[R, A]])(implicit arg0: Traverse[F]): Eff[R, F[A]]

    Permalink

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

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

    Definition Classes
    EffCreation
  43. def singleton[R, A](a: A)(implicit arg0: _list[R]): Eff[R, A]

    Permalink

    create a list effect from a single value

    create a list effect from a single value

    Definition Classes
    ListCreation
  44. def some[R, A](a: A)(implicit arg0: _option[R]): Eff[R, A]

    Permalink

    a value is returned

    a value is returned

    Definition Classes
    OptionCreation
  45. def sync[R, A](a: A)(implicit arg0: _future[R]): Eff[R, A]

    Permalink
    Definition Classes
    FutureCreation
  46. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  47. def tell[R, O](o: O)(implicit member: |=[[β]WriterT[[A]A, O, β], R]): Eff[R, Unit]

    Permalink

    write a given value

    write a given value

    Definition Classes
    WriterCreation
  48. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  49. def traverseA[R, F[_], A, B](fs: F[A])(f: (A) ⇒ Eff[R, B])(implicit arg0: Traverse[F]): Eff[R, F[B]]

    Permalink

    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
  50. def unit[R]: Eff[R, Unit]

    Permalink

    create an Eff value for ()

    create an Eff value for ()

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

    Permalink

    check a correct condition

    check a correct condition

    Definition Classes
    ValidateCreation
  52. def validateOption[R, E, A](option: Option[A], e: E)(implicit m: |=[[β]Validate[E, β], R]): Eff[R, Unit]

    Permalink

    create an Validate effect from a single Option value

    create an Validate effect from a single Option value

    Definition Classes
    ValidateCreation
  53. def validateValue[R, E, A](condition: Boolean, a: A, e: E)(implicit m: |=[[β]Validate[E, β], R]): Eff[R, A]

    Permalink

    check a correct value

    check a correct value

    Definition Classes
    ValidateCreation
  54. def validateXor[R, E, A](xor: Xor[E, A])(implicit m: |=[[β]Validate[E, β], R]): Eff[R, Unit]

    Permalink

    create an Validate effect from a single Xor value

    create an Validate effect from a single Xor value

    Definition Classes
    ValidateCreation
  55. def values[R, A](as: A*)(implicit arg0: _list[R]): Eff[R, A]

    Permalink

    create a list effect from a list of values

    create a list effect from a list of values

    Definition Classes
    ListCreation
  56. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  59. def wrong[R, E](e: E)(implicit m: |=[[β]Validate[E, β], R]): Eff[R, Unit]

    Permalink

    create a failed value

    create a failed value

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

    Permalink
    Definition Classes
    ChooseCreation
  61. val |:: EffectsCons.type

    Permalink
    Definition Classes
    Effects

Inherited from Effects

Inherited from EffCreation

Inherited from FutureCreation

Inherited from ChooseCreation

Inherited from ValidateCreation

Inherited from XorCreation

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