package
typelevel
Type Members
-
sealed
trait
Format[T, R] extends AnyRef
-
trait
Formatter[Params <: HList, R] extends (Params) ⇒ R
-
trait
Formatters extends AnyRef
-
trait
Func[F[_], TC[F[_]] <: Functor[F[_]], A, B] extends AnyRef
-
-
-
-
-
-
case class
GenericCons[M[_], H, +T <: GenericList[M]](head: M[H], tail: T) extends GenericList[M] with Product with Serializable
-
sealed
trait
GenericList[+M[_]] extends AnyRef
-
case class
GenericNil[M[_]]() extends GenericList[M] with Product with Serializable
-
type
HCons[H, T <: HList] = GenericCons[Id.Id, H, T]
-
case class
HConsFunc[F[_], TC[F[_]] <: Functor[F[_]], A, B, +T <: HListFunc[TC, A, B]](head: Func[F, TC, A, B], tail: T) extends HListFunc[TC, A, B] with Product with Serializable
-
trait
HFold[M[_], U] extends AnyRef
-
-
trait
HListFunc[TC[X[_]] <: Functor[X[_]], A, B] extends AnyRef
-
-
case class
HNilFunc[TC[F[_]] <: Functor[F[_]], A, B](TC0: KTypeClass[TC]) extends HListFunc[TC, A, B] with Product with Serializable
-
trait
HStream[T[_ <: Nat]] extends AbstractHStream
-
type
KCons[M[_], H, +T <: KList[M]] = GenericCons[M, H, T]
-
-
type
KNil[M[_]] = GenericNil[M]
-
trait
KTypeClass[C[_[_]]] extends AnyRef
-
trait
NFold[U] extends AnyRef
-
sealed
trait
Nat extends AnyRef
-
trait
Nats extends AnyRef
-
-
case class
Succ[N <: Nat](predecessor: N) extends Nat with Product with Serializable
-
-
sealed
trait
TCList extends AnyRef
-
-
trait
UnionFormat[D <: UnionTypes.Disj, R] extends Format[UnionTypes.Union[D], R]
-
type
UpperConstrained[T[_], U] = AnyRef { type Apply[X <: U] = T[X] }
Value Members
-
val
:^:: GenericCons.type
-
-
-
-
-
def
FNil[R](implicit arg0: Monoid[R]): Formatter[HNil, R]
-
-
-
-
-
-
-
object
HCons extends Serializable
-
-
-
-
lazy val
HNil: HNil
-
-
val
KNil: _KNil.type
-
-
-
-
-
object
Zero extends Nat with Product with Serializable
-
object
_KNil extends KNil[Nothing]
-
-
implicit
def
mkIdOps[T <: HList](list: T): IdOps[T]
Inherited from AnyRef
Inherited from Any
Type-level data structures in Scalaz.
This package contains:
In general, including
scalaz.typelevel._
should be enough.