From 8b8b730d3ba98d6c9e4e6274844641043b5fefbb Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 17 Mar 2025 09:11:25 +0100 Subject: Moved the syntax module in its own library --- lib/syntax/cte.mli | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 lib/syntax/cte.mli (limited to 'lib/syntax/cte.mli') diff --git a/lib/syntax/cte.mli b/lib/syntax/cte.mli new file mode 100644 index 0000000..39897ef --- /dev/null +++ b/lib/syntax/cte.mli @@ -0,0 +1,17 @@ +type t = { + filters : ImportDataTypes.Path.t ImportExpression.T.t list; + group : ImportDataTypes.Path.t ImportExpression.T.t option; +} +(** Represent a filter to apply in the querry + + The CTE can have filters applied on the previous CTE (or directly in the + sources if there is any yet) and can hold a group (an only one). + + If there is a group, it must be applied after the others filters. + + The order in which the filters are presented in the configuration can change + the results ; it does not matter when we only have classicals filters, + because all cf them can be evaluated at the same time, but as soon we have a + group function, the result become dependant of the previous ones. *) + +val of_filters : ImportDataTypes.Path.t ImportExpression.T.t list -> t list -- cgit v1.2.3