tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

http://github.com/ekmett/tagged

Version on this page:0.8.3
LTS Haskell 22.39:0.8.8@rev:1
Stackage Nightly 2024-10-31:0.8.8@rev:1
Latest on Hackage:0.8.8@rev:1

See all snapshots tagged appears in

BSD-3-Clause licensed by Edward A. Kmett
Maintained by Edward A. Kmett
This version can be pinned in stack with:tagged-0.8.3@sha256:82213fb0e8618f969034a906a3e67f93dc8da0aec7e41b63910ceaa4aeca2674,1635

Module documentation for 0.8.3

tagged

Values carrying an extra phantom type tag.

Changes

0.8.3

  • 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

0.8.2

  • deepseq support.
  • Widened template-haskell dependency bounds.

0.8.1

  • Add KProxy to the backwards compatibility Data.Proxy module.
  • Add a Generic instance to Proxy.

0.8.0.1

  • Fix builds on GHC 7.4.

0.8

  • Added Data.Proxy.TH, based on the code from Frames by Anthony Cowley.
  • Removed reproxy from 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.

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