typelevel

Type Members

1. sealed trait Format[T, R] extends AnyRef

2. trait Formatter[Params <: HList, R] extends (Params) ⇒ R

3. trait Formatters extends AnyRef

4. case class GenericCons[M[_], H, +T <: GenericList[M]](head: M[H], tail: T) extends GenericList[M] with Product with Serializable

5. sealed trait GenericList[+M[_]] extends AnyRef

   A list which preserves the precise types of all elements.

6. case class GenericNil[M[_]]() extends GenericList[M] with Product with Serializable

7. type HCons[H, T <: HList] = GenericCons[Id, H, T]

   Definition Classes

   package

   Note

   :: as type and extractor is available in HLists

8. trait HFold[M[_], U] extends AnyRef

9. type HList = GenericList[Id]

   A GenericList with the type constructor scalaz.Id

   A GenericList with the type constructor scalaz.Id

   Definition Classes

   package

10. type HNil = GenericNil[Id]

    Definition Classes

    package

11. trait HStream[T[_ <: Nat]] extends AbstractHStream

    An infinite sequence of elements with different types.

12. type KCons[M[_], H, +T <: KList[M]] = GenericCons[M, H, T]

    Definition Classes

    package

13. type KList[M[_]] = GenericList[M]

    Alias for scalaz.typelevel.KList

    Alias for scalaz.typelevel.KList

    Definition Classes

    package

14. type KNil[M[_]] = GenericNil[M]

    Definition Classes

    package

15. trait KTypeClass[C[_[_]]] extends AnyRef

    A type class abstracting over the product operation of type classes over types of kind * -> *.

16. trait NFold[U] extends AnyRef

17. sealed trait Nat extends AnyRef

18. trait Nats extends AnyRef

19. class SimpleUnionFormat[D <: Disj, R] extends UnionFormat[D, R]

20. case class Succ[N <: Nat](predecessor: N) extends Nat with Product with Serializable

21. trait Syntax extends HLists with TypeClasses

22. sealed trait TCCons[M[_], T <: TCList] extends TCList

23. sealed trait TCList extends AnyRef

    A structure storing a list of type constructors in the type, providing type conversions for composition and products.

24. sealed trait TCNil extends TCList

25. trait TypeClass[C[_]] extends AnyRef

    A type class abstracting over the product operation of type classes over types of kind *.

26. trait UnionFormat[D <: Disj, R] extends Format[Union[D], R]