Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- _' :: PatQ
- apply :: (Apply a, ToCon i a) => i -> [a] -> a
- applyVars :: (ToName con, ToName var, Apply res, ToCon con res, ToVar var res) => con -> [var] -> res
- toCon :: ToCon a b => a -> b
- class ToVar a b where
- toVar :: a -> b
- class ToName a where
- class ToString a b where
- toString :: a -> b
- v' :: ToVar Name a => a
- class PrintExp a where
- class PrintType a where
- class PrintDec a where
- m' :: Type
- m_ :: Name
- printTypeClass :: [(Name, Name)] -> Name -> Q Type -> [(Name, Type)] -> [(Name, [PatQ], ExpQ)] -> Q Dec
- printTypeSynonym :: ToName a => a -> [Name] -> Type -> Dec
- destructConstructor :: CodeGenConstructor -> PatQ
Documentation
applyVars :: (ToName con, ToName var, Apply res, ToCon con res, ToVar var res) => con -> [var] -> res Source #
Instances
ToName CodeGenTypeName Source # | |
Defined in Data.Morpheus.CodeGen.TH toName :: CodeGenTypeName -> Name Source # | |
ToName DirectiveLocation Source # | |
Defined in Data.Morpheus.CodeGen.TH toName :: DirectiveLocation -> Name Source # | |
ToName FieldName Source # | |
ToName TypeName Source # | |
ToName Name Source # | |
ToName Text Source # | |
ToName String Source # | |
class PrintType a where Source #
Instances
PrintType CodeGenTypeName Source # | |
Defined in Data.Morpheus.CodeGen.TH printType :: CodeGenTypeName -> TypeQ Source # |
class PrintDec a where Source #
Instances
PrintDec CodeGenType Source # | |
Defined in Data.Morpheus.CodeGen.TH printDec :: CodeGenType -> Dec Source # |
printTypeClass :: [(Name, Name)] -> Name -> Q Type -> [(Name, Type)] -> [(Name, [PatQ], ExpQ)] -> Q Dec Source #
destructConstructor :: CodeGenConstructor -> PatQ Source #
input: >>> WAS WAS destructRecord User ["name","id"] >>>
expression: >>> WAS WAS (User name id) >>>