Data.Morpheus.Internal.TH

Documentation

_' :: PatQ

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

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

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

decArgs :: Dec -> [TyVarBndr]

declareTypeRef :: TypeRef -> Type

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

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

infoTyVars :: Info -> [TyVarBndr]

isEnum :: [ConsD cat s] -> Bool

m' :: Type

nameSpaceField :: TypeName -> FieldName -> FieldName

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

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

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

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

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

class ToName a where

Methods

toName :: a -> Name

Instances

ToName Name

Defined in Data.Morpheus.Internal.TH

Methods

toName :: Name -> Name

ToName String

Defined in Data.Morpheus.Internal.TH

Methods

toName :: String -> Name

ToName TypeName

Defined in Data.Morpheus.Internal.TH

Methods

toName :: TypeName -> Name

ToName FieldName

Defined in Data.Morpheus.Internal.TH

Methods

toName :: FieldName -> Name

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

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

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

tyConArgs :: TypeKind -> [String]

typeInstanceDec :: Name -> Type -> Type -> Dec

v' :: ToVar Name a => a

cat' :: Type

_2' :: PatQ

o' :: Type

e' :: Type

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