- Make the
Proxyignore the precedence argument, mirroring similar changes to
- Fix a bug in the
logBasewas defined in terms of
- Avoid incurring some dependencies when using recent GHCs.
basefor GHC 8.1+.
- Backport the
- Backport the
Generic1support to work around a bug in GHC 7.6
- Invert the dependency to supply the
Semigroupinstance ourselves when building on GHC 8
KProxyto the backwards compatibility
- Add a
- Fix builds on GHC 7.4.
Data.Proxy.TH, based on the code from
Framesby Anthony Cowley.
Data.Proxy. This is a bad API decision, but it isn’t present in GHC’s
Data.Proxy, and this makes the API more stable.
basefor GHC 7.9+.
- Fixed warning on GHC 7.8
Data.Proxyhas moved into base as of GHC 7.7 for use in the new
Data.Typeable. We no longer export it for GHC >= 7.7. The most notable change in the module from the migration into base is the loss of the
- Allowed polymorphic arguments where possible.
- Needlessly claim that this entirely pure package is
- On GHC 7.7, we now still export the instances we used to for
Data.Proxy.Proxyas orphans if need be.
- On GHC 7.7 we now simply export
Data.Typeable.Proxyrather than make our own type. We still re-export it.
- Actually working polymorphic kind support
- Added polymorphic kind support
Used by 64 packages in nightly-2019-10-23(full list with versions):
world-peace, universe-base, tree-diff, text-show-instances, text-show, tasty-smallcheck, tasty-silver, tasty-quickcheck, tasty-hedgehog, tasty-golden, tasty-expected-failure, tasty-dejafu, tasty-ant-xml, tasty, tagged-transformer, string-class, skein, servant-server, servant, semigroupoids, quickcheck-instances, quickcheck-classes-base, quickcheck-classes, pureMD5, profunctors, product-profunctors, pretty-types, pointed, pathtype, one-liner, nettle, multistate, modern-uri, linear, lens-misc, lens, lattices, keys, kan-extensions, iterable, and many more