Example result of Language.Haskell.TH.reify

reify.hs

stack exec ghci -- -XTemplateHaskell
:m Language.Haskell.TH
data A = A { a :: Int, b :: String }


$(stringE . show =<< reify 'A)
-- prettified output
DataConI
  Ghci12.A (                   -- DataConI/Name
  AppT (                       -- DataConI/Type
    AppT ArrowT (              -- DataConI/Type/Type
      ConT GHC.Types.Int       -- DataConI/Type/Type/Type
    )
  ) (                          -- DataConI/Type
    AppT (                     -- DataConI/Type/Type
      AppT ArrowT (            -- DataConI/Type/Type/Type
        ConT GHC.Base.String   -- DataConI/Type/Type/Type/Type
      )
    ) (
      ConT Ghci12.A            -- DataConI/Type/Type/Type
    )
  )
)
Ghci12.A                       -- DataConI/ParentName
(
  Fixity 9 InfixL              -- DataConI/Fixity
)




$(stringE . show =<< reify ''A)
-- prettified output
TyConI (
  DataD                         -- TyConI/DataD
  []                            -- TyConI/DataD/Cxt
  Ghci12.A                      -- TyConI/DataD/Name
  []                            -- TyConI/DataD/[TyVarBndr]
  [                             -- TyConI/DataD/[Con]
    RecC                        -- TyConI/DataD/[Con]/RecC
      Ghci12.A                  -- TyConI/DataD/[Con]/RecC/Name
      [                         -- TyConI/DataD/[Con]/RecC/Name/VarStrictType
        (
          Ghci12.a,
          NotStrict,
          ConT GHC.Types.Int
        ),
        (
          Ghci12.b,
          NotStrict,
          ConT GHC.Base.String
        )
      ]
  ]
  []                            -- TyConI/DataD/[Name]
)