Type Members

1.  case class Appender[L1 <: HList, L2 <: HList, R <: HList](f: (L1, L2) ⇒ R) extends Product with Serializable
2.  trait Cartesian[Box[_]] extends AnyRef
3.  class EitherT[L, R, Box[_]] extends AnyRef
4.  trait Enumerable[A] extends AnyRef
5.  trait Functor[Box[_]] extends AnyRef
6.  case class FutureEither[L, R](wrapped: Future[Either[L, R]]) extends EitherT[L, R, Future] with Product with Serializable
7.  case class FutureOption[A](wrapped: Future[Option[A]]) extends OptionT[A, Future] with Product with Serializable
8.  case class HCons[H, T <: HList](head: H, tail: T) extends HList with Product with Serializable
9.  sealed trait HList extends AnyRef
10.  class HNil extends HList
11.  trait Monad[Box[_]] extends Functor[Box]

    Annotations

    @implicitNotFound( ... )

12.  trait Monoid[T] extends AnyRef
13.  case class NonEmptyList[A](head: A, tail: List[A]) extends Product with Serializable
14.  class OptionT[A, Box[_]] extends AnyRef
15.  trait Semigroup[T] extends AnyRef
16.  trait Showable[A] extends AnyRef
17.  trait Union extends AnyRef
18.  case class Union2[T1, T2](v1: Option[T1], v2: Option[T2]) extends Union with Product with Serializable
19.  class Union2Type[T1, T2] extends AnyRef

    Annotations

    @UnionMacro()

20.  case class Union3[T1, T2, T3](v1: Option[T1], v2: Option[T2], v3: Option[T3]) extends Union with Product with Serializable
21.  class Union3Type[T1, T2, T3] extends AnyRef

    Annotations

    @UnionMacro()

22.  case class Union4[T1, T2, T3, T4](v1: Option[T1], v2: Option[T2], v3: Option[T3], v4: Option[T4]) extends Union with Product with Serializable
23.  class Union4Type[T1, T2, T3, T4] extends AnyRef

    Annotations

    @UnionMacro()

24.  case class Union5[T1, T2, T3, T4, T5](v1: Option[T1], v2: Option[T2], v3: Option[T3], v4: Option[T4], v5: Option[T5]) extends Union with Product with Serializable
25.  class Union5Type[T1, T2, T3, T4, T5] extends AnyRef

    Annotations

    @UnionMacro()

26.  case class Union6[T1, T2, T3, T4, T5, T6](v1: Option[T1], v2: Option[T2], v3: Option[T3], v4: Option[T4], v5: Option[T5], v6: Option[T6]) extends Union with Product with Serializable
27.  class Union6Type[T1, T2, T3, T4, T5, T6] extends AnyRef

    Annotations

    @UnionMacro()

28.  case class Union7[T1, T2, T3, T4, T5, T6, T7](v1: Option[T1], v2: Option[T2], v3: Option[T3], v4: Option[T4], v5: Option[T5], v6: Option[T6], v7: Option[T7]) extends Union with Product with Serializable
29.  class Union7Type[T1, T2, T3, T4, T5, T6, T7] extends AnyRef

    Annotations

    @UnionMacro()