BSD-3-Clause licensed by Edward A. Kmett
Maintained by Edward A. Kmett

Module documentation for 0.7.3

This version can be pinned in stack with:[email protected]:e3d9d9476de944e852acc2b28ba8587e744b544324b03d9ef86f90d1f88df8c8,1175
  • Data
    • Data.Tagged

tagged

Values carrying an extra phantom type tag.

Changes

0.7.3

  • Support Data.Bifunctor in base for GHC 7.9+.

0.7.2

  • Fixed warning on GHC 7.8

0.7.1

  • Added tagWith.

0.7

  • Data.Proxy has 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 reproxy function.

0.6.2

  • Allowed polymorphic arguments where possible.

0.6.1

  • Needlessly claim that this entirely pure package is Trustworthy!

0.6

  • On GHC 7.7, we now still export the instances we used to for Data.Proxy.Proxy as orphans if need be.

0.5

  • On GHC 7.7 we now simply export Data.Typeable.Proxy rather than make our own type. We still re-export it.

0.4.5

  • Added witness

0.4.4

  • Actually working polymorphic kind support

0.4.3

  • Added polymorphic kind support