eff

Type Members

1. type <=[M[_], R] = Member[M, R]

2. case class Arrs[R, A, B](functions: Vector[(Any) ⇒ Eff[R, Any]]) extends Product with Serializable

   Sequence of monadic functions from A to B: A => Eff[B]

3. type Console[A] = AnyRef { ... /* 2 definitions in type refinement */ }

4. trait ConsoleEffect extends AnyRef

5. trait ConsoleImplicits extends ConsoleImplicits1

6. trait ConsoleImplicits1 extends AnyRef

7. trait ConsoleTag extends AnyRef

8. trait DisjunctionCreation extends AnyRef

9. trait DisjunctionEffect extends DisjunctionCreation with DisjunctionInterpretation

   Effect for computation which can fail

10. trait DisjunctionInterpretation extends AnyRef

11. sealed trait Eff[R, A] extends AnyRef

    Effects of type R, returning a value of type A

12. trait EffCreation extends AnyRef

13. trait EffImplicits extends AnyRef

14. trait EffInterpretation extends AnyRef

15. sealed trait Effect[F[_]] extends AnyRef

    one effect, basically a type constructor

16. trait Effects extends AnyRef

    Effects is a type level representing a list of effects which might take place in a computation

17. final case class EffectsCons[F[_], T <: Effects](head: Effect[F], tail: T) extends Effects with Product with Serializable

    Append an effect at the beginning of a list of effects

18. trait ErrorCreation[F] extends ErrorTypes[F]

19. trait ErrorEffect[F] extends ErrorCreation[F] with ErrorInterpretation[F]

    Effect for computation which can fail and return a Throwable, or just stop with a failure

20. trait ErrorInterpretation[F] extends ErrorCreation[F]

21. trait ErrorTypes[F] extends AnyRef

22. trait EvalCreation extends EvalTypes

23. trait EvalEffect extends EvalTypes with EvalCreation with EvalInterpretation

    Effect for delayed computations

24. trait EvalInterpretation extends EvalTypes

25. trait EvalTypes extends AnyRef

26. trait Fold[A, B] extends AnyRef

    support trait for folding values while possibly keeping some internal state

27. case class Impure[R, X, A](union: Union[R, X], continuation: Arrs[R, X, A]) extends Eff[R, A] with Product with Serializable

    union is a disjoint union of effects returning a value of type X (not specified)

28. trait Interpret extends AnyRef

    Support methods to create an interpreter (or "effect handlers") for a given Eff[M |: R, A].

29. trait IntoPoly[R <: Effects, U, A] extends AnyRef

    Trait for polymorphic recursion into Eff[?, A]

30. trait IntoPolyLower extends AnyRef

31. trait ListCreation extends AnyRef

32. trait ListEffect extends ListCreation with ListInterpretation

    Effect for computations possibly returning several values

33. trait ListInterpretation extends AnyRef

34. trait Member[T[_], R] extends AnyRef

    Member typeclass for effects belonging to a stack of effects R

35. trait MemberImplicits extends MemberImplicits1

36. trait MemberImplicits1 extends MemberImplicits2

37. trait MemberImplicits2 extends AnyRef

38. class NoEffect extends Effects

    Nil case for the list of effects

39. trait OptionCreation extends AnyRef

40. trait OptionEffect extends OptionCreation with OptionInterpretation

    Effect for optional computations

41. trait OptionInterpretation extends AnyRef

42. case class Pure[R, A](value: A) extends Eff[R, A] with Product with Serializable

43. trait ReaderCreation extends AnyRef

44. trait ReaderEffect extends ReaderCreation with ReaderInterpretation with ReaderImplicits

    Effect for computations depending on an environment.

45. trait ReaderImplicits extends ReaderImplicits1

46. trait ReaderImplicits1 extends AnyRef

47. trait ReaderInterpretation extends AnyRef

48. trait StateCreation extends AnyRef

49. trait StateEffect extends StateCreation with StateInterpretation with StateImplicits

    Effect for passing state along computations

50. trait StateImplicits extends StateImplicits1

51. trait StateImplicits1 extends AnyRef

52. trait StateInterpretation extends AnyRef

53. sealed trait Union[+R, A] extends AnyRef

    Open union of effects

54. case class UnionNext[O[_], R <: Effects, A](u: Union[R, A]) extends Union[eff.Effects.|:[O, R], A] with Product with Serializable

55. case class UnionNow[T[_], R <: Effects, A](ta: T[A]) extends Union[eff.Effects.|:[T, R], A] with Product with Serializable

56. type Warnings[A] = AnyRef { ... /* 2 definitions in type refinement */ }

57. trait WarningsEffect extends AnyRef

58. trait WarningsImplicits extends WarningsImplicits1

59. trait WarningsImplicits1 extends AnyRef

60. trait WarningsTag extends AnyRef

61. trait WriterCreation extends AnyRef

62. trait WriterEffect extends WriterCreation with WriterInterpretation

    Effect for logging values alongside computations

63. trait WriterInterpretation extends AnyRef