Documentation

tyConArgs :: TypeKind -> [TypeName] Source #

apply :: Name -> [Q Exp] -> Q Exp Source #

applyT :: Name -> [Q Type] -> Q Type Source #

typeT :: Name -> [TypeName] -> Q Type Source #

instanceHeadT :: Name -> TypeName -> [TypeName] -> Q Type Source #

instanceProxyFunD :: (Name, ExpQ) -> DecQ Source #

instanceFunD :: Name -> [TypeName] -> ExpQ -> Q Dec Source #

instanceHeadMultiT :: Name -> Q Type -> [Q Type] -> Q Type Source #

destructRecord :: TypeName -> [FieldName] -> PatQ Source #

typeInstanceDec :: Name -> Type -> Type -> Dec Source #

infoTyVars :: Info -> [TyVarBndr] Source #

decArgs :: Dec -> [TyVarBndr] Source #

nameLitP :: TypeName -> PatQ Source #

nameStringE :: TypeName -> ExpQ Source #

nameStringL :: TypeName -> Lit Source #

nameConT :: TypeName -> Q Type Source #

nameVarE :: FieldName -> ExpQ Source #

nameVarT :: TypeName -> Q Type Source #

nameConType :: TypeName -> Type Source #

nameConE :: TypeName -> ExpQ Source #

nameVarP :: FieldName -> PatQ Source #

mkTypeName :: TypeName -> Name Source #

mkFieldName :: FieldName -> Name Source #

declareTypeRef :: Bool -> TypeRef -> Type Source #

nameSpaceField :: TypeName -> FieldName -> FieldName Source #

nameSpaceType :: [FieldName] -> TypeName -> TypeName Source #

m_ :: TypeName Source #

m' :: Type Source #

isEnum :: [ConsD cat] -> Bool Source #