Safe Haskell | None |
---|---|
Language | Haskell2010 |
- appExp :: [ExpQ] -> ExpQ
- appConT :: [TypeQ] -> TypeQ
- curryType :: [TypeQ] -> TypeQ
- genBT :: String -> Int -> Q ([TyVarBndr], [TypeQ])
- genPE :: String -> Int -> Q ([PatQ], [ExpQ])
- appKinds :: [Kind] -> Kind
- curryKind :: [Kind] -> Kind
- getTypeNames :: Type -> [Name]
- getTVBName :: TyVarBndr -> Name
- getCompositeType :: Con -> [Name]
Documentation
getTypeNames :: Type -> [Name] Source
get type Names recursively
getTVBName :: TyVarBndr -> Name Source
get type var bind name
getCompositeType :: Con -> [Name] Source
get all names recursively from a constructor