Packages

object QuasiInclusion

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. QuasiInclusion
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. implicit def componentIncl[X, Y](implicit qp: QuasiProjection[X, Y]): QuasiInclusion[X, Y, Id]
  2. def constQI[X, Cnst]: QuasiInclusion[X, Cnst, [A]Cnst]
  3. implicit def genericIncl[X, Y, R, F1[_] <: HList](implicit arg0: Traverse[F1], gen: Lazy[Aux[Y, R]], qi: QuasiInclHList[X, R, F1]): QuasiInclHList[X, Y, F1]
  4. implicit def hConsIncl[X, Y1, Y2 <: HList, F1[_], F2[_] <: HList](implicit arg0: Traverse[F1], arg1: Traverse[F2], qi1: Lazy[QuasiInclusion[X, Y1, F1]], qi2: QuasiInclHList[X, Y2, F2]): QuasiInclHList[X, ::[Y1, Y2], [A]::[F1[A], F2[A]]]
  5. implicit def hnilIncl[X]: QuasiInclHList[X, HNil, HN]
  6. implicit def numQI[X, NT](implicit arg0: Numeric[NT]): QuasiInclusion[X, NT, [A]NT]
  7. implicit def stringQI[X]: QuasiInclusion[X, String, [A]String]
  8. implicit def travQI[X, Y, F[_], G[_]](implicit arg0: Traverse[F], arg1: Traverse[G], qi: QuasiInclusion[X, Y, F]): QuasiInclusion[X, G[Y], [A]G[F[A]]]