blob: 0f2b3e3266e665dd091331deb59f715edede2f99 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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
|
