The warnings were about NoMonoLocalBinds making type inference
fragile:
tests/V1/tests.hs:1876:17: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘SOP.All SOP.SListI (SOP.GCode a)’
matches an instance declaration
instance forall k (f :: k -> Constraint) (xs :: [k]).
(Generics.SOP.Constraint.AllF f xs, SOP.SListI xs) =>
SOP.All f xs
-- Defined in ‘Generics.SOP.Constraint’
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
sopArbitrary :: forall a.
(Generic a,
SOP.GTo a,
SOP.All SOP.SListI (SOP.GCode a),
SOP.All2 Arbitrary (SOP.GCode a)) =>
Gen a
Adds the ability to attach a 'suggester' to a query.
A few notes:
* This commit is only V5. I hope to port it to V1 as well.
* Only one suggestion request / response is supported per-query.
* Suggestions are only supported on the '_search' endpoint (not the
'_suggest' endpoint.
This is for #173
Not sure how to handle all the exposition removed from the
README. Maybe I should leave it? It doesn't really fit that neatly
into examples because a lot of the coode is just introducing data
types and linking off to ES docs.
