- Add
Data.Proxyless.RequiredTypeArguments
, a variant ofData.Proxyless
which usesRequiredTypeArguments
instead ofTypeApplications
.
- Make the build warning-free under
-Wcompat
.
- Update for GHC 8.2
- Since
typeRep#
,typeNatTypeRep
, andtypeSymbolTypeRep
are no longer exported frombase
,theTypeRep#
,theTypeNatTypeRep
, andtheTypeSymbolTypeRep
are now synonyms fortheTypeRep
- Happily, the new type signature for
GHC.OverloadedLabels.fromLabel
is now exactly the same astheFromLabel
, so the latter is now a synonym for the former
- Since
- Use explicit kind variable binders in
Data.Proxyless
- Use explicit
forall
s inData.Proxied
for consistency
- Added the
Data.Proxyless
module - Added
proxyHashed
toData.Proxied
- Enabled
Safe
- Initial commit