@@ -40,6 +40,7 @@ import Rel8.Type.Num ( DBFractional, DBNum )
40import Rel8.Type.Semigroup ( DBSemigroup, (<>.) )
40import Rel8.Type.Semigroup ( DBSemigroup, (<>.) )
43+-- | Typed SQL expressions.
43type role Expr representational
44type role Expr representational
44type Expr :: Type -> Type
45type Expr :: Type -> Type
45newtype Expr a = Expr Opaleye.PrimExpr
46newtype Expr a = Expr Opaleye.PrimExpr