types

Type Members

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

   

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

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

   Note that this includes asynchronous streams.

2. trait Deferrable[F[_]] extends Monad[F] with Recoverable[F, Throwable] with Zippable[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 ReactivePublisher[F[_]] extends AnyRef

   

   Type-class for data-sources that can be converted to a reactive publisher from the Reactive Streams specification.

   Type-class for data-sources that can be converted to a reactive publisher from the Reactive Streams specification.

   See: reactive-streams.org

5. trait Recoverable[F[_], E] extends Applicative[F]

   

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

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

   

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

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

   

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

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

   An invocation like zip2(A,B) will produce pairs such as (a1,b1), (a2,b2), .... This is not the product from Applicative, as this does not generate a cartesian product, but rather pairs elements based on ordering.