Documentation

_' :: PatQ Source #

apply :: (Apply a, ToCon i a) => i -> [a] -> a Source #

applyCons :: (ToName con, ToName cons) => con -> [cons] -> Q Type Source #

applyVars :: (ToName con, ToName var, Apply res, ToCon con res, ToVar var res) => con -> [var] -> res Source #

decArgs :: Dec -> [TyVarBndr] Source #

declareTypeRef :: TypeRef -> Type Source #

funDProxy :: [(Name, ExpQ)] -> [DecQ] Source #

funDSimple :: Name -> [PatQ] -> ExpQ -> DecQ Source #

infoTyVars :: Info -> [TyVarBndr] Source #

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

m' :: Type Source #

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

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

toCon :: ToCon a b => a -> b Source #

toConE :: ToCon a Exp => a -> ExpQ Source #

toConT :: ToName a => a -> Q Type Source #

toVar :: ToVar a b => a -> b Source #

class ToName a where Source #

toString :: ToString a b => a -> b Source #

toVarE :: ToVar a Exp => a -> ExpQ Source #

toVarT :: ToVar a TypeQ => a -> TypeQ Source #

tyConArgs :: TypeKind -> [String] Source #

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

v' :: ToVar Name a => a Source #

cat' :: Type Source #

_2' :: PatQ Source #

o' :: Type Source #

e' :: Type Source #

vars :: ToVar a b => [a] -> [b] Source #