tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

http://github.com/ekmett/tagged

Version on this page:0.7.3@rev:1
LTS Haskell 17.11:0.8.6.1@rev:1
Stackage Nightly 2021-05-15:0.8.6.1@rev:1
Latest on Hackage:0.8.6.1@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.7.3@sha256:e3d9d9476de944e852acc2b28ba8587e744b544324b03d9ef86f90d1f88df8c8,1175

Module documentation for 0.7.3

  • 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