morpheus-graphql-core-0.14.1: Morpheus GraphQL Core

Safe Haskell	None
Language	Haskell2010

Data.Morpheus.Internal.TH

Synopsis

_' :: 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
destructRecord :: TypeName -> [FieldDefinition cat s] -> PatQ
funDProxy :: [(Name, ExpQ)] -> [DecQ]
funDSimple :: Name -> [PatQ] -> ExpQ -> DecQ
infoTyVars :: Info -> [TyVarBndr]
isEnum :: [ConsD cat s] -> Bool
m' :: Type
m_ :: TypeName
mkFieldsE :: Name -> [FieldDefinition cat s] -> Exp
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
class ToName a where
- toName :: a -> Name
toString :: ToString a b => a -> b
toVarE :: ToVar a Exp => a -> ExpQ
toVarT :: ToVar a TypeQ => a -> TypeQ
tyConArgs :: TypeKind -> [TypeName]
typeInstanceDec :: Name -> Type -> Type -> Dec
v' :: ToVar Name a => a
cat' :: Type
_2' :: PatQ
o' :: Type
e' :: Type
vars :: ToVar a b => [a] -> [b]
decodeObjectE :: (Bool -> Name) -> TypeName -> [FieldDefinition cat s] -> ExpQ
matchWith :: Bool -> (t -> (PatQ, ExpQ)) -> [t] -> ExpQ

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 #

destructRecord :: TypeName -> [FieldDefinition cat s] -> PatQ Source #

input: >>> destructRecord User ["name","id"] >>>

expression: >>> (User name id) >>>

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

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

infoTyVars :: Info -> [TyVarBndr] Source #

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

m' :: Type Source #

m_ :: TypeName Source #

mkFieldsE :: Name -> [FieldDefinition cat s] -> Exp Source #

input : >>> mkFieldsE 'mkValue [FieldDefinition { fieldName = "field1" ,..} ,..] >>>

expression : >>> [ mkValue "field1" field1, .. ] >>>

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 #

class ToName a where Source #

Methods

toName :: a -> Name Source #

Instances

ToName Name Source #
Instance details Defined in Data.Morpheus.Internal.TH Methods toName :: Name -> Name Source #
ToName TypeName Source #
Instance details Defined in Data.Morpheus.Internal.TH Methods toName :: TypeName -> Name Source #
ToName FieldName Source #
Instance details Defined in Data.Morpheus.Internal.TH Methods toName :: FieldName -> Name Source #

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

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

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

tyConArgs :: TypeKind -> [TypeName] 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 #

decodeObjectE :: (Bool -> Name) -> TypeName -> [FieldDefinition cat s] -> ExpQ Source #

matchWith :: Bool -> (t -> (PatQ, ExpQ)) -> [t] -> ExpQ Source #