constraintless/thaj.constraintless.examples/Expr

Expr

trait Expr[As <: HList, A]
Companion:
object
class Object
trait Matchable
class Any
class CondE[As, A]
class EqE[As, A]
class ProdE[As, A, B]
class Ratio[As, A]
class ValueE[As, A]

Value members

Concrete methods

def /(expr: Expr[As, A])(implicit ev: Elem[A, As], ev2: Elem[Int, As]): Expr[As, Int]