wz1000
wz1000
> A few lines on what problem the ContraintKinds extension solves. Or a link to a gentle introduction. Constraint kinds allows you to manipulate `Constraint`s as you would other types...
> But wouldn't a signature of fst::(a, b) -> a, be as polymorphic and work the same? The signatures are equivalent. I just added an explicit `forall` for clarity. GHC...
> @wz1000 so, IIUC this type-machinery needs to be defined only once and then any record with regular lenses can use it. Is that correct? Yes. > ``` > updateProduct...
> Follow-up question: Does this scale to nested records? In the example above, a Product might have a list of nested [Variants']? How will that work? Sorry, I misunderstood. You...
@saurabhnanda Done.
@saurabhnanda > I'm not completely able to understand how you're using the Monoid property of ProductFilter to built a list of filters as you parse subsequent query params. Neither of...
> Also, if I understand the overall gist of ProductQuery correctly, it is supposed to parse multiple query params, bearing the same name, in the following format: > > paramName=keyName:value...
@saurabhnanda Done
@saurabhnanda As persistent does not support joins, the definition for `dbGetProductList` I've written is pretty inefficient. I'll fix this by using esqueleto in the future.
> Is ProductComparator even getting used? Neither ProductView nor ProductComparator are getting used right now. `ProductComparator` doesn't even need to fit into the parse a list and then `mconcat` model....