tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

http://github.com/ekmett/tagged

Version on this page:0.8.5@rev:1
LTS Haskell 22.13:0.8.8
Stackage Nightly 2024-03-14:0.8.8
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.5@sha256:a8d7b211a0831f5acf65a36003aebab7673ffb6a874a49715e05e7b76a6cb896,2158

Module documentation for 0.8.5

tagged

Hackage Build Status

Values carrying an extra phantom type tag.

Changes

0.8.5

  • Support Data.Bifoldable/Data.Bitraversable in base for GHC 8.1+.
  • Backport the Eq1, Ord1, Read1, and Show1 instances for Proxy from base-4.9
  • Add Eq1/2, Ord1/2, Read1/2, and Show1/2 instances for Tagged

0.8.4

  • Backport the Alternative, MonadPlus, and MonadZip instances for Proxy from base-4.9
  • Add Bits, FiniteBits, IsString, and Storable instances for Tagged

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