diff options
Diffstat (limited to 'lib/syntax/cte.mli')
| -rw-r--r-- | lib/syntax/cte.mli | 17 |
1 files changed, 17 insertions, 0 deletions
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 |