tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

http://github.com/ekmett/tagged

Version on this page:0.8.1
LTS Haskell 22.14:0.8.8@rev:1
Stackage Nightly 2024-03-28: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.1@sha256:88a3433dca58f1c6543997bf004eba4b751160178e628ea622775d6837211d14,1306

Module documentation for 0.8.1

tagged

Values carrying an extra phantom type tag.

Changes

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