Type Members

1.  type /=[M[_], R] = MemberInOut[M, R]
2.  type <=[M[_], R] = Member[M, R]
3.  trait ErrorCreation[F] extends ErrorTypes[F]
4.  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

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

   This effect is a mix of Eval and Either in the sense that every computation passed to this effect (with the ok method) is considered "impure" or "faulty" by default.

   The type F is used to represent the failure type.

5.  trait ErrorInterpretation[F] extends ErrorCreation[F]
6.  trait ErrorTypes[F] extends AnyRef
7.  case class Evaluate[F, A](run: Either[Either[Throwable, F], Eval[A]]) extends Product with Serializable
8.  type |=[M[_], R] = MemberIn[M, R]