- Mark all modules as explicitly Safe or Trustworthy.
- Make the
Read(1)
instances forProxy
ignore the precedence argument, mirroring similar changes tobase
here. - Fix a bug in the
Floating
instance forTagged
in whichlogBase
was defined in terms of(**)
. - Avoid incurring some dependencies when using recent GHCs.
- Support
Data.Bifoldable
/Data.Bitraversable
inbase
for GHC 8.1+. - Backport the
Eq1
,Ord1
,Read1
, andShow1
instances forProxy
frombase-4.9
- Add
Eq1
/2
,Ord1
/2
,Read1
/2
, andShow1
/2
instances forTagged
- Backport the
Alternative
,MonadPlus
, andMonadZip
instances forProxy
frombase-4.9
- Add
Bits
,FiniteBits
,IsString
, andStorable
instances forTagged
- Manual
Generic1
support to work around a bug in GHC 7.6 - Invert the dependency to supply the
Semigroup
instance ourselves when building on GHC 8
deepseq
support.- Widened
template-haskell
dependency bounds.
- Add
KProxy
to the backwards compatibilityData.Proxy
module. - Add a
Generic
instance toProxy
.
- Fix builds on GHC 7.4.
- Added
Data.Proxy.TH
, based on the code fromFrames
by Anthony Cowley. - Removed
reproxy
fromData.Proxy
. This is a bad API decision, but it isn't present in GHC'sData.Proxy
, and this makes the API more stable.
- Support
Data.Bifunctor
inbase
for GHC 7.9+.
- Fixed warning on GHC 7.8
- Added
tagWith
.
Data.Proxy
has moved into base as of GHC 7.7 for use in the newData.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 thereproxy
function.
- Allowed polymorphic arguments where possible.
- Needlessly claim that this entirely pure package is
Trustworthy
!
- On GHC 7.7, we now still export the instances we used to for
Data.Proxy.Proxy
as orphans if need be.
- On GHC 7.7 we now simply export
Data.Typeable.Proxy
rather than make our own type. We still re-export it.
- Added
witness
- Actually working polymorphic kind support
- Added polymorphic kind support