From 81db1bfd580791910646525e30bc45af34533987 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 1 Mar 2025 08:39:02 +0100 Subject: Rewrite the way to handle filters --- lib/configuration/cte.mli | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 lib/configuration/cte.mli (limited to 'lib/configuration/cte.mli') diff --git a/lib/configuration/cte.mli b/lib/configuration/cte.mli new file mode 100644 index 0000000..0f2b3e3 --- /dev/null +++ b/lib/configuration/cte.mli @@ -0,0 +1,20 @@ +module Path = ImportDataTypes.Path +module Expression = ImportExpression.T + +type t = { + filters : Path.t Expression.t list; + group : Path.t Expression.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 : Path.t Expression.t list -> t list -- cgit v1.2.3