constraintless/thaj.constraintless.examples/ProdE

ProdE

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)]
trait Serializable
trait Product
trait Equals
trait Expr[As, (A, B)]
class Object
trait Matchable
class Any

Value members

Inherited methods

def /(expr: Expr[As, (A, B)])(implicit ev: Elem[(A, B), As], ev2: Elem[Int, As]): Expr[As, Int]
Inherited from:
Expr
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product