wz1000

> At a conceptual level, the pattern/architecture that you seem to be going towards is the following: transform the HTTP request (incoming JSON, query parameters, incoming patch/diff, etc), to functions/data-structures...

@saurabhnanda When I took my first stab at writing ProductFilter, I implemented it using a simple Haskell function ``` newtype ProductFilter = { getFilter :: DBProduct -> All } deriving...

> What would it do to the Servant API signatures, if you use ProductView completely? Not much. The return type would just change from `Product` to `AppJSON`.

> Was thinking more about this comment. Can you elaborate how mconcat is better compared to a fold? First, on the issue of correctness, there is the property that the...

@saurabhnanda As of the commit I just pushed, the domain API is pretty much complete, other than photos and product updates.

@saurabhnanda > I'm missing something in the updation infrastructure again. Why is the following erroring out? What exactly does one need to pass to an Updater '[x]? You forgot to...

@saurabhnanda > I removed the requirePermission (EditUser uid) expression from dbUpdateUsers, and the code compiled! Is there a way to make the code compilation fails if someone forgets to put...

> Why have HasTimestamp instances not been defined for all relevant tables? `HasTimestamp` is only really required for updates, and I haven't gotten around to writing update operations for all...

This is pretty much the Operation/Permission monad I was discussing with @saurabhnanda on Gitter.

This wouldn't be too difficult to achieve. I achieve session validation by this code ``` cookieAuthHandler :: AuthCookieSettings -> ServerKey -> AuthHandler Request (Either CookieError Session) cookieAuthHandler authSettings serverKey =...