tagged

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

Version on this page:0.8.5
LTS Haskell 8.2:0.8.5
Stackage Nightly 2017-02-20: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

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