improve documentation for typed TH and make it more discoverable
theres quite a sparsity of documentation and dearth of discoverability for typed TH in the Template Haskell Library haddocks and the GHC manual, this probably wouldn't be much work to make it vastly better.
one specific two course of action might be
a) adding to the template haskell library a module Language.Haskell.TH.Typed that only exports the stuff in Language.Haskell.TH that is needed for typed TH (namely the newtype TExp but not its constructor), plus perhaps the function unTypeQ :: Q (TExp a) -> Q Exp and additionally documents how to use typed TH splices and quotations.
b) add a clear section to the manual that perhaps touches on some of this too? (its not clear if theres any real docs in the ghc manual on this :( )
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.0.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Documentation |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |