TonyGen/mongoDB-haskell — Issue #19: structured (type-safe) queries.
Author: gregwebs
Created: 2012-02-23 18:47:24+00:00
State: open

BSON is just an AList, which is find. However, MongoDB has specific semantics not captured in allowing arbitrary strings. The current driver will let you throw anything at it and hopefully report an error. We need a structure built by data constructors: Set instead of "$set", etc.

This might be a cumbersome or inefficient way to construct queries. However, this query data type can be used to validate a query at compile time instead of being a direct interface for the user (I would be willing to create such a package).

MongoDB is fairly well documented for an end user figuring out how to make a query, but we really need to know the same grammar that MongoDB uses. Can you provide this?