types

Type Members

1. trait Asynchronous[F[_]] extends Deferrable[F]

   Type-class for monadic contexts whose evaluation can be delayed.

2. trait Deferrable[F[_]] extends Monad[F] with Recoverable[F, Throwable] with Zippable[F] with CoflatMap[F]

   A type-class describing computations that can be deferred.

3. trait Evaluable[F[_]] extends Deferrable[F] with Restartable[F]

   Type-class for computations that can be materialized to a single result.

4. trait Recoverable[F[_], E] extends Applicative[F] with Monad[F]

   A type-class for monadic contexts that can trigger E errors and that are recoverable.

5. trait Restartable[F[_]] extends Deferrable[F]

   Type-class for computations or run-loops that can be restarted.

6. trait Zippable[F[_]] extends Functor[F]

   A type-class for data structures that can be zipped together.