@@ -29,6 +29,9 @@ import Rel8.Schema.Nullability ( Sql )
29import Rel8.Type ( DBType )
29import Rel8.Type ( DBType )
32+-- | This type class exists to allow 'function' to have arbitrary arity. It's
33+-- mostly an implementation detail, and typical uses of 'Function' shouldn't
34+-- need this to be specified.
32type Function :: Type -> Type -> Constraint
35type Function :: Type -> Type -> Constraint
33class Function arg res where
36class Function arg res where
34 applyArgument :: ([Opaleye.PrimExpr] -> Opaleye.PrimExpr) -> arg -> res
37 applyArgument :: ([Opaleye.PrimExpr] -> Opaleye.PrimExpr) -> arg -> res