Ticket #3916: TH.hs
| File TH.hs, 0.5 KB (added by nicolas.frisby, 2 years ago) |
|---|
| Line | |
|---|---|
| 1 | module TH where |
| 2 | |
| 3 | import Language.Haskell.TH.Syntax |
| 4 | import Language.Haskell.TH.Ppr |
| 5 | import Language.Haskell.TH.PprLib |
| 6 | |
| 7 | show_kinds :: Name -> Q [Dec] |
| 8 | show_kinds name = do |
| 9 | info <- reify name |
| 10 | case info of |
| 11 | TyConI (DataD _ _ tvbs _ _) -> |
| 12 | (fail . show . hsep . map (parens . each)) tvbs |
| 13 | where each (PlainTV name) = |
| 14 | ppr name <+> colon <> colon <+> ppr StarK |
| 15 | each (KindedTV name kind) = |
| 16 | ppr name <+> colon <> colon <+> ppr kind |
| 17 | _ -> fail "show_kinds must be applied to a data declaration" |
