Type Members

1.  type /=[M[_], R] = MemberInOut[M, R]
2.  type <=[M[_], R] = Member[M, R]
3.  trait RightFold[A, B] extends AnyRef

   support trait for folding values while possibly keeping some internal state

4.  trait WriterCreation extends AnyRef
5.  trait WriterEffect extends WriterCreation with WriterInterpretation

   Effect for logging values alongside computations

   Effect for logging values alongside computations

   Compared to traditional Writer monad which accumulates values by default this effect can be interpreted in different ways:

   • log values to the console or to a file as soon as they are produced
   • accumulate values in a list
6.  trait WriterInterpretation extends AnyRef
7.  type |=[M[_], R] = MemberIn[M, R]