Type Members

1.  final case class ConstantReader[+T](get: T) extends Reader[Any, T] with Product with Serializable
2.  final case class Done[A](get: A) extends Trampoline[A] with Product with Serializable
3.  final case class FlatMapped[C, A](start: Trampoline[C], fn: (C) => Trampoline[A]) extends Trampoline[A] with Product with Serializable
4.  final case class FlatMappedReader[E, U, +T](first: Reader[E, U], fn: (U) => Reader[E, T]) extends Reader[E, T] with Product with Serializable
5.  final case class FlatMappedState[S, F, T, U](start: StateWithError[S, F, T], fn: (T) => StateWithError[S, F, U]) extends StateWithError[S, F, U] with Product with Serializable

   A Trampolining instance that should prevent stack overflow at the expense of performance

6.  sealed trait Reader[-Env, +T] extends AnyRef
7.  final case class ReaderFn[E, +T](fn: (E) => T) extends Reader[E, T] with Product with Serializable
8.  final case class StateFn[S, F, T](fn: (S) => Either[F, (S, T)]) extends StateWithError[S, F, T] with Product with Serializable

   Simple wrapper of a function in the Monad

9.  sealed trait StateWithError[S, +F, +T] extends AnyRef

   Monad to handle mutating input state and possible failures.

   Monad to handle mutating input state and possible failures. This is used to interact in the planning phase with existing mutable APIs (like storm or cascading), but retain the ability to compose carefully.

10.  sealed trait Trampoline[+A] extends AnyRef