Type Members

1.  case class CondE[As <: HList, A](expr: Expr[As, Boolean], ifCond: Expr[As, A], thenCond: Expr[As, A], c1: Elem[A, As], c2: Elem[Boolean, As]) extends Expr[As, A] with Product with Serializable
2.  trait Eq[A] extends AnyRef
3.  case class EqE[As <: HList, A](l: Expr[As, A], r: Expr[As, A], c1: Eq[A], c2: Elem[A, As], c3: Elem[Boolean, As]) extends Expr[As, Boolean] with Product with Serializable
4.  trait Expr[As <: HList, A] extends AnyRef
5.  trait IntBool[A] extends AnyRef
6.  case class ProdE[As <: HList, A, B](a: Expr[As, A], b: Expr[As, B], c1: Elem[A, As], c2: Elem[B, As]) extends Expr[As, (A, B)] with Product with Serializable
7.  case class Ratio[As <: HList, A](l: Expr[As, A], r: Expr[As, A], c1: Elem[A, As], c2: Elem[Int, As]) extends Expr[As, Int] with Product with Serializable
8.  trait Show[A] extends AnyRef
9.  case class ValueE[As <: HList, A](a: A, e: Elem[A, As]) extends Expr[As, A] with Product with Serializable