Language.Haskell.TH.Utils

Documentation

appExp :: [ExpQ] -> ExpQ

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

appConT :: [TypeQ] -> TypeQ

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

curryType :: [TypeQ] -> TypeQ

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

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

Bind and Type

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

Pattern and expression

appKinds :: [Kind] -> Kind

Apply a list of kinds

curryKind :: [Kind] -> Kind

k1,k2,k3

to k1 -> k2 -> k3

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