Type Members

1.  type /=[M[_], R] = MemberInOut[M, R]
2.  type <=[M[_], R] = Member[M, R]
3.  case class Correct[E]() extends Validate[E, Unit] with Product with Serializable
4.  sealed trait Validate[+E, A] extends AnyRef
5.  trait ValidateCreation extends AnyRef
6.  trait ValidateEffect extends ValidateCreation with ValidateInterpretation

   Effect for computation which can fail but will accumulate errors

   Effect for computation which can fail but will accumulate errors

   The runValidate interpreter just collects the messages and returns them at the end

7.  trait ValidateInterpretation extends ValidateCreation
8.  case class Warning[E](e: E) extends Validate[E, Unit] with Product with Serializable
9.  case class Wrong[E](e: E) extends Validate[E, Unit] with Product with Serializable
10.  type |=[M[_], R] = MemberIn[M, R]