From 6b377719c10d5ab3343fd5221f99a4a21008e25a Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Thu, 14 Mar 2024 08:26:58 +0100
Subject: Initial commit

---
 lib/expression/query.mli | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 lib/expression/query.mli

(limited to 'lib/expression/query.mli')

diff --git a/lib/expression/query.mli b/lib/expression/query.mli
new file mode 100644
index 0000000..fa789a9
--- /dev/null
+++ b/lib/expression/query.mli
@@ -0,0 +1,27 @@
+module QueryParameter : sig
+  (** Internaly, we need to keep a different type for the Literal chunks
+    (which requires to be quoted), and raw (which should be given as is to the
+    sql engine) 
+
+    The Raw can be generated from both BindParam or NoParam queries. *)
+  type t =
+    | Literal
+    | Queue of ImportCSV.DataType.t Queue.t
+    | Raw of t
+end
+
+type _ binded_query =
+  | BindParam : ImportCSV.DataType.t Queue.t binded_query
+  | NoParam : unit binded_query
+
+val query_of_expression :
+  'b binded_query ->
+  Format.formatter ->
+  (Format.formatter -> 'a -> unit) ->
+  'a T.t ->
+  'b
+
+module Query :
+  Sym.SYM_EXPR
+    with type 'a obs = Format.formatter -> nested:QueryParameter.t -> unit
+     and type 'a path_repr = Format.formatter -> 'a -> unit
-- 
cgit v1.2.3