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. trait Func[F[_], TC[F[_]] <: Functor[F[_]], A, B] extends AnyRef

   Represents a function A => F[B] where [F: TC].

5. trait FuncFunctions extends AnyRef

6. trait FuncInstances extends FuncInstances1

7. trait FuncInstances1 extends FuncInstances2

8. trait FuncInstances2 extends FuncInstances3

9. trait FuncInstances3 extends AnyRef

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

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

    A list which preserves the precise types of all elements.

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

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

    Note

    :: as type and extractor is available in scalaz.typelevel.syntax.HLists

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

15. type HList = GenericList[Id.Id]

    A scalaz.typelevel.GenericList with the type constructor scalaz.Id

16. trait HListFunc[T <: TCList, TC[X[_]] <: Functor[X[_]], A, B] extends Func[typelevel.HListFunc.T.Product, TC, A, B]

    Represents a function A => T#Product[B] where [T <: TCList].

17. type HNil = GenericNil[Id.Id]

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

    An infinite sequence of elements with different types.

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

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

    Alias for scalaz.typelevel.KList

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

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

    A type class abstracting over the product and compose operations of type classes over types of kind * -> *.

23. trait NFold[U] extends AnyRef

24. sealed trait Nat extends AnyRef

25. trait Nats extends AnyRef

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

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

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

29. sealed trait TCList extends AnyRef

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

30. sealed trait TCNil extends TCList

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

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

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

33. type UpperConstrained[T[_], U] = AnyRef { type Apply[X <: U] = T[X] }

    Constraining a type constructor to a certain upper bound