tagged

Haskell 98 phantom types to avoid unsafely passing dummy arguments

Version on this page:	0.8.6@rev:2
LTS Haskell 20.16:	0.8.6.1@rev:3
Stackage Nightly 2023-03-30:	0.8.6.1@rev:3
Latest on Hackage:	0.8.7

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.6@sha256:1f7ca84e6c88cbb923641c60041c9f56c34f1a889759cc073cdf10542b441ff9,2606

Module documentation for 0.8.6

Data
- Data.Tagged

Depends on 4 packages(full list with versions):

base, deepseq, template-haskell, transformers

Used by 74 packages in lts-15.3(full list with versions):

tagged

Values carrying an extra phantom type tag.

Changes

0.8.6 [2018.07.02]

Make the Read(1) instances for Proxy ignore the precedence argument, mirroring similar changes to base here.
Fix a bug in the Floating instance for Tagged in which logBase was defined in terms of (**).
Avoid incurring some dependencies when using recent GHCs.

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