constraintless/thaj.constraintless.examples/compiler

compiler

object compiler
class Object
trait Matchable
class Any

Type members

Types

type IO[A] = Option[A]

Value members

Concrete methods

def compile[As <: HList, A](expr: Expr[As, A])(implicit ev: All[IntBool, As]): Option[A]
def compileSM[As <: HList, A](expr: Expr[As, A])(implicit ev: All[IntBool, As]): String
def pretty[As <: HList, A](expr: Expr[As, A])(implicit show: All[Show, As]): String