constraintless/thaj.constraintless.examples

thaj.constraintless.examples

package thaj.constraintless.examples

Type members

Classlikes

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]
trait Eq[A]
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]
trait Expr[As <: HList, A]
Companion:
object
object Expr
Companion:
class
object ExprExample extends App
trait IntBool[A]
Companion:
object
object IntBool
Companion:
class
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)]
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]
trait Show[A]
Companion:
object
object Show
Companion:
class
case class ValueE[As <: HList, A](a: A, e: Elem[A, As]) extends Expr[As, A]
object compiler