constraintless/thaj.constraintless.examples/Expr

Expr

object Expr
Companion:
class
class Object
trait Matchable
class Any
Expr.type

Value members

Concrete methods

def condE[A, As <: HList](l: Expr[As, Boolean], exec1: Expr[As, A], exec2: Expr[As, A])(implicit e: Elem[A, As], b: Elem[Boolean, As]): Expr[As, A]
def eqE[A, As <: HList](exec1: Expr[As, A], exec2: Expr[As, A])(implicit e: Elem[A, As], b: Elem[Boolean, As], eq: Eq[A]): Expr[As, Boolean]
def prodE[A, B, C, As <: HList](a: Expr[As, A], b: Expr[As, B])(implicit e: Elem[A, As], f: Elem[B, As]): Expr[As, (A, B)]
def valueE[A, As <: HList](a: A)(implicit e: Elem[A, As]): Expr[As, A]