th-typegraph: Graph of the subtype relation

[ bsd3, deprecated, library, template-haskell ] [ Propose Tags ]

This package is not the successor to th-typegraph-0.43, it is a brand new package which forms the basis of a new package that what will eventually do what th-typegraph was supposed to. What it *can* do is traverse the type TypeQ, and includes versions of deriveSafeCopy and derivePathInfo that use the traversal to avoid adding phantom types to the context of the instance.

Versions [RSS] [faq] 0.14, 0.17, 0.17.1, 0.18, 0.21, 0.23, 0.24, 0.25, 0.27, 0.28, 0.31, 0.32, 0.33, 0.33.1, 0.35.1, 1.0, 1.0.2, 1.4
Dependencies attoparsec, base (>=4.8 && <5), bytestring, cereal, containers, deepseq, dlist, fail, fgl, ghc-prim, hashable, lens, mtl, parsec, pretty (>=1.1.2), safecopy, scientific, semigroups, split, sr-extra, syb, tagged, template-haskell (>=2.10), text, th-desugar, th-lift, th-lift-instances (>=0.1.7), th-orphans, time, transformers, unordered-containers, userid, vector, web-routes [details]
License BSD-3-Clause
Copyright (c) David Fox
Author David Fox
Maintainer David Fox <>
Category Template Haskell
Home page
Bug tracker
Source repo head: git clone git://
Uploaded by DavidFox at 2018-02-02T20:46:16Z
Distributions NixOS:1.4
Downloads 10014 total (21 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2018-02-02 [all 3 reports]


  • Data
    • SafeCopy
      • Data.SafeCopy.Derive
  • Language
    • Haskell
      • TH
        • TypeGraph
          • Language.Haskell.TH.TypeGraph.Constraints
          • Language.Haskell.TH.TypeGraph.Orphans
          • Language.Haskell.TH.TypeGraph.Phantom
          • Language.Haskell.TH.TypeGraph.Prelude
          • Language.Haskell.TH.TypeGraph.Serialize
          • Language.Haskell.TH.TypeGraph.TypeTraversal
          • Language.Haskell.TH.TypeGraph.WebRoutesTH


Maintainer's Corner

For package maintainers and hackage trustees