Haskell 98 phantom types to avoid unsafely passing dummy arguments http://github.com/ekmett/tagged

Version on this page:0.8.5
LTS Haskell 9.9:0.8.5
Stackage Nightly 2017-10-21:0.8.5
Latest on Hackage:0.8.5
BSD3 licensed by Edward A. Kmett
Maintained by Edward A. Kmett

Module documentation for 0.8.5


Hackage Build Status

Values carrying an extra phantom type tag.



  • 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


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


  • 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


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


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

  • Fix builds on GHC 7.4.


  • 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.


  • Support Data.Bifunctor in base for GHC 7.9+.


  • Fixed warning on GHC 7.8


  • Added tagWith.


  • 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.


  • Allowed polymorphic arguments where possible.


  • Needlessly claim that this entirely pure package is Trustworthy!


  • On GHC 7.7, we now still export the instances we used to for Data.Proxy.Proxy as orphans if need be.


  • On GHC 7.7 we now simply export Data.Typeable.Proxy rather than make our own type. We still re-export it.


  • Added witness


  • Actually working polymorphic kind support


  • Added polymorphic kind support
Used by 191 packages:
adjunctions, aeson, aeson-compat, Agata, algebra, amazonka-core, ansi-pretty, ariadne, avro, aws, backprop, beam, bifunctors, binary-orphans, binary-tagged, bitcoin-payment-channel, bitmaps, cipher-aes128, clientsession, clifford, cognimeta-utils, comonad, composite-aeson, computational-algebra, ConcurrentUtils, constrained-categories, CoreFoundation, crypto-api, cryptohash-cryptoapi, crypto-totp, data-diverse, data-diverse-lens, data-fin, data-timeout, diagrams-lib, dictionaries, distributive, DRBG, DSA, dynamic-plot, dynamodb-simple, enumerable, esqueleto, ether, existential, explicit-iomodes, extended-categories, extensible, feldspar-language, fixed-precision, fixed-storable-array, flowdock-rest, generic-aeson, getopt-generics, gipeda, git-gpush, gitlib, gitlib-cmdline, gitlib-libgit2, gitlib-test, gitlib-utils, git-monitor, global, gridfs, haiji, halberd, hask, haskell-packages, HaskRel, hcltest, hdo, hdr-histogram, HList, hobbits, hPDB, hreader, hset, hs-gen-iface, hsqml, hsqml-morris, hstorchat, hstox, hyperloglog, ide-backend, ide-backend-common, imm, indices, intel-aes, invariant, iridium, isobmff-builder, iterable, javaclass, jbi, jsonschema-gen, json-sop, kan-extensions, lattices, lazy-hash, lens, linear, linearmap-category, linear-opengl, lmonad-yesod, manifolds, manifolds-core, mediabus, mediabus-fdk-aac, mediabus-rtp, monadcryptorandom, mongoDB, mtl-unleashed, multistate, neko-lib, nettle, network-dns, network-msgpack-rpc, np-linear, one-liner, openpgp-crypto-api, open-typerep, pathtype, perdure, persistent, persistent-template, pg-store, pointed, pretty-types, product-profunctors, profunctors, proxy-kindness, pureMD5, quickcheck-instances, raketka, record-gl, reflection-extras, regex-do, rlwe-challenges, roots, schematic, search, semigroupoids, semigroups, servant, servant-auth-cookie, servant-auth-server, servant-checked-exceptions, servant-server, serversession-backend-persistent, serversession-backend-redis, serv-wai, sexp-grammar, shapely-data, skein, stack-prism, storable-static-array, string-class, sunroof-compiler, sunroof-server, superconstraints, tagged-th, tagged-transformer, target, tasty, tasty-ant-xml, tasty-dejafu, tasty-expected-failure, tasty-fail-fast, tasty-golden, tasty-hedgehog, tasty-hspec, tasty-html, tasty-quickcheck, tasty-rerun, tasty-silver, tasty-smallcheck, tasty-stats, tdd-util, text-show, text-show-instances, threefish, time-http, tree-diff, Twofish, typeparams, uberlast, union, vinyl-gl, xxhash, yesod-auth-account-fork, yesod-platform
comments powered byDisqus