Type Members

1.  type /=[M[_], R] = MemberInOut[M, R]
2.  type <=[M[_], R] = Member[M, R]
3.  sealed trait Choose[T] extends AnyRef
4.  trait ChooseCreation extends AnyRef
5.  trait ChooseEffect extends ChooseCreation with ChooseInterpretation

   The Choose effect models non-determinism So we can get results, either:

   The Choose effect models non-determinism So we can get results, either:

   • no results (when using ChooseZero)
   • the result for action1 or the result for action b (when using ChoosePlus)

   When running this effect we can "collect" the results with any F which has an Alternative instance.

   For example if F is List then:

   • no results is the empty list
   • the result for a or b is List(a, b)

   If F is Option then:

   • no results is the None
   • the result for a or b is Some(a) or Some(b
6.  trait ChooseImplicits extends AnyRef
7.  trait ChooseInterpretation extends AnyRef
8.  case class ChooseZero[T]() extends Choose[T] with Product with Serializable
9.  case class Rand[A](run: (Random) ⇒ Option[A]) extends Product with Serializable

   This class can be used as a F in runChoose to generate random alternatives

10.  type |=[M[_], R] = MemberIn[M, R]