Language.Haskell.TH.Utils

Documentation

appExp :: [ExpQ] -> ExpQ

Apply a list of expression, [(+), 1, 2] to (+) 1 2

appExp' :: [Exp] -> Exp

appConT :: [TypeQ] -> TypeQ

Apply a type constructor, convert [a, b, c] to a b c like appExp

appConT' :: [Type] -> Type

curryType :: [TypeQ] -> TypeQ

> pprint $ appConT' (map ConT [''(,), ''Int , ''Bool])
"GHC.Tuple.(,) GHC.Types.Int GHC.Types.Bool"

|

convert [a, b, c] to a -> b -> c

curryType' :: [Type] -> Type

genBT :: String -> Int -> Q ([TyVarBndr], [TypeQ])

> pprint $ curryType' (map ConT [''Int , ''Int , ''Bool])
"GHC.Types.Int -> GHC.Types.Int -> GHC.Types.Bool"

|

Generate a list of type Bind and Type

genBT' :: String -> Int -> ([TyVarBndr], [Type])

genPE :: String -> Int -> Q ([PatQ], [ExpQ])

> genBT' "a" 3
([PlainTV a1,PlainTV a2,PlainTV a3],[VarT a1,VarT a2,VarT a3])

|

Pattern and expression

genPE' :: String -> Int -> ([Pat], [Exp])

appKinds :: [Kind] -> Kind

> genPE' "a" 3
([VarP a1,VarP a2,VarP a3],[VarE a1,VarE a2,VarE a3])

|

Apply a list of kinds

curryKind :: [Kind] -> Kind

convert [k1,k2,k3] to k1 -> k2 -> k3,like curryType

getTypeNames :: Type -> [Name]

get type Names recursively

getTVBName :: TyVarBndr -> Name

get type var bind name

getCompositeType :: Con -> [Name]

get all names recursively from a constructor