Used by 83 packages in nightly-2023-09-27(full list with versions):
adjunctions, aeson, assoc, avro, aws, beam-core, bifunctor-classes-compat, bifunctors, binary-instances, binary-tagged, boring, clientsession, comfort-array, comonad, crypto-api, cryptohash-cryptoapi, data-diverse, diagrams-lib, distributive, esqueleto, extensible, foldable1-classes-compat, function-builder, getopt-generics, github, gitlib, hset, http-api-data, hyperloglog, indexed-traversable-instances, influxdb, invariant, invertible-grammar, kan-extensions, keys, lapack, lattices, lens, lens-misc, linear, and many more
Tagged. These instances were originally defined in the
semigroupoidslibrary, and they have now been migrated to
taggedas a side effect of adapting to this Core Libraries Proposal, which adds
- Mark all modules as explicitly Safe or Trustworthy.
- 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