util

Type Members

1. trait Async[F[_]] extends Effect[F]

   

   Annotations

   @implicitNotFound( ... )

2. type Attempt[A] = Either[Throwable, A]

   

3. trait Catchable[F[_]] extends Monad[F]

   

   Monad which tracks exceptions thrown during evaluation.

4. sealed abstract class Catenable[+A] extends AnyRef

   

5. trait Effect[F[_]] extends Catchable[F] with Suspendable[F]

   

   Monad which supports catching exceptions, suspending evaluation, and potentially asynchronous evaluation.

6. sealed trait Free[+F[_], +A] extends AnyRef

   

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

   

8. sealed trait Lub1[-F[_], -G[_], +Lub[_]] extends AnyRef

   

   A Lub1[F,G,Lub] is evidence that forall x:

   A Lub1[F,G,Lub] is evidence that forall x:

   • Lub[x] >: F[x]
   • Lub[x] >: G[x]
   • there is no L[x] for which L[x] >: F[x] and L[x] >: G[x] and L[x] <: Lub[x]

9. trait Monad[F[_]] extends Functor[F]

   

10. sealed trait RealSupertype[-Sub, Super] extends AnyRef

    

    A RealSupertype[A,B] is evidence that A <: B.

    A RealSupertype[A,B] is evidence that A <: B. This module provides implicit RealSupertype[Sub,Super] only if Super is not one of: Any, AnyVal, AnyRef, Product, or Serializable.

    Annotations

    @implicitNotFound( ... )

11. trait RealType[T] extends AnyRef

    

12. sealed trait Sub1[-F[_], +G[_]] extends AnyRef

    

    A Sub[F,G] is evidence that forall x . F[x] <: G[x]

13. trait Suspendable[F[_]] extends Monad[F]

    

    Monad which supports capturing a deferred evaluation of a by-name F[A].

    Monad which supports capturing a deferred evaluation of a by-name F[A].

    Evaluation is suspended until a value is extracted, typically via the unsafeRunAsync method on the related Effect type class or via a type constructor specific extraction method (e.g., unsafeRunSync on Task). Side-effects that occur while evaluating a suspension are evaluated exactly once at the time of extraction.

14. trait UF1[-F[_], +G[_]] extends AnyRef

    

    A forall a . f a -> g a.

15. type ~>[F[_], G[_]] = UF1[F, G]