Antoine Leblanc d91029ad51 [gardening] remove all traverse functions from RQL.IR ... ### Description This PR removes all `fmapX` and `traverseX` functions from RQL.IR, favouring instead `Functor` and `Traversable` instances throughout the code. This was a relatively straightforward change, except for two small pain points: `AnnSelectG` and `AnnInsert`. Both were parametric over two types `a` and `v`, making it impossible to make them traversable functors... But it turns out that in every single use case, `a ~ f v`. By changing those types to take such an `f :: Type -> Type` as an argument instead of `a :: Type` makes it possible to make them functors. The only small difference is for `AnnIns`, I had to introduce one `Identity` transformation for one of the `f` parameters. This is relatively straightforward. ### Notes This PR fixes the most verbose BigQuery hint (`let` instead of `<- pure`). https://github.com/hasura/graphql-engine-mono/pull/1668 GitOrigin-RevId: e632263a8c559aa04aeae10dcaec915b4a81ad1a		2021-07-08 15:42:53 +00:00
..
Insert.hs	[gardening] remove all traverse functions from RQL.IR	2021-07-08 15:42:53 +00:00
LiveQuery.hs	server: IR for DB-DB joins	2021-06-17 23:13:05 +00:00
Mutation.hs	server: IR for DB-DB joins	2021-06-17 23:13:05 +00:00
Prepare.hs	server: support remote relationships on SQL Server and BigQuery (#1497)	2021-06-11 03:27:39 +00:00
Types.hs	server: do not collect metrics for sources that have been dropped	2021-05-26 07:41:28 +00:00