util

Type Members

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

   

2. abstract class Catenable[+A] extends AnyRef

   

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

   

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

   

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

   

6. 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]

7. trait Lub1Instances0 extends AnyRef

   

8. trait Lub1Instances1 extends Lub1Instances0

   

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

   

10. type NotNothing[F[_]] = Sub1[F, F]

    

11. 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( ... )

12. trait RealType[T] extends AnyRef

    

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

    

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

14. class Task[+A] extends AnyRef

    

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

    

    A forall a . f a -> g a.

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